TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 7.

Lux, Alexander and Mantel, Heiko and Perner, Matthias (2012):
Scheduler-independent Declassifification.
(TUD-CS-2012-0061), [Report]

Lux, Alexander and Starostin, Artem (2011):
A Tool for Static Detection of Timing Channels in Java.
In: 2nd International Workshop on Constructive Side-Channel Analysis and Secure Design, [Conference or Workshop Item]

Lux, Alexander and Starostin, Artem (2010):
Side Channel Finder (Version 1.0).
[Other]

Lux, Alexander and Mantel, Heiko and Perner, Matthias and Starostin, Artem (2010):
Side Channel Finder (Version 1.0).
[Report]

Lux, Alexander and Mantel, Heiko
Backes, Michael and Ning, Peng (eds.) (2009):
Declassification with Explicit Reference Points.
In: 14th European Symposium on Research in Computer Security, Springer, In: LNCS, 5789, [Conference or Workshop Item]

Lux, Alexander and Mantel, Heiko
Degano, P. and Guttman, J. and Martinelli, F. (eds.) (2009):
Who Can Declassify?
In: Proceedings of the Workshop on Formal Aspects in Security and Trust, FAST 2008, Springer, In: LNCS, 5491, [Conference or Workshop Item]

Lux, Alexander and Mantel, Heiko (2008):
Who can declassify?
In: Preproceedings of the Workshop on Formal Aspects in Security and Trust (FAST), [Conference or Workshop Item]

This list was generated on Tue Oct 15 01:12:09 2019 CEST.