Emanuel Regnath

Orcid: 0000-0002-0006-7761

According to our database1, Emanuel Regnath authored at least 17 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
PTPsec: Securing the Precision Time Protocol Against Time Delay Attacks Using Cyclic Path Asymmetry Analysis.
CoRR, 2024

2023
Trusted Single-Source Sensors using SNARKs.
Proceedings of the IEEE International Conference on Omni-layer Intelligent Systems, 2023

2022
Secure Decentralization of Cyber-Physical Systems for an Internet of Things without Clouds.
PhD thesis, 2022

2021
Practical and Scalable Access Control Mechanism for the Internet of Things.
IACR Cryptol. ePrint Arch., 2021

Human-based Consensus for Trust Installation in Ontologies.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

A-PoA: Anonymous Proof of Authorization for Decentralized Identity Management.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

SPPS: Secure Policy-based Publish/Subscribe System for V2C Communication.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

CISCAV: Consensus-based Intersection Scheduling for Connected Autonomous Vehicles.
Proceedings of the 2021 IEEE International Conference on Omni-Layer Intelligent Systems, 2021

2020
No-Code Shadow Things Deployment for the IoT.
Proceedings of the 6th IEEE World Forum on Internet of Things, 2020

AMSA: Adaptive Merkle Signature Architecture.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Blockchain, what time is it? Trustless Datetime Synchronization for IoT.
Proceedings of the 2020 International Conference on Omni-layer Intelligent Systems, 2020

COLAW: Cooperative Location Proof Architecture for VANETs based on Witnessing.
Proceedings of the 2020 International Conference on Omni-layer Intelligent Systems, 2020

2019
CUBA: Chained Unanimous Byzantine Agreement for Decentralized Platoon Management.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018
LeapChain: efficient blockchain verification for embedded IoT.
Proceedings of the International Conference on Computer-Aided Design, 2018

SmaCoNat: Smart Contracts in Natural Language.
Proceedings of the 2018 Forum on Specification & Design Languages, 2018

2017
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014.
Proceedings of the Computer Safety, Reliability, and Security, 2017

2015
Smart2: Smart Charging for Smart Phones.
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015


  Loading...