E-mail senden E-Mail Adresse kopieren
Personal

Philip Lukert

E-Mail

Adresse

Kaiserstraße 170-174
66386 St. Ingbert (Germany)

Veröffentlichungen von Philip Lukert

Jahr 2022

2022-08-31

Subterm-based proof techniques for improving the automation and scope of security protocol analysis

Konferenz / Medium

IEEE Computer Security Foundations Symposium (CSF)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2018

2018

Synthesizing Reactive Systems from Hyperproperties

Konferenz / Medium

Computer Aided Verification (CAV)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen