Philip Lukert
Orcid: 0000-0002-1003-3573Affiliations:
- 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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018