Dipl.-Inform. Alexander Lux (geb. Reinhard)

Office:	S2\|02 E321
Phone:	+49 6151 16-6216
Fax:	+49 6151 16-5326
Mail:	luxmais.informatik.tu-darmstadt.de
Office Hour:	Thursday, 14:00 - 15:00

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt

Germany

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

Alexander Gebhardt. Monitoring C Programs by Finite State Machines (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 ]

2011

Alexander Lux and Artem Starostin. A Tool for Static Detection of Timing Channels in Java. In 2nd International Workshop on Constructive Side-Channel Analysis and Secure Design, 2011.
[ BibTeX entry | PDF ]
Alexander Lux and Artem Starostin. A Tool for Static Detection of Timing Channels in Java. In Journal of Cryptographic Engineering, 1 (4), pages 303-313, 2011.
[ BibTeX entry | PDF | Springer ]

2010

Alexander Lux, Heiko Mantel, Matthias Perner and Artem Starostin. Side Channel Finder (Version 1.0). TU Darmstadt, Technical Report TUD-CS-2010-0155, 2010.
[ BibTeX entry | PDF ]
Alexander Lux and Artem Starostin. Side Channel Finder (Version 1.0). Poster at Annual Computer Security Applications Conference (ACSAC), 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, pages 35-49. 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, pages 69-85. Springer, 2009.
[ BibTeX entry | PDF ]

2008

Alexander Lux and Heiko Mantel. Who can declassify? In Preproceedings of the Workshop on Formal Aspects in Security and Trust (FAST), pages 35-49, 2008.
[ BibTeX entry | PDF ]

2007

Heiko Mantel and Alexander Reinhard. Controlling the What and Where of Declassification in Language-Based Security. In European Symposium on Programming (ESOP). LNCS, 4421, pages 141-156. Springer, 2007.
[ Abstract | BibTeX entry | PDF ]

2006

Alexander Reinhard. Analyse nebenläufiger Programme unter intransitiven Sicherheitspolitiken. RWTH Aachen, 2006.
[ BibTeX entry | PDF | Alexander Reinhard ]

12 hits found
BibTeX file of all entries

MAIS