Controlling the What and Where of Declassification in Language-Based Security. - Heiko Mantel; Alexander Reinhard (ESOP, 2007)

Who Can Declassify?. - Alexander Lux; Heiko Mantel (Formal Aspects in Security and Trust, 2008)

Declassification with Explicit Reference Points. - Alexander Lux; Heiko Mantel (ESORICS, 2009)

A tool for static detection of timing channels in Java. - Alexander Lux; Artem Starostin (J. Cryptogr. Eng., 2011)

Scheduler-Independent Declassification. - Alexander Lux; Heiko Mantel; Matthias Perner (MPC, 2012)

A Formalization of Declassification with WHAT-and-WHERE-Security. - Sylvia Grewe; Alexander Lux; Heiko Mantel; Jens Sauer (Arch. Formal Proofs, 2014)

A Formalization of Strong Security. - Sylvia Grewe; Alexander Lux; Heiko Mantel; Jens Sauer (Arch. Formal Proofs, 2014)