Emanuel Regnath
Titel
Citeras av
Citeras av
År
SmaCoNat: Smart contracts in natural language
E Regnath, S Steinhorst
2018 Forum on Specification & Design Languages (FDL), 5-16, 2018
132018
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
102015
LeapChain: Efficient Blockchain Verification for Embedded IoT
E Regnath, S Steinhorst
Proceedings of the International Conference on Computer-Aided Design, 74, 2018
72018
Development and verification of a flight stack for a high-altitude glider in Ada/SPARK 2014
M Becker, E Regnath, S Chakraborty
International Conference on Computer Safety, Reliability, and Security, 105-116, 2017
22017
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
12020
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
12019
Practical and Scalable Access Control Mechanism for the Internet of Things.
C Gritti, E Regnath, S Steinhorst
IACR Cryptol. ePrint Arch. 2021, 140, 2021
2021
AMSA: Adaptive Merkle Signature Architecture
E Regnath, S Steinhorst
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2020
2020
Secure Decentralization of IoT Architectures via Blockchain
E Regnath
2019
Blockchain in Cyber-Physical Systems
E Regnath
2019
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, 0
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, 0
Human-based Consensus for Trust Installation in Ontologies
C Summerer, E Regnath, H Ehm, S Steinhorst
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–13