Heiko Mantel
Heiko Mantel
Professor, Computer Science, TU Darmstadt
Verified email at - Homepage
Cited by
Cited by
Possibilistic definitions of security-an assembly kit
H Mantel
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 185-199, 2000
On the composition of secure systems
H Mantel
Proceedings 2002 IEEE Symposium on Security and Privacy, 88-101, 2002
Controlled declassification based on intransitive noninterference
H Mantel, D Sands
Asian Symposium on Programming Languages and Systems, 129-145, 2004
Static confidentiality enforcement for distributed programs
A Sabelfeld, H Mantel
International Static Analysis Symposium, 376-394, 2002
A uniform framework for the formal specification and verification of information flow security
H Mantel
Preserving information flow properties under refinement
H Mantel
Proceedings 2001 IEEE Symposium on Security and Privacy. S&P 2001, 78-91, 2000
Assumptions and guarantees for compositional noninterference
H Mantel, D Sands, H Sudbrock
2011 IEEE 24th Computer Security Foundations Symposium, 218-232, 2011
Information flow control and applications—bridging a gap—
H Mantel
International Symposium of Formal Methods Europe, 153-172, 2001
A Unifying Approach to the Security of Distributed and Multi-Threaded Programs
H Mantel, A Sabelfeld
Journal of Computer Security 11 (4), 615-676, 2003
Unwinding possibilistic security properties
H Mantel
Computer Security-ESORICS 2000: 6th European Symposium on Research in …, 2000
Towards an evolutionary formal software-development using CASL
S Autexier, D Hutter, H Mantel, A Schairer
Recent Trends in Algebraic Development Techniques: 14th International …, 2000
Cassandra: Towards a certifying app store for android
S Lortz, H Mantel, A Starostin, T Bähr, D Schneider, A Weber
Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones …, 2014
Controlling the what and where of declassification in language-based security
H Mantel, A Reinhard
Programming Languages and Systems: 16th European Symposium on Programming …, 2007
System description: Inka 5.0-a logic voyager
S Autexier, D Hutter, H Mantel, A Schairer
CADE, 207-211, 1999
A Generic Approach to the Security of Multi-Threaded Programs.
H Mantel, A Sabelfeld
CSFW, 126-142, 2001
Transforming out timing leaks, more or less
H Mantel, A Starostin
Computer Security--ESORICS 2015: 20th European Symposium on Research in …, 2015
Flexible scheduler-independent security
H Mantel, H Sudbrock
Computer Security–ESORICS 2010: 15th European Symposium on Research in …, 2010
Scalable offline monitoring
D Basin, G Caronni, S Ereth, M Harvan, F Klaedtke, H Mantel
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014
VSE: Controlling the complexity in formal software developments
D Hutter, H Mantel, G Rock, W Stephan, A Wolpers, M Balser, W Reif, ...
International Workshop on Current Trends in Applied Formal Methods, 351-358, 1998
Hybrid monitors for concurrent noninterference
A Askarov, S Chong, H Mantel
2015 IEEE 28th Computer Security Foundations Symposium, 137-151, 2015
The system can't perform the operation now. Try again later.
Articles 1–20