Follow
Heiko Mantel
Heiko Mantel
Professor, Computer Science, TU Darmstadt
Verified email at cs.tu-darmstadt.de - Homepage
Title
Cited by
Cited by
Year
Possibilistic definitions of security-an assembly kit
H Mantel
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 185-199, 2000
2342000
On the composition of secure systems
H Mantel
Proceedings 2002 IEEE Symposium on Security and Privacy, 88-101, 2002
1682002
Controlled declassification based on intransitive noninterference
H Mantel, D Sands
Asian Symposium on Programming Languages and Systems, 129-145, 2004
1382004
Static confidentiality enforcement for distributed programs
A Sabelfeld, H Mantel
International Static Analysis Symposium, 376-394, 2002
116*2002
Preserving information flow properties under refinement
H Mantel
Proceedings 2001 IEEE Symposium on Security and Privacy. S&P 2001, 78-91, 2000
1032000
A uniform framework for the formal specification and verification of information flow security
H Mantel
1022003
Information flow control and applications—bridging a gap—
H Mantel
International Symposium of Formal Methods Europe, 153-172, 2001
922001
Assumptions and guarantees for compositional noninterference
H Mantel, D Sands, H Sudbrock
2011 IEEE 24th Computer Security Foundations Symposium, 218-232, 2011
902011
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
822003
Unwinding possibilistic security properties
H Mantel
European Symposium on Research in Computer Security, 238-254, 2000
812000
Towards an evolutionary formal software-development using CASL
S Autexier, D Hutter, H Mantel, A Schairer
International Workshop on Algebraic Development Techniques, 73-88, 1999
731999
Controlling the what and where of declassification in language-based security
H Mantel, A Reinhard
European Symposium on Programming, 141-156, 2007
662007
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
652014
System description: Inka 5.0-a logic voyager
S Autexier, D Hutter, H Mantel, A Schairer
International Conference on Automated Deduction, 207-211, 1999
631999
A Generic Approach to the Security of Multi-Threaded Programs.
H Mantel, A Sabelfeld
CSFW, 126-142, 2001
602001
Flexible scheduler-independent security
H Mantel, H Sudbrock
European Symposium on Research in Computer Security, 116-133, 2010
472010
Transforming out timing leaks, more or less
H Mantel, A Starostin
European Symposium on Research in Computer Security, 447-467, 2015
442015
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
441998
Scalable offline monitoring
D Basin, G Caronni, S Ereth, M Harvan, F Klaedtke, H Mantel
International Conference on Runtime Verification, 31-47, 2014
412014
Service automata
R Gay, H Mantel, B Sprick
International Workshop on Formal Aspects in Security and Trust, 148-163, 2011
392011
The system can't perform the operation now. Try again later.
Articles 1–20