Alexander Lux

Alexander Reinhard

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

Last update Wed May 22 13:41:02 2013 CET by the DBLP Team —

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