Alexander Lux

Alexander Reinhard

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2011

4 Alexander Lux, Artem Starostin: A tool for static detection of timing channels in Java. J. Cryptographic Engineering 1(4): 303-313 (2011)

2009

3 Alexander Lux, Heiko Mantel: Declassification with Explicit Reference Points. ESORICS 2009: 69-85

2008

2 Alexander Lux, Heiko Mantel: Who Can Declassify?. Formal Aspects in Security and Trust 2008: 35-49

2007

1 Heiko Mantel, Alexander Reinhard: Controlling the What and Where of Declassification in Language-Based Security. ESOP 2007: 141-156

	2011
4		Alexander Lux, Artem Starostin: A tool for static detection of timing channels in Java. J. Cryptographic Engineering 1(4): 303-313 (2011)
	2009
3		Alexander Lux, Heiko Mantel: Declassification with Explicit Reference Points. ESORICS 2009: 69-85
	2008
2		Alexander Lux, Heiko Mantel: Who Can Declassify?. Formal Aspects in Security and Trust 2008: 35-49
	2007
1		Heiko Mantel, Alexander Reinhard: Controlling the What and Where of Declassification in Language-Based Security. ESOP 2007: 141-156

Coauthor Index

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page