Login / Signup
Dominik Schoop
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 3
Top Topics
Formal Models
Security Patterns
Automotive Industry
Knowledge Retrieval
Top Venues
VNC
IMPEX/FM&MDD
NOF
</>
Publications
</>
Dennis Grewe
,
K. P. Pavithra Rao
,
Sebastian Schildt
,
Marco Wagner
,
Dominik Schoop
,
Hannes Frey
EnCIRCLE: Encryption-based access control for information-centric connected vehicles.
NOF
(2017)
Eduardo dos Santos
,
Andrew Simpson
,
Dominik Schoop
A Formal Model to Facilitate Security Testing in Modern Automotive Systems.
IMPEX/FM&MDD
(2017)
Eduardo dos Santos
,
Dominik Schoop
,
Andrew Simpson
Formal models for automotive systems and vehicular networks: Benefits and challenges.
VNC
(2016)