| Possibilistic definitions of security-an assembly kit H Mantel Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 185-199, 2000 | 233 | 2000 |
| On the composition of secure systems H Mantel Proceedings 2002 IEEE Symposium on Security and Privacy, 88-101, 2002 | 168 | 2002 |
| Controlled declassification based on intransitive noninterference H Mantel, D Sands Asian Symposium on Programming Languages and Systems, 129-145, 2004 | 137 | 2004 |
| 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 | 103 | 2000 |
| A uniform framework for the formal specification and verification of information flow security H Mantel | 102 | 2003 |
| Information flow control and applications—bridging a gap— H Mantel International Symposium of Formal Methods Europe, 153-172, 2001 | 92 | 2001 |
| Assumptions and guarantees for compositional noninterference H Mantel, D Sands, H Sudbrock 2011 IEEE 24th Computer Security Foundations Symposium, 218-232, 2011 | 89 | 2011 |
| 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 | 82 | 2003 |
| Unwinding possibilistic security properties H Mantel European Symposium on Research in Computer Security, 238-254, 2000 | 81 | 2000 |
| 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 | 73 | 1999 |
| Controlling the what and where of declassification in language-based security H Mantel, A Reinhard European Symposium on Programming, 141-156, 2007 | 65 | 2007 |
| 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 | 62 | 2014 |
| System description: Inka 5.0-a logic voyager S Autexier, D Hutter, H Mantel, A Schairer International Conference on Automated Deduction, 207-211, 1999 | 62 | 1999 |
| A Generic Approach to the Security of Multi-Threaded Programs. H Mantel, A Sabelfeld CSFW, 126-142, 2001 | 59 | 2001 |
| Flexible scheduler-independent security H Mantel, H Sudbrock European Symposium on Research in Computer Security, 116-133, 2010 | 47 | 2010 |
| 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 | 44 | 1998 |
| Transforming out timing leaks, more or less H Mantel, A Starostin European Symposium on Research in Computer Security, 447-467, 2015 | 43 | 2015 |
| Scalable offline monitoring D Basin, G Caronni, S Ereth, M Harvan, F Klaedtke, H Mantel International Conference on Runtime Verification, 31-47, 2014 | 40 | 2014 |
| Service automata R Gay, H Mantel, B Sprick International Workshop on Formal Aspects in Security and Trust, 148-163, 2011 | 38 | 2011 |
Andrei SabelfeldChalmers University of TechnologyDirección de correo verificada de chalmers.se
