Steffen Lortz

S. Lortz
Office: S2|02 E321
Phone: +49 6151 16-6216
Fax: +49 6151 16-5326
Mail: lortzatmais.informatik.tu-darmstadt.de

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt

Germany

From 2005 to 2009, I have studied computer science at the TU-Darmstadt up to the bachelor's degree.
Afterwards, I spent one year as a research student at the Knowledge Systems Laboratory of Prof.
Takashi Yukawa at the Nagaoka University of Technology in Japan. Back at the TU-Darmstadt, I finished
my master's degree and joined the MAIS group as a research assistant in 2012. Since then, I have been
working on different topics concerning language-based and model-based analysis of information flow
security.

Research Interests

  • Security engineering
  • Language-based information flow security
  • Static security analysis of programs

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.


2012

  • Steffen Lortz. Robustness of Information Flow Security Under Refinement of Synchronization Primitives (Master Thesis). TU Darmstadt, 2012.
    [ BibTeX entry ]

2009

  • Steffen Lortz. Typbasierte Informationsflussanalyse für JVM-Programme auf Mobilgeräten (Bachelor Thesis). TU Darmstadt, 2009.
    [ BibTeX entry ]

 
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang