@InProceedings{	  weber.nikiforov.ea:cache-side-channel,
  author	= {Alexandra Weber and Oleg Nikiforov and Alexander Sauer and
		  Johannes Schickel and Gernot Alber and Heiko Mantel and
		  Thomas Walther},
  title		= {Cache-Side-Channel Quantification and Mitigation for
		  Quantum Cryptography},
  booktitle	= {Proceedings of the 26th European Symposium on Research in
		  Computer Security (ESORICS)},
  year		= 2021,
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2021/2021-ESORCIS-WeberNikiforovSauerSchickelAlberMantelWalther.pdf}
}

@TechReport{	  nikiforov.sauer.ea:side-channel,
  author	= {Oleg Nikiforov and Alexander Sauer and Johannes Schickel
		  and Alexandra Weber and Gernot Alber and Heiko Mantel and
		  Thomas Walther},
  title		= {Side-Channel Analysis of Privacy Amplification in
		  Postprocessing Software for a Quantum Key Distribution
		  System},
  institution	= {TU Darmstadt},
  year		= 2018,
  number	= {TUD-CS-2018-0024},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2018/SideChannelAnalysisofPrivacyAmplificationinPostprocessingSoftwareforaQuatumKeyDistributionSystem.pdf}
}

@InProceedings{	  mantel.muller-olm.ea:using:a,
  author	= {Heiko Mantel and Markus M\"uller-Olm and Matthias Perner
		  and Alexander Wenner},
  title		= {Using Dynamic Pushdown Networks to Automate a Modular
		  Information-Flow Analysis},
  booktitle	= {Post-Proceedings of the 25th Logic-Based Program Synthesis
		  and Transformation (LOPSTR)},
  publisher	= {Springer},
  year		= 2015,
  pages		= {201-217},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2015/2015-LOPSTR-MantelOlmPernerWenner.pdf}
}

@InProceedings{	  mantel.muller-olm.ea:using,
  author	= {Heiko Mantel and Markus M\"uller-Olm and Matthias Perner
		  and Alexander Wenner},
  title		= {Using Dynamic Pushdown Networks to Automate a Modular
		  Information-Flow Analysis},
  booktitle	= {Pre-Proceedings of the 25th International Symposium on
		  Logic Based Program Synthesis and Transformation (LOPSTR)},
  year		= 2015,
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2015/2015-LOPSTR-MantelOlmPernerWenner-.pdf}
}

@Article{	  Strong_Security-AFP,
  author	= {Sylvia Grewe and Alexander Lux and Heiko Mantel and Jens
		  Sauer},
  title		= {A Formalization of Strong Security},
  journal	= {Archive of Formal Proofs},
  month		= apr,
  year		= 2014,
  note		= {\url{http://afp.sf.net/entries/Strong_Security.shtml},
		  Formal proof development},
  issn		= {2150-914x}
}

@Article{	  WHATandWHERE_Security-AFP,
  author	= {Sylvia Grewe and Alexander Lux and Heiko Mantel and Jens
		  Sauer},
  title		= {A Formalization of Declassification with
		  WHAT-and-WHERE-Security},
  journal	= {Archive of Formal Proofs},
  month		= apr,
  year		= 2014,
  note		= {\url{http://afp.sf.net/entries/WHATandWHERE_Security.shtml},
		  Formal proof development},
  issn		= {2150-914x}
}

@TechReport{	  TUD-CS-2013-0180,
  author	= {Markus Aderhold and Alexander Gebhardt and Heiko Mantel},
  title		= {{Choosing a Formalism for Secure Coding: FSM vs. LTL}},
  year		= 2013,
  institution	= {TU Darmstadt},
  number	= {TUD-CS-2013-0180},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2013/TUD-CS-2013-0180-SecureCodingFormalism.pdf}
}

@TechReport{	  lux.mantel.ea:scheduler-independent:b,
  author	= {Alexander Lux and Heiko Mantel and Matthias Perner},
  title		= {Scheduler-Independent Declassification},
  institution	= {TU Darmstadt},
  year		= 2012,
  number	= {TUD-CS-2012-0061},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2012/TUD-CS-2012-0061.pdf}
}

@InProceedings{	  lux.mantel.ea:scheduler-independent,
  author	= {Alexander Lux and Heiko Mantel and Matthias Perner},
  title		= {Scheduler-Independent Declassification},
  booktitle	= {Proceedings of the 11th International Conference on
		  Mathematics of Program Construction (MPC)},
  publisher	= {Springer},
  year		= 2012,
  series	= {LNCS 7342},
  pages		= {25--47},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2012/LuxMantelPerner_MPC2012.pdf}
}

@MastersThesis{	  gebhardt:monitoring,
  author	= {Alexander Gebhardt},
  title		= {Monitoring C Programs by Finite State Machines},
  school	= {TU Darmstadt},
  type		= {Master Thesis},
  year		= 2012
}

@InProceedings{	  lux.ea:tool:2011,
  author	= {Alexander Lux and Artem Starostin},
  booktitle	= {Proceedings of the 2nd International Workshop on
		  Constructive Side-Channel Analysis and Secure Design
		  (COSADE)},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2011/Lux-Starostin-COSADE-2011.pdf},
  title		= {A Tool for Static Detection of Timing Channels in Java},
  year		= 2011
}

@Article{	  lux.starostin:tool,
  author	= {Alexander Lux and Artem Starostin},
  title		= {A Tool for Static Detection of Timing Channels in Java},
  journal	= {Journal of Cryptographic Engineering (JCEN)},
  volume	= 1,
  number	= 4,
  pages		= {303--313},
  year		= 2011,
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2011/scf-jcen11.pdf}
}

@TechReport{	  lux.mantel.ea:side:b,
  author	= {Alexander Lux and Heiko Mantel and Matthias Perner and
		  Artem Starostin},
  title		= {Side Channel Finder (Version 1.0)},
  institution	= {TU Darmstadt},
  month		= {October},
  year		= 2010,
  number	= {TUD-CS-2010-0155},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2010/20101006SideChannelFinder_published.pdf}
}

@Misc{		  poster:SideChannelFinderACSAC-2010,
  author	= {Alexander Lux and Artem Starostin},
  title		= {{Side Channel Finder (Version 1.0)}},
  howpublished	= {Poster at the 26th Annual Computer Security Applications
		  Conference (ACSAC)},
  year		= 2010
}

@InProceedings{	  lux.ea:who:2009,
  author	= {Alexander Lux and Heiko Mantel},
  booktitle	= {Post-Proceedings of the 5th Workshop on Formal Aspects in
		  Security and Trust (FAST 2008)},
  editor	= {P. Degano and J. Guttman and F. Martinelli},
  pages		= {35--49},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2009/2008FAST-LuxMantel-web-postproceedings.pdf},
  publisher	= {Springer},
  series	= {LNCS},
  title		= {Who Can Declassify?},
  volume	= 5491,
  year		= 2009
}

@InProceedings{	  lux.ea:declassification:2009,
  author	= {Alexander Lux and Heiko Mantel},
  booktitle	= {Proceedings of the 14th European Symposium on Research in
		  Computer Security (ESORICS)},
  editor	= {Michael Backes and Peng Ning},
  pages		= {69--85},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2009/0_2009-ESORICS-LuxMantel-Webversion.pdf},
  publisher	= {Springer},
  series	= {LNCS},
  title		= {Declassification with Explicit Reference Points},
  volume	= 5789,
  year		= 2009
}

@InProceedings{	  lux.mantel:who,
  author	= {Alexander Lux and Heiko Mantel},
  title		= {Who Can Declassify?},
  booktitle	= {Pre-Proceedings of the 5th Workshop on Formal Aspects in
		  Security and Trust (FAST 2008)},
  year		= 2008,
  pages		= {35--49},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2008/0_2008FASTLuxMantel_forWebsite.pdf}
}

@InProceedings{	  mantel.ea:controlling:2007,
  abstract	= {While a rigorous information flow analysis is a key step
		  in obtaining meaningful end-to-end confidentiality
		  guarantees, one must also permit possibilities for
		  declassification.Sabelfeld and Sands categorized the
		  existing approaches to controlling declassification in
		  their overview along four dimensions and according to four
		  prudent principles.In this article, we propose three novel
		  security conditions for controlling the dimensions where
		  and what, and we explain why these conditions constitute
		  improvements over prior approaches. Moreover, we present a
		  type-based security analysis and, as another novelty, prove
		  a soundness result that considers more than one dimension
		  of declassification.},
  author	= {Heiko Mantel and Alexander Reinhard},
  booktitle	= {Proceedings of the 16th European Symposium on Programming
		  (ESOP)},
  editor	= {Rocco De Nicola},
  isbn		= {978-3-540-71314-2},
  pages		= {141--156},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2007/2007ESOPMantelReinhard_forWebsite.pdf},
  publisher	= {Springer},
  series	= {LNCS},
  title		= {Controlling the What and Where of Declassification in
		  Language-Based Security},
  volume	= 4421,
  year		= 2007
}

@MastersThesis{	  reinhard:diplomarbeit:2006,
  author	= {Alexander Reinhard},
  month		= {May},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2006/DiplomarbeitAReinhard.pdf},
  type		= {Diploma Thesis},
  school	= {RWTH Aachen},
  title		= {Analyse nebenl\"aufiger Programme unter intransitiven
		  Sicherheitspolitiken},
  year		= 2006
}