Philip Lukert

Orcid: 0000-0002-1003-3573

Affiliations:
  • CISPA Helmholtz Center for Information Security, Saarbrücken, Germany


According to our database1, Philip Lukert authored at least 3 papers between 2018 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Subterm-based proof techniques for improving the automation and scope of security protocol analysis.
IACR Cryptol. ePrint Arch., 2022

2020
Synthesis from hyperproperties.
Acta Informatica, 2020

2018
Synthesizing Reactive Systems from Hyperproperties.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018


  Loading...