2012

Lux, Alexander ; Mantel, Heiko ; Perner, Matthias (2012)
Scheduler-independent Declassifification.
Report, Bibliographie

2011

Lux, Alexander ; Starostin, Artem (2011)
A Tool for Static Detection of Timing Channels in Java.
Konferenzveröffentlichung, Bibliographie

2010

Lux, Alexander ; Starostin, Artem (2010)
Side Channel Finder (Version 1.0).
Anderes, Bibliographie

Lux, Alexander ; Mantel, Heiko ; Perner, Matthias ; Starostin, Artem (2010)
Side Channel Finder (Version 1.0).
Report, Bibliographie

2009

Lux, Alexander ; Mantel, Heiko
Hrsg.: Backes, Michael ; Ning, Peng (2009)
Declassification with Explicit Reference Points.
Konferenzveröffentlichung, Bibliographie

Lux, Alexander ; Mantel, Heiko
Hrsg.: Degano, P. ; Guttman, J. ; Martinelli, F. (2009)
Who Can Declassify?
Konferenzveröffentlichung, Bibliographie

2008

Lux, Alexander ; Mantel, Heiko (2008)
Who can declassify?
Konferenzveröffentlichung, Bibliographie