Formal models for automotive systems and vehicular networks: Benefits and challenges. - Eduardo dos Santos; Dominik Schoop; Andrew Simpson 001 (VNC, 2016)

EnCIRCLE: Encryption-based access control for information-centric connected vehicles. - Dennis Grewe; K. P. Pavithra Rao; Sebastian Schildt; Marco Wagner; Dominik Schoop; Hannes Frey (NOF, 2017)

A Formal Model to Facilitate Security Testing in Modern Automotive Systems. - Eduardo dos Santos; Andrew Simpson 001; Dominik Schoop (IMPEX/FM&MDD, 2017)

Towards Efficient Cloud Data Processing: A Comprehensive Guide to CKKS Parameter Selection. - Modjtaba Gharibyar; Clemens Krüger; Dominik Schoop (ICISSP (2), 2025)