Philip Lukert

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 5

Top Topics

Reactive Systems

Top Venues

IACR Cryptol. ePrint Arch.

Acta Informatica

Publications

Cas Cremers, Charlie Jacomme, Philip Lukert
Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis. CSF (2023)
Cas Cremers, Charlie Jacomme, Philip Lukert
Subterm-based proof techniques for improving the automation and scope of security protocol analysis. IACR Cryptol. ePrint Arch. 2022 (2022)
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Synthesis from hyperproperties. Acta Informatica 57 (1-2) (2020)
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Synthesizing Reactive Systems from Hyperproperties. CoRR (2019)
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Synthesizing Reactive Systems from Hyperproperties. CAV (1) (2018)