TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 7.

Lux, Alexander ; Mantel, Heiko ; Perner, Matthias :
Scheduler-independent Declassifification.

[Report] , (2012)

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

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

[Anderes] , (2010)

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

[Report] , (2010)

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

Declassification with Explicit Reference Points.
In: LNCS , 5789 . Springer
[ Konferenzveröffentlichung] , (2009)

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

Who Can Declassify?
In: LNCS , 5491 . Springer
[ Konferenzveröffentlichung] , (2009)

Lux, Alexander ; Mantel, Heiko :
Who can declassify?
Preproceedings of the Workshop on Formal Aspects in Security and Trust (FAST)
[ Konferenzveröffentlichung] , (2008)

Diese Liste wurde am Sat Mar 23 02:36:31 2019 CET generiert.