Mads Dam

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Reasoning about higher-order processes	2022-08-18	Paper
On the decidability of process equivalences for the π-calculus	2022-08-16	Paper
Hoare-style logic for unstructured programs	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4994127	2021-06-17	Paper
Formal verification of integrity-preserving countermeasures against cache storage side-channels	2019-09-16	Paper
Decidability and proof systems for language-based noninterference relations	2017-08-21	Paper
An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes	2016-10-07	Paper
Security monitor inlining and certification for multithreaded Java	2016-07-27	Paper
Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties	2015-01-13	Paper
A Data Symmetry Reduction Technique for Temporal-epistemic Logic	2009-12-01	Paper
Provably correct runtime monitoring	2009-07-20	Paper
Decentralized detection of global threshold crossings using aggregation trees	2008-06-25	Paper
On the secure implementation of security protocols	2004-11-22	Paper
On global induction mechanisms in aμ-calculus with explicit approximations	2004-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4417890	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4417874	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4440827	2003-01-01	Paper
-Calculus with Explicit Points and Approximations	2002-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q4511273	2000-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q4256653	1999-08-08	Paper
On the decidability of process equivalences for the \(\pi\)-calculus	1998-07-22	Paper
Proving properties of dynamic process networks	1998-04-02	Paper
Model checking mobile processes	1996-12-01	Paper
Process-Algebraic Interpretations of Positive Linear and Relevant Logics	1995-04-20	Paper
CTL\(^\) and ECTL\(^\) as fragments of the modal \(\mu\)-calculus	1994-05-15	Paper
\(R\)-generability, and definability in branching time logics	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q3718127	1986-01-01	Paper

Research outcomes over time

This page was built for person: Mads Dam