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: Mads Dam 34 träffar

Titel Författare År Språk
21 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
22 Machine Code Verification of a Tiny ARM Hypervisor Germany Berlin November 4 2013 TrustED 13 Mads Dam 2013 Engelska
23 Compositional Verification of Security Properties for Embedded Execution Platforms PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems Christoph Baumann 2017 Engelska
24 Formal Verification of Secure User Mode Device Execution with DMA HVC 2014 10th International Haifa Verification Conference Oliver Schwarz 2014 Engelska
25 Algorithmic Verification Techniques for Mobile Code Irem Aktug 2008 Engelska
26 Analysis and Verification of Multiple-Agent Languages - 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers LOMAPS Workshop LOMAPS Workshop 1997 Engelska
27 Hoare-Style Logic for Unstructured Programs 2020 September 14–18 The Netherlands Amsterdam SEFM 2020 18th International Conference Didrik Lundberg 2020 Engelska
28 Refinement-Based Verification of Device-to-Device Information Flow 2021 October 19-22 USA CT New Haven FMCAD 2021 Formal Methods in Computer Aided Design Ning Dong 2021 Engelska
29 State space representation for verification of open systems Irem Aktug 2006 Engelska
30 Logics of Knowledge and Cryptography - Completeness and Expressiveness Mika Cohen 2007 Engelska
31 Gossiping for Threshold Detection 2009 JUN 01-05 NY IFIP/IEEE International Symposium on Integrated Network Management (IM 2009) New York Fetahi Wuhib 2009 Engelska
32 Formal Verification of Peripheral Memory Isolation Jonas Haglund 2023 Engelska
33 Proving Safety and Security of Binary Programs Andreas Lindner 2023 Engelska
34 Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software Ning Dong 2024 Engelska

Förra sidan 1 2

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.