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: Hamed Nemati 8 träffar

Titel Författare År Språk
1-2 Secure System Virtualization - End-to-End Verification of Memory Isolation (flera utgåvor) Hamed Nemati 2017 Engelska
3 Trustworthy prevention of code injection in Linux on embedded devices ESORICS 2015; Vienna; Austria 20th European Symposium on Research in Computer Security Hind Chfouka 2015 Engelska
4 Trustworthy virtualization of the ARMv7 memory subsystem SOFSEM 2015; Pec pod Sněžkou; Czech Republic; 24 January 2015 through 29 January 2015 41st International Conference on Current Trends in Theory and Practice of Computer Science Hamed Nemati 2015 Engelska
5 Trustworthy Memory Isolation of Linux on Embedded Devices GREECE Heraklion Inst Comp Sci Fdn Res & Technol Hellas 2015 AUG 24-26 8th International Conference on Trust and Trustworthy Computing (TRUST) Hamed Nemati 2015 Engelska
6 Cache Storage Channels - Alias-Driven Attacks and Verified Countermeasures 23 May 2016 through 25 May 2016 SP 2016 2016 IEEE Symposium on Security and Privacy Roberto Guanciale 2016 Engelska
7 Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel Germany 2013 Berlin 2013 ACM SIGSAC Conference on Computer & Communications Security (CCS'13),November 4 - 8 Mads Dam 2013 Engelska
8 Machine Code Verification of a Tiny ARM Hypervisor Germany Berlin November 4 2013 TrustED 13 Mads Dam 2013 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.