Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!
Sökning efter: Adriaan Larmuseau 9 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1-2 | A Secure Compiler for ML Modules - Extended Version (flera utgåvor) | Adriaan Larmuseau | 2015 | Engelska |
| 3 | Modelling an Assembly Attacker by Reflection | Adriaan Larmuseau | 2015 | Engelska |
| 4-5 | Protecting Functional Programs From Low-Level Attackers (flera utgåvor) | Adriaan Larmuseau | 2016 | Engelska |
| 6 | Formalizing a Secure Foreign Function Interface - Extended Version | Adriaan Larmuseau | 2015 | Engelska |
| 7 | Formalizing a secure foreign function interface | UK York September 7–11 13th International Conference on Software Engineering and Formal Methods (SEFM) Adriaan Larmuseau | 2015 | Engelska |
| 8 | A high-level model for an assembly language attacker by means of reflection | China Nanjing November 4–6 SETTA 2015 Adriaan Larmuseau | 2015 | Engelska |
| 9 | Implementing a Secure Abstract Machine – Extended Version | Adriaan Larmuseau | 2015 | Engelska |
1
Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.