Mads Dam
Kungliga Tekniska högskolan
H-index: 33
Europe-Sweden
Top articles of Mads Dam
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor | Ning Dong Roberto Guanciale Mads Dam Andreas Lööw | 2023/10/24 | |
Proof-producing symbolic execution for binary code verification | arXiv preprint arXiv:2304.08848 | Andreas Lindner Roberto Guanciale Mads Dam | 2023/4/18 |
Information Flow Analysis of a Verified In-Order Pipelined Processor | Ning Dong Roberto Guanciale Mads Dam Andreas Lööw | 2023 | |
Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution. | Karl Palmskog Xiaomo Yao Ning Dong Roberto Guanciale Mads Dam | 2022/10/12 | |
A Case Study in Information Flow Refinement for Low Level Systems | Roberto Guanciale Christoph Baumann Pablo Buiras Mads Dam Hamed Nemati | 2022/7/4 | |
HOL4P4: semantics for a verified data plane | Anoud Alshnakat Didrik Lundberg Roberto Guanciale Mads Dam Karl Palmskog | 2022/12/9 | |
Refinement-Based Verification of Device-to-Device Information Flow. | Ning Dong Roberto Guanciale Mads Dam | 2021/10/14 | |
On compositional information flow aware refinement | Christoph Baumann Mads Dam Roberto Guanciale Hamed Nemati | 2021/6/21 | |
Inspectre: Breaking and fixing microarchitectural vulnerabilities by formal analysis | Roberto Guanciale Musard Balliu Mads Dam | 2020/10/30 | |
Hoare-style logic for unstructured programs | Didrik Lundberg Roberto Guanciale Andreas Lindner Mads Dam | 2020/9/8 |