Send email Copy Email Address
Staff

Philip Lukert

Email

Phone

Address

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

Publications by Philip Lukert

Year 2022

2022-08-31

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

Conference / Medium

IEEE Computer Security Foundations Symposium (CSF)

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page

Year 2018

2018

Synthesizing Reactive Systems from Hyperproperties

Conference / Medium

Computer Aided Verification (CAV)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page