Smart2: Smart Charging for Smart Phones. - Alma Pröbstl; Philipp H. Kindt; Emanuel Regnath; Samarjit Chakraborty (RTCSA, 2015)

Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014. - Martin Becker 001; Emanuel Regnath; Samarjit Chakraborty (SAFECOMP, 2017)

SmaCoNat: Smart Contracts in Natural Language. - Emanuel Regnath; Sebastian Steinhorst (FDL, 2018)

LeapChain: efficient blockchain verification for embedded IoT. - Emanuel Regnath; Sebastian Steinhorst (ICCAD, 2018)

CUBA: Chained Unanimous Byzantine Agreement for Decentralized Platoon Management. - Emanuel Regnath; Sebastian Steinhorst (DATE, 2019)

COLAW: Cooperative Location Proof Architecture for VANETs based on Witnessing. - Philippos Barabas; Emanuel Regnath; Sebastian Steinhorst (COINS, 2020)

Blockchain, what time is it? Trustless Datetime Synchronization for IoT. - Emanuel Regnath; Nitin Shivaraman; Shanker Shreejith; Arvind Easwaran; Sebastian Steinhorst (COINS, 2020)

AMSA: Adaptive Merkle Signature Architecture. - Emanuel Regnath; Sebastian Steinhorst (DATE, 2020)

No-Code Shadow Things Deployment for the IoT. - Ege Korkan; Emanuel Regnath; Sebastian Käbisch; Sebastian Steinhorst (WF-IoT, 2020)

CISCAV: Consensus-based Intersection Scheduling for Connected Autonomous Vehicles. - Emanuel Regnath; Markus Birkner; Sebastian Steinhorst (COINS, 2021)

SPPS: Secure Policy-based Publish/Subscribe System for V2C Communication. - Mohammad Hamad; Emanuel Regnath; Jan Lauinger; Vassilis Prevelakis; Sebastian Steinhorst (DATE, 2021)

A-PoA: Anonymous Proof of Authorization for Decentralized Identity Management. - Jan Lauinger; Jens Ernstberger; Emanuel Regnath; Mohammad Hamad; Sebastian Steinhorst (IEEE ICBC, 2021)

Human-based Consensus for Trust Installation in Ontologies. - Christoph Summerer; Emanuel Regnath; Hans Ehm; Sebastian Steinhorst (IEEE ICBC, 2021)

Practical and Scalable Access Control Mechanism for the Internet of Things. - Clémentine Gritti; Emanuel Regnath; Sebastian Steinhorst (IACR Cryptol. ePrint Arch., 2021)

Secure Decentralization of Cyber-Physical Systems for an Internet of Things without Clouds. - Emanuel Regnath (2022)

Trusted Single-Source Sensors using SNARKs. - Saad Bin Shams; Emanuel Regnath; Andreas Bogner; Sebastian Steinhorst (COINS, 2023)

From Virtual Worlds to Real-World Impact: An Industrial Metaverse Survey. - Michael Prummer; Emanuel Regnath; Saurabh Singh; Harald Kosch (FICC (1), 2024)

Tokenizing Industrial Assets: Multi-File Binding using an Average Perceptual Hash. - Michael Prummer; Emanuel Regnath; Saurabh Singh; Harald Kosch (IECON, 2024)

PTPsec: Securing the Precision Time Protocol Against Time Delay Attacks Using Cyclic Path Asymmetry Analysis. - Andreas Finkenzeller; Oliver Butowski; Emanuel Regnath; Mohammad Hamad; Sebastian Steinhorst (INFOCOM, 2024)

MATRaCAE: Time-Based Revocable Access Control in the IoT. - Clémentine Gritti; Emanuel Regnath; Sebastian Steinhorst (SECRYPT, 2024)

Onion-Hash: A Compact and Robust 3D Perceptual Hash for Asset Authentication. - Michael Prummer; Emanuel Regnath; Harald Kosch (Comput. Aided Des., 2024)

Industrial Metaverse for Smart Manufacturing: Ecosystem Architecture and Applications. - Michael Prummer; Emanuel Regnath; Harald Kosch (FICC (1), 2025)

Securing the Precision Time Protocol with SDN-enabled Cyclic Path Asymmetry Analysis. - Andreas Finkenzeller; Arne Fucks; Emanuel Regnath; Mohammad Hamad; Sebastian Steinhorst (ACM Trans. Cyber Phys. Syst., 2025)