Mads Dam

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor

Dong, Ning and others (2023)

Compositional Verification of Security Properties for Embedded Execution Platforms

Christoph Baumann and others (2017) · EPiC series in computing

Provably secure memory isolation for Linux on ARM

Roberto Guanciale and others (2016) · Journal of Computer Security · IOS Press

Automatic Derivation of Platform Noninterference Properties

Oliver Schwarz and others (2016) · Lecture notes in computer science · Springer Science+Business Media