Synthesizing Reactive Systems from Hyperproperties. - Bernd Finkbeiner; Christopher Hahn; Philip Lukert; Marvin Stenger; Leander Tentrup (CAV (1), 2018)

Synthesis from hyperproperties. - Bernd Finkbeiner; Christopher Hahn; Philip Lukert; Marvin Stenger; Leander Tentrup (Acta Informatica, 2020)

Subterm-based proof techniques for improving the automation and scope of security protocol analysis. - Cas Cremers; Charlie Jacomme; Philip Lukert (IACR Cryptol. ePrint Arch., 2022)