E-LIB Suche - Ergebnisse für: Dam, Mads

1

HOL4P4: Mechanized Small-Step Semantics for P4:

Alshnakat, Anoud ; Lundberg, Didrik ; Guanciale, Roberto.
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 223-249 , 2024

Link: https://doi.org/10.1145/..

2

Formal Verification of Correctness and Information Flow Sec..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Dong, Ning ; Guanciale, Roberto ; Dam, Mads. - p. 247-256 , 2023

Link: https://doi.org/10.34727..

3

A Case Study in Information Flow Refinement for Low Level S..:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,

Guanciale, Roberto ; Baumann, Christoph ; Buiras, Pablo.. - p. 54-79 , 2022

Link: https://doi.org/10.1007/..

4

Foundations and Tools in HOL4 for Analysis of Microarchitec..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),

Palmskog, Karl ; Yao, Xiaomo ; Dong, Ning.. - p. 129-138 , 2022

Link: https://doi.org/10.34727..

5

HOL4P4 : semantics for a verified data plane:

, In: Proceedings of the 5th International Workshop on P4 in Europe,

Alshnakat, Anoud ; Lundberg, Didrik ; Guanciale, Roberto.. - p. 39-45 , 2022

Link: https://dl.acm.org/doi/1..

6

On Compositional Information Flow Aware Refinement:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),

Baumann, Christoph ; Dam, Mads ; Guanciale, Roberto. - p. 1-16 , 2021

Link: https://doi.org/10.1109/..

7

InSpectre: Breaking and Fixing Microarchitectural Vulnerabi..:

, In: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security,

Guanciale, Roberto ; Balliu, Musard ; Dam, Mads - p. 1853-1869 , 2020

Link: https://dl.acm.org/doi/1..

8

Hoare-Style Logic for Unstructured Programs:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Lundberg, Didrik ; Guanciale, Roberto ; Lindner, Andreas. - p. 193-213 , 2020

Link: https://doi.org/10.1007/..

9

On the verification of system-level information flow proper..:

Baumann, Christoph ; Schwarz, Oliver ; Dam, Mads
Journal of Cryptographic Engineering. 9 (2019) 3 - p. 243-261 , 2019

Link: https://doi.org/10.1007/..

10

Formal Verification of Integrity-Preserving Countermeasures..:

, In: Lecture Notes in Computer Science; Principles of Security and Trust,

Nemati, Hamed ; Baumann, Christoph ; Guanciale, Roberto. - p. 109-133 , 2018

Link: https://doi.org/10.1007/..

11

Computer Science Logic 2017

CSL 2017, August 20-24, 2017, Stockholm, Sweden LIPIcs - Leibniz international proceedings in informatics ; vol. 82

Dam, Mads ; Goranko, Valentin , August 2017

Link: https://doi.org/10.4230/..

12

Secure IT Systems

20th Nordic Conference, NordSec 2015, Stockholm, Sweden, Oc... Lecture Notes in Computer Science ; 9417;SpringerLink, Bücher

Buchegger, Sonja ; Dam, Mads , 2015

Link: https://doi.org/10.1007/..

13

Location-independent routing in process network overlays:

Dam, Mads ; Palmskog, Karl
Service Oriented Computing and Applications. 9 (2014) 3-4 - p. 285-309 , 2014

Link: https://doi.org/10.1007/..

14

Security monitor inlining and certification for multithread..:

DAM, MADS ; JACOBS, BART ; LUNDBLAD, ANDREAS.
Mathematical Structures in Computer Science. 25 (2014) 3 - p. 528-565 , 2014

Link: https://doi.org/10.1017/..

15

Automating Information Flow Analysis of Low Level Code:

, In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security,

Balliu, Musard ; Dam, Mads ; Guanciale, Roberto - p. 1080-1091 , 2014

Link: https://dl.acm.org/doi/1..