Heiko Mantel

Available identifiers

zbMath Open mantel.heikoMaRDI QIDQ681468

List of research outcomes

Publication	Date of Publication	Type
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality	2022-12-09	Paper
Unwinding Possibilistic Security Properties	2022-03-07	Paper
Connection-based proof construction in linear logic	2019-10-01	Paper
Scalable offline monitoring of temporal specifications	2018-02-12	Paper
Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis	2016-02-05	Paper
Types vs. PDGs in Information Flow Analysis	2013-09-13	Paper
Scheduler-Independent Declassification	2012-09-05	Paper
Who Can Declassify?	2009-04-07	Paper
Combining Different Proof Techniques for Verifying Information Flow Security	2007-09-10	Paper
Controlling the What and Where of Declassification in Language-Based Security	2007-09-04	Paper
Security of multi-agent systems: a case study on comparison shopping	2007-07-25	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Programming Languages and Systems	2005-08-17	Paper
A matrix characterization for multiplicative exponential linear logic	2004-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4411973	2003-07-13	Paper
VSE: Formal methods meet industrial needs	2003-02-13	Paper
A case study in the mechanical verification of fault tolerance	2002-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2763969	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2722016	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4263017	2000-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4246968	1999-10-03	Paper
https://portal.mardi4nfdi.de/entity/Q4247095	1999-06-16	Paper

Research outcomes over time

This page was built for person: Heiko Mantel