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 :
Scheduler-independent Declassifification.

[Report] , (2012)

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

Lux, Alexander and Starostin, Artem :
Side Channel Finder (Version 1.0).

[Other] , (2010)

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

[Report] , (2010)

Lux, Alexander and Mantel, Heiko
Backes, Michael and Ning, Peng (eds.) :

Declassification with Explicit Reference Points.
In: LNCS , 5789 . Springer
[Conference or Workshop Item] , (2009)

Lux, Alexander and Mantel, Heiko
Degano, P. and Guttman, J. and Martinelli, F. (eds.) :

Who Can Declassify?
In: LNCS , 5491 . Springer
[Conference or Workshop Item] , (2009)

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

This list was generated on Tue May 21 00:58:49 2019 CEST.