Medverkande i utredning : Mads Dam

earch error="format unsupported" />

Lindner, Andreas, Palmskog, Karl, Constable, Scott, Dam, Mads, Guanciale, Roberto och Nemati, Hamed, Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification, Verification, Model Checking, and Abstract Interpretation – 27th International Conference, VMCAI 2026, Proceedings och Verification, Model Checking, And Abstract Interpretation, VMCAI 2026, 2026,, s. 147–172, s. 147–172 och, s. 147–172, s. 147–172, : Springer Science and Business Media Deutschland GmbH och : Springer Science and Business Media Deutschland GmbH

Lundberg, Didrik, Guanciale, Roberto, Lindner, Andreas och Dam, Mads, Hoare-style logic for unstructured programs, The Journal of logical and algebraic methods in programming, 2026, 149, : Elsevier BV

Alshnakat, Anoud, Ahmadian, Amir M., Balliu, Musard, Guanciale, Roberto och Dam, Mads, Securing P4 Programs by Information Flow Control, Proceedings – 2025 IEEE 38th Computer Security Foundations Symposium, CSF 2025, 2025,, s. 284–299, : Institute of Electrical and Electronics Engineers (IEEE)

Lundberg, Didrik, Formal Verification of Software-Defined Network Elements and Machine Code, 2025, KTH Royal Institute of Technology, Stockholm

Lundberg, Didrik, Guanciale, Roberto och Dam, Mads, Proof-Producing Symbolic Execution for P4, Verified Software. Theories, Tools and Experiments – 16th International Conference, VSTTE 2024, Revised Selected Papers, 2025,, s. 70–83, : Springer Nature

Alshnakat, Anoud, Lundberg, Didrik, Guanciale, Roberto och Dam, Mads, HOL4P4: Mechanized Small-Step Semantics for P4, Proceedings of the ACM on Programming Languages, 2024, 8 nr OOPSLA1, : Association for Computing Machinery (ACM)

Dong, Ning, Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software, 2024, KTH Royal Institute of Technology, Stockholm

Shcherbakov, Mikhail, Code-Reuse Attacks in Managed Programming Languages and Runtimes, 2024, KTH Royal Institute of Technology, Stockholm

Dong, Ning, Guanciale, Roberto, Dam, Mads och Lööw, Andreas, Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023, 2023, : TU Wien Academic Press

Haglund, Jonas, Formal Verification of Peripheral Memory Isolation, 2023, KTH Royal Institute of Technology, Stockholm

Lindner, Andreas, Proving Safety and Security of Binary Programs, 2023, KTH Royal Institute of Technology, Stockholm

Alshnakat, Anoud, Lundberg, Didrik, Guanciale, Roberto, Dam, Mads och Palmskog, Karl, HOL4P4 : Semantics for a Verified Data Plane, EuroP4 2022, 2022,, s. 39–45, New York, NY, USA : Association for Computing Machinery (ACM)

Guanciale, Roberto, Baumann, C., Buiras, Pablo, Dam, Mads och Nemati, H., A Case Study in Information Flow Refinement for Low Level Systems, The Logic of Software. A Tasting Menu of Formal Methods, 2022,, s. 54–79, Cham : Springer Nature

Palmskog, Karl, Yao, Xiaomo, Dong, Ning, Guanciale, Roberto och Dam, Mads, Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022, 2022,, s. 129–138, : Institute of Electrical and Electronics Engineers (IEEE)

Baumann, Christoph, Dam, Mads, Guanciale, Roberto och Nemati, Hamed, On Compositional Information Flow Aware Refinement, 2021 IEEE 34Th Computer Security Foundations Symposium (CSF 2021), 2021,, s. 17–32, : Institute of Electrical and Electronics Engineers (IEEE)

Dong, Ning, Guanciale, Roberto och Dam, Mads, Refinement-Based Verification of Device-to-Device Information Flow, Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021, 2021, : TU Wien Academic Press

Guanciale, Roberto, Balliu, Musard och Dam, Mads, InSpectre : Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis, CCS '20: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications, 2020, New York, NY, USA : Association for Computing Machinery (ACM)

Lundberg, Didrik, Guanciale, Roberto, Lindner, Andreas och Dam, Mads, Hoare-Style Logic for Unstructured Programs, Software Engineering and Formal Methods, 2020,, s. 193–213, Cham : Springer Nature

Baumann, Christoph, Schwarz, Oliver och Dam, Mads, On the verification of system-level information flow properties for virtualized execution platforms, Journal of Cryptographic Engineering, 2019, 9 nr 3, s. 243–261, : Springer Verlag

Nemati, H., Baumann, Christoph, Guanciale, Roberto och Dam, Mads, Formal verification of integrity-Preserving countermeasures against cache storage side-channels, 7th International Conference on Principles of Security and Trust, POST 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, 2018,, s. 109–133, Cham : Springer

Baumann, Christoph, Schwarz, Oliver och Dam, Mads, Compositional Verification of Security Properties for Embedded Execution Platforms, PROOFS 2017, 2017,, s. 1–16

Computer Science Logic 2017, 2017, Goranko, Valentin och Dam, Mads, Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern

Nemati, Hamed, Guanciale, Roberto, Baumann, Christoph och Dam, Mads, Formal Analysis of Countermeasures against Cache Storage Side Channels, 2017

Nemati, Hamed, Secure System Virtualization : End-to-End Verification of Memory Isolation, 2017, KTH Royal Institute of Technology, Stockholm

Guanciale, Roberto, Nemati, Hamed, Baumann, Christoph och Dam, Mads, Cache Storage Channels : Alias-Driven Attacks and Verified Countermeasures, Proceedings – 2016 IEEE Symposium on Security and Privacy, SP 2016, 2016,, s. 38–55, : Institute of Electrical and Electronics Engineers (IEEE)