Alexander Lux

According to our database, Alexander Lux authored at least 7 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A Formalization of Strong Security.

Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer

Arch. Formal Proofs, 2014

A Formalization of Declassification with WHAT-and-WHERE-Security.

Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer

Arch. Formal Proofs, 2014

2012

Scheduler-Independent Declassification.

Alexander Lux, Heiko Mantel, Matthias Perner

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

2011

A tool for static detection of timing channels in Java.

Alexander Lux, Artem Starostin

J. Cryptogr. Eng., 2011

2009

Declassification with Explicit Reference Points.

Alexander Lux, Heiko Mantel

Proceedings of the Computer Security, 2009

2008

Who Can Declassify?.

Alexander Lux, Heiko Mantel

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

2007

Controlling the What and Where of Declassification in Language-Based Security.

Heiko Mantel, Alexander Reinhard

Proceedings of the Programming Languages and Systems, 2007