TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 2012 | 2011 | 2010 | 2009 | 2008
Anzahl der Einträge: 7.

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

Diese Liste wurde am Sat Dec 21 04:10:22 2024 CET generiert.