Alexander Lux

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Security Management

Information Assurance

Intrusion Detection

Top Venues

Arch. Formal Proofs

Publications

Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer
A Formalization of Strong Security. Arch. Formal Proofs 2014 (2014)
Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer
A Formalization of Declassification with WHAT-and-WHERE-Security. Arch. Formal Proofs 2014 (2014)
Alexander Lux, Heiko Mantel, Matthias Perner
Scheduler-Independent Declassification. MPC (2012)
Alexander Lux, Artem Starostin
A tool for static detection of timing channels in Java. J. Cryptogr. Eng. 1 (4) (2011)
Alexander Lux, Heiko Mantel
Declassification with Explicit Reference Points. ESORICS (2009)
Alexander Lux, Heiko Mantel
Who Can Declassify?. Formal Aspects in Security and Trust (2008)