Alexander Lux

Alexander Reinhard

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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