FM-SecEng: Publications

These documents have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

2013

• Heiko Mantel and Henning Sudbrock. Types vs. PDGs in Information Flow Analysis. In Proceedings of the 22nd International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2012. LNCS 7844. Springer, 2013.
  To appear.
  (BibTeX entry) (PDF)
  

2012

• Richard Gay and Heiko Mantel and Barbara Sprick. Service Automata. In Proceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST). LNCS 7140. Springer, 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)
  
• Daniel Staesche. Security Preserving Refinement of CSP Specifications (Master Thesis). TU Darmstadt, 2012.
  (BibTeX entry)
  

2011

• Deepak D'Souza and Ravindra Holla and Raghavendra KR and Barbara Sprick. Model Checking Trace Based Information Flow Properties. In Journal of Computer Security (JCS), 19 (1), pages 101-138, 2011.
  (BibTeX entry)
  
• Richard Gay and Heiko Mantel and Barbara Sprick. Service Automata. In Preproceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST), 2011.
  (BibTeX entry) (PDF)
  
• Heiko Mantel and David Sands and Henning Sudbrock. Assumptions and Guarantees for Compositional Noninterference. In Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF). IEEE Computer Society, 2011.
  (BibTeX entry) (PDF)
  
• Matthias Perner. Controlled Declassification under Semantics with Schedulers (Master Thesis). TU Darmstadt, 2011.
  (BibTeX entry) (PDF)
  

2010

• Oliver Bracevac. Verhaltensintegrität von Programmen unter nebenläufigen Dateisystemzugriffen (Bachelor Thesis). TU Darmstadt, 2010.
  (BibTeX entry)
  
• Sylvia Grüner. Formale Spezifikation von Sicherheitsanforderungen mit MAKS in Isabelle/HOL (Bachelor Thesis). TU Darmstadt, 2010.
  (BibTeX entry)
  
• Jens Korinth. Relating Process Semantics by Equivalence-Preserving Transformations (Bachelor Thesis). TU Darmstadt, 2010.
  (BibTeX entry)
  
• Heiko Mantel and Henning Sudbrock. Flexible Scheduler-independent Security. In Proceedings of the European Symposium on Research in Computer Security (ESORICS). LNCS 6345. Springer, 2010.
  (BibTeX entry) (PDF)
  
• Timo Schneider. Model Checking von Informationsflusseigenschaften (Master Thesis). TU Darmstadt, 2010.
  (BibTeX entry)
  

2009

• Alexander Lux and Heiko Mantel. Who Can Declassify? In Proceedings of the Workshop on Formal Aspects in Security and Trust, FAST 2008. LNCS, 5491. Springer, 2009.
  (BibTeX entry) (PDF)
  
• Alexander Lux and Heiko Mantel. Declassification with Explicit Reference Points. In 14th European Symposium on Research in Computer Security. LNCS, 5789. Springer, 2009.
  (BibTeX entry) (PDF)
  
• Heiko Mantel and Henning Sudbrock. Increasing the Precision of the Combining Calculus (Extended Abstract). In 5th International Workshop on Programming Language Interference and Dependence ( PLID'09 ), 2009.
  (BibTeX entry)
  
• Heiko Mantel and Henning Sudbrock. Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. In Proceedings of the Workshop on Formal Aspects in Security and Trust, FAST 2008. Springer, LNCS 5491, 2009.
  (BibTeX entry) (PDF)
  

2008

• Deepak D'Souza and Raveendra Holla and Janardhan Kulkarni and Raghavendra Kagalavadi Ramesh and Barbara Sprick. On the Decidability of Model-Checking Information Flow Properties. In International Conference on Information Systems Security (ICISS), 2008.
  (BibTeX entry)
  
• Richard Gay. Interrupt-Related Covert Channels from an Attacker's Perspective. RWTH Aachen, 2008.
  (BibTeX entry) (PDF)
  
• H. Gregor Molter and Hui Shao and Henning Sudbrock and Sorin. A. Huss and Heiko Mantel. Designing a Coprocessor for Interrupt Handling on an FPGA. TUD-CS-2008-1103 (TU Darmstadt), 2008.
  (BibTeX entry) (PDF)
  
• Matthias Perner. Information Flow Analysis for CIL (Bachelor Thesis). TU Darmstadt, 2008.
  (BibTeX entry) (PDF)
  
• Timo Schneider. Fallstudie: Sicherheitsautomat für einen orchestrierten Dienst in einer serviceorientierten Architektur (Bachelor Thesis). TU Darmstadt, 2008.
  (BibTeX entry)
  

2007

• Dieter Hutter and Heiko Mantel and Ina Schaefer and Axel Schairer. Security of Multiagent Systems: A Case Study on Comparison Shopping. In Journal of Applied Logic, 2007.
  (BibTeX entry)
  
• Boris Köpf and Heiko Mantel. Transformational Typing and Unification for Automatically Correcting Insecure Programs. In International Journal of Information Security (IJIS), 2007.
  (BibTeX entry)
  
• Tina Kraußer and Heiko Mantel and Henning Sudbrock. A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption. RWTH Aachen, Technical Report 2007-09, 2007.
  (BibTeX entry)
  
• Heiko Mantel and Henning Sudbrock. Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. In 20th IEEE Computer Security Foundations Symposium, CSF 2007. IEEE Computer Society Press, 2007.
  (abstract) (BibTeX entry) (PDF)
  
• Heiko Mantel and Henning Sudbrock and Tina Kraußer. Combining Different Proof Techniques for Verifying Information Flow Security. In 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006. LNCS, 4407. Springer, 2007.
  (abstract) (BibTeX entry) (PDF)
  
• Gilles Barthe and Heiko Mantel and Peter Müller and Andrew C. Myers and Andrei Sabelfeld. Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security. In Dagstuhl, 2007.
  (BibTeX entry)
  
• Virgil D. Gligor and Heiko Mantel Proceedings of the ACM Workshop on Formal Methods in Security Engineering : From Specifications to Code (FMSE). 2007.
  (BibTeX entry)
  

2006

• Alexander Reinhard. Analyse nebenläufiger Programme unter intransitiven Sicherheitspolitiken. RWTH Aachen, 2006.
  (BibTeX entry) (PDF) (Alexander Reinhard)
  
• Serge Autexier and Heiko Mantel. Verify'06: Verification Workshop. In FLoC, 2006.
  workshop in connection with Federated Logic Conference, FLoC'06
  (BibTeX entry) (URL)
  

2005

• Heiko Mantel. The Framework of Selective Interleaving Functions and the Modular Assembly Kit. In FMSE'05: 3rd ACM Workshop on Formal Methods for Security Engineering: From Specifications to Code. ACM, 2005.
  (BibTeX entry) (PDF) (zipped Postscript)