Login / Signup
Christopher Gerking
ORCID
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 18
Top Topics
Model Checking
Information Flow
Security Policies
Cyber Physical
Top Venues
CoRR
ECSA (Tracks, Workshops and Doctoral Symposium)
Softwaretechnik-Trends
SIGSOFT FSE
</>
Publications
</>