Publications

Logical Search Combination
Sorted by
Display Mode



2016

  • David Basin, Germano Caronni, Sarah Ereth, Matúš Harvan, Felix Klaedtke and Heiko Mantel. Scalable Offline Monitoring of Temporal Specifications. In Formal Methods in System Design, 48(1), pages 1-34, 2016.
    BibTeX entry ]
  • Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi Fonseca and Vivek Nigam. Formal Specification and Verification of a Selective Defense for TDoS Attacks. In Proceedings of the 11th International Workshop on Rewriting Logic and its Applications (WRLA), 2016. To appear.
    BibTeX entry | PDF ]
  • Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam and Gustavo Sampaio. A Selective Defense for Mitigating Coordinated Call Attacks. In Proceedings of the XXXIV Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), 2016. To appear.
    BibTeX entry ]
  • Hoang Duong Nguyen. Empirical Evaluation of Side-Channel Mitigation on a JVM with JIT-Compilation. Bachelor Thesis, TU Darmstadt, 2016.
    BibTeX entry ]
  • Johannes Schickel. Using File-Correlation to Accelerate Decision-Making in a Decentralized Cooperative Security Enforcement. Master Thesis, TU Darmstadt, 2016.
    BibTeX entry ]

2015

2014

2013

2012

  • Dominik Bollmann. Security Type Inference for the Type-Based Information Flow Analysis of Java Programs. Bachelor Thesis, TU Darmstadt, 2012.
    BibTeX entry ]
  • Richard Gay, Heiko Mantel and Barbara Sprick. Service Automata. In Post-Proceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST 2011). LNCS 7140, pages 148-163. Springer, 2012.
    BibTeX entry | PDF | Proofs ]
  • Alexander Gebhardt. Monitoring C Programs by Finite State Machines. Master Thesis, TU Darmstadt, 2012.
    BibTeX entry ]
  • Sylvia Grewe. Toward a Framework for Soundness Proofs of Type Systems in Language-based Information-flow Security. Master Thesis, TU Darmstadt, 2012.
    BibTeX entry ]
  • Jinwei Hu, Khaled M. Khan, Yun Bai and Yan Zhang. Compliance Checking for Usage-Constrained Credentials in Trust Negotiation Systems. In Proceedings of the 15th Information Security Conference (ISC), pages 290-305. Springer, 2012.
    BibTeX entry ]
  • Steffen Lortz. Robustness of Information Flow Security Under Refinement of Synchronization Primitives. Master Thesis, TU Darmstadt, 2012.
    BibTeX entry ]
  • Alexander Lux, Heiko Mantel and Matthias Perner. Scheduler-Independent Declassification. TU Darmstadt, Technical Report TUD-CS-2012-0061, 2012.
    BibTeX entry | PDF ]
  • Alexander Lux, Heiko Mantel and Matthias Perner. Scheduler-Independent Declassification. In Proceedings of the 11th International Conference on Mathematics of Program Construction (MPC). LNCS 7342, pages 25-47. Springer, 2012.
    BibTeX entry | PDF ]
  • Christopher Mann and Artem Starostin. A Framework for Static Detection of Privacy Leaks in Android Applications. In Proceedings of the 27th Symposium on Applied Computing (SAC), Computer Security Track, pages 1457-1462. ACM, 2012.
    BibTeX entry | PDF ]
  • Heiko Mantel and Henning Sudbrock. Types vs. PDGs in Information Flow Analysis. In Pre-Proceedings of the 22nd International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2012), 2012.
    BibTeX entry ]
  • Sogol Mazaheri. Race Conditions in Distributed Enforcement at the Example of Online Social Networks. Bachelor Thesis, TU Darmstadt, 2012.
    BibTeX entry ]
  • Jan Mundo. Analyse von C-Programmen bezüglich Secure Coding mittels LTL-Modelchecking. Bachelor Thesis, TU Darmstadt, 2012.
    BibTeX entry ]
  • Martin Ochoa, Sebastian Pape, Thomas Ruhroth, Barbara Sprick, Kurt Stenzel and Henning Sudbrock. Report on the RS3 Topic Workshop ``Security Properties in Software Engineering''. Universität Augsburg, Technical Report 2012-02, 2012.
    BibTeX entry ]
  • Simon Reinhardt. Implementation and Evaluation of a Module for Type-based Information-Flow Analysis of Multi-threaded Programs on Android. Bachelor Thesis, TU Darmstadt, 2012.
    BibTeX entry ]
  • Lucas Rothamel. Formalisation of Android Inter-Application Communication. Bachelor Thesis, TU Darmstadt, 2012.
    BibTeX entry ]
  • Jens Sauer. Informationsflusssicherheit in Systemen mit zwei Prozessoren. Master Thesis, TU Darmstadt, 2012.
    BibTeX entry | PDF ]
  • David Schneider. Instance-Specific Security Domain Assignments in Sequential Programming Languages. Bachelor Thesis, TU Darmstadt, 2012.
    BibTeX entry ]
  • Daniel Schoepe. Compositionality of Information Flow Security with Assumptions and Guarantees in Isabelle/HOL. Bachelor Thesis, TU Darmstadt, 2012.
    BibTeX entry ]
  • Daniel Specht. A Formal Model and Tool for Data Flow Security in Computer Networks. Bachelor Thesis, TU Darmstadt, 2012.
    BibTeX entry ]
  • Daniel Staesche. Security Preserving Refinement of CSP Specifications. Master Thesis, TU Darmstadt, 2012.
    BibTeX entry ]
  • Alexandra Weber. A Formal Model, a Noninterference Condition, and a Sound Type System for a Certifying Application Store. Bachelor Thesis, TU Darmstadt, 2012.
    BibTeX entry ]
  • Florian Wendel. An Evaluation of Delegation Strategies for Coordinated Enforcement. Bachelor Thesis, TU Darmstadt, 2012.
    BibTeX entry ]
  • Markus Aderhold, Serge Autexier and Heiko Mantel (Ed.). Proceedings of the 6th International Verification Workshop (VERIFY 2010). EPiC Series in Computer Science, Vol. 3, 2012. Workshop in connection with the Federated Logic Conference (FLoC 2010).
    BibTeX entry ]

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

  • Heiko Mantel. Eine Matrixcharakterisierung für ein Fragment der Linearen Logik. Diploma Thesis, TU Darmstadt, 1996.
    BibTeX entry ]
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang