Send email Copy Email Address
PhD Student

Philip Lukert

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

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

CSF
eprintCSF 2023

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2018

2018

Synthesizing Reactive Systems from Hyperproperties

Conference / Medium

CAV
Computer Aided Verification

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page