Segui
Emanuel Regnath
Titolo
Citata da
Citata da
Anno
SmaCoNat: Smart contracts in natural language
E Regnath, S Steinhorst
2018 Forum on Specification & Design Languages (FDL), 5-16, 2018
552018
LeapChain: Efficient Blockchain Verification for Embedded IoT
E Regnath, S Steinhorst
Proceedings of the International Conference on Computer-Aided Design, 74, 2018
172018
Smart2: Smart charging for smart phones
A Pröbstl, P Kindt, E Regnath, S Chakraborty
2015 IEEE 21st International Conference on Embedded and Real-Time Computing …, 2015
152015
A-poa: Anonymous proof of authorization for decentralized identity management
J Lauinger, J Ernstberger, E Regnath, M Hamad, S Steinhorst
2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-9, 2021
132021
Blockchain, what time is it? Trustless datetime synchronization for IoT
E Regnath, N Shivaraman, S Shreejith, A Easwaran, S Steinhorst
2020 International Conference on Omni-layer Intelligent Systems (COINS), 1-6, 2020
92020
SPPS: Secure policy-based publish/subscribe system for V2C communication
M Hamad, E Regnath, J Lauinger, V Prevelakis, S Steinhorst
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 529-534, 2021
62021
No-Code Shadow Things Deployment for the IoT
E Korkan, E Regnath, S Kaebisch, S Steinhorst
2020 IEEE 6th World Forum on Internet of Things (WF-IoT), 1-6, 2020
62020
Cuba: Chained unanimous byzantine agreement for decentralized platoon management
E Regnath, S Steinhorst
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 426-431, 2019
62019
Development and verification of a flight stack for a high-altitude glider in Ada/SPARK 2014
M Becker, E Regnath, S Chakraborty
Computer Safety, Reliability, and Security: 36th International Conference …, 2017
62017
CISCAV: Consensus-based intersection scheduling for connected autonomous vehicles
E Regnath, M Birkner, S Steinhorst
2021 IEEE International Conference on Omni-Layer Intelligent Systems (COINS …, 2021
42021
From Virtual Worlds to Real-World Impact: An Industrial Metaverse Survey
M Prummer, E Regnath, S Singh, H Kosch
Future of Information and Communication Conference, 592-613, 2024
32024
AMSA: Adaptive Merkle Signature Architecture
E Regnath, S Steinhorst
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2020
32020
Onion-Hash: A Compact and Robust 3D Perceptual Hash for Asset Authentication
M Prummer, E Regnath, H Kosch
Computer-Aided Design, 103752, 2024
12024
Trusted Single-Source Sensors using SNARKs
SB Shams, E Regnath, A Bogner, S Steinhorst
2023 IEEE International Conference on Omni-layer Intelligent Systems (COINS …, 2023
12023
Human-based Consensus for Trust Installation in Ontologies
C Summerer, E Regnath, H Ehm, S Steinhorst
2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-3, 2021
12021
COLAW: Cooperative Location Proof Architecture for VANETs based on Witnessing
P Barabas, E Regnath, S Steinhorst
2020 International Conference on Omni-layer Intelligent Systems (COINS), 1-8, 2020
12020
MATRaCAE: Time-based Revocable Access Control in the IoT
C Gritti, E Regnath, S Steinhorst
21st International Conference on Security and Cryptography, 274-285, 2024
2024
PTPsec: Securing the Precision Time Protocol Against Time Delay Attacks Using Cyclic Path Asymmetry Analysis
A Finkenzeller, O Butowski, E Regnath, M Hamad, S Steinhorst
arXiv preprint arXiv:2401.10664, 2024
2024
Secure Decentralization of Cyber-Physical Systems for an Internet of Things without Clouds
E Regnath
Technische Universität München, 2022
2022
Practical and Scalable Access Control Mechanism for the Internet of Things using Time-bound Attribute-based Encryption
C Gritti, E Regnath, S Steinhorst
Cryptology ePrint Archive, 2021
2021
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20