BibTeX records: Emanuel Regnath

download as .bib file

@article{DBLP:journals/corr/abs-2401-10664,
  author       = {Andreas Finkenzeller and
                  Oliver Butowski and
                  Emanuel Regnath and
                  Mohammad Hamad and
                  Sebastian Steinhorst},
  title        = {PTPsec: Securing the Precision Time Protocol Against Time Delay Attacks
                  Using Cyclic Path Asymmetry Analysis},
  journal      = {CoRR},
  volume       = {abs/2401.10664},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.10664},
  doi          = {10.48550/ARXIV.2401.10664},
  eprinttype    = {arXiv},
  eprint       = {2401.10664},
  timestamp    = {Fri, 02 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-10664.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/ShamsRBS23,
  author       = {Saad Bin Shams and
                  Emanuel Regnath and
                  Andreas Bogner and
                  Sebastian Steinhorst},
  title        = {Trusted Single-Source Sensors using SNARKs},
  booktitle    = {{IEEE} International Conference on Omni-layer Intelligent Systems,
                  {COINS} 2023, Berlin, Germany, July 23-25, 2023},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/COINS57856.2023.10189292},
  doi          = {10.1109/COINS57856.2023.10189292},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coins/ShamsRBS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/RegnathP22,
  author       = {Emanuel Regnath},
  title        = {Secure Decentralization of Cyber-Physical Systems for an Internet
                  of Things without Clouds},
  school       = {Technical University of Munich, Germany},
  year         = {2022},
  url          = {https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20221208-1652601-1-4},
  urn          = {urn:nbn:de:bvb:91-diss-20221208-1652601-1-4},
  timestamp    = {Thu, 20 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/RegnathP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/RegnathBS21,
  author       = {Emanuel Regnath and
                  Markus Birkner and
                  Sebastian Steinhorst},
  title        = {{CISCAV:} Consensus-based Intersection Scheduling for Connected Autonomous
                  Vehicles},
  booktitle    = {2021 {IEEE} International Conference on Omni-Layer Intelligent Systems,
                  {COINS} 2021, Barcelona, Spain, August 23-25, 2021},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/COINS51742.2021.9524266},
  doi          = {10.1109/COINS51742.2021.9524266},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coins/RegnathBS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HamadRLPS21,
  author       = {Mohammad Hamad and
                  Emanuel Regnath and
                  Jan Lauinger and
                  Vassilis Prevelakis and
                  Sebastian Steinhorst},
  title        = {{SPPS:} Secure Policy-based Publish/Subscribe System for {V2C} Communication},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2021, Grenoble, France, February 1-5, 2021},
  pages        = {529--534},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.23919/DATE51398.2021.9474070},
  doi          = {10.23919/DATE51398.2021.9474070},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/HamadRLPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbc2/LauingerERHS21,
  author       = {Jan Lauinger and
                  Jens Ernstberger and
                  Emanuel Regnath and
                  Mohammad Hamad and
                  Sebastian Steinhorst},
  title        = {A-PoA: Anonymous Proof of Authorization for Decentralized Identity
                  Management},
  booktitle    = {{IEEE} International Conference on Blockchain and Cryptocurrency,
                  {ICBC} 2021, Sydney, Australia, May 3-6, 2021},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICBC51069.2021.9461082},
  doi          = {10.1109/ICBC51069.2021.9461082},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icbc2/LauingerERHS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbc2/SummererRES21,
  author       = {Christoph Summerer and
                  Emanuel Regnath and
                  Hans Ehm and
                  Sebastian Steinhorst},
  title        = {Human-based Consensus for Trust Installation in Ontologies},
  booktitle    = {{IEEE} International Conference on Blockchain and Cryptocurrency,
                  {ICBC} 2021, Sydney, Australia, May 3-6, 2021},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICBC51069.2021.9461140},
  doi          = {10.1109/ICBC51069.2021.9461140},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icbc2/SummererRES21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GrittiRS21,
  author       = {Cl{\'{e}}mentine Gritti and
                  Emanuel Regnath and
                  Sebastian Steinhorst},
  title        = {Practical and Scalable Access Control Mechanism for the Internet of
                  Things},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {140},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/140},
  timestamp    = {Tue, 02 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/GrittiRS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/BarabasRS20,
  author       = {Philippos Barabas and
                  Emanuel Regnath and
                  Sebastian Steinhorst},
  title        = {{COLAW:} Cooperative Location Proof Architecture for VANETs based
                  on Witnessing},
  booktitle    = {2020 International Conference on Omni-layer Intelligent Systems, {COINS}
                  2020, Barcelona, Spain, August 31 - September 2, 2020},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/COINS49042.2020.9191402},
  doi          = {10.1109/COINS49042.2020.9191402},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coins/BarabasRS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/RegnathSSES20,
  author       = {Emanuel Regnath and
                  Nitin Shivaraman and
                  Shanker Shreejith and
                  Arvind Easwaran and
                  Sebastian Steinhorst},
  title        = {Blockchain, what time is it? Trustless Datetime Synchronization for
                  IoT},
  booktitle    = {2020 International Conference on Omni-layer Intelligent Systems, {COINS}
                  2020, Barcelona, Spain, August 31 - September 2, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/COINS49042.2020.9191420},
  doi          = {10.1109/COINS49042.2020.9191420},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coins/RegnathSSES20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RegnathS20,
  author       = {Emanuel Regnath and
                  Sebastian Steinhorst},
  title        = {{AMSA:} Adaptive Merkle Signature Architecture},
  booktitle    = {2020 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2020, Grenoble, France, March 9-13, 2020},
  pages        = {1532--1537},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.23919/DATE48585.2020.9116517},
  doi          = {10.23919/DATE48585.2020.9116517},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/RegnathS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wf-iot/KorkanRKS20,
  author       = {Ege Korkan and
                  Emanuel Regnath and
                  Sebastian K{\"{a}}bisch and
                  Sebastian Steinhorst},
  title        = {No-Code Shadow Things Deployment for the IoT},
  booktitle    = {6th {IEEE} World Forum on Internet of Things, WF-IoT 2020, New Orleans,
                  LA, USA, June 2-16, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/WF-IoT48130.2020.9221368},
  doi          = {10.1109/WF-IOT48130.2020.9221368},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wf-iot/KorkanRKS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RegnathS19,
  author       = {Emanuel Regnath and
                  Sebastian Steinhorst},
  editor       = {J{\"{u}}rgen Teich and
                  Franco Fummi},
  title        = {{CUBA:} Chained Unanimous Byzantine Agreement for Decentralized Platoon
                  Management},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2019, Florence, Italy, March 25-29, 2019},
  pages        = {426--431},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/DATE.2019.8715047},
  doi          = {10.23919/DATE.2019.8715047},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/RegnathS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/RegnathS18,
  author       = {Emanuel Regnath and
                  Sebastian Steinhorst},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {SmaCoNat: Smart Contracts in Natural Language},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524068},
  doi          = {10.1109/FDL.2018.8524068},
  timestamp    = {Tue, 29 Nov 2022 08:40:57 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/RegnathS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/RegnathS18,
  author       = {Emanuel Regnath and
                  Sebastian Steinhorst},
  editor       = {Iris Bahar},
  title        = {LeapChain: efficient blockchain verification for embedded IoT},
  booktitle    = {Proceedings of the International Conference on Computer-Aided Design,
                  {ICCAD} 2018, San Diego, CA, USA, November 05-08, 2018},
  pages        = {74},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3240765.3240820},
  doi          = {10.1145/3240765.3240820},
  timestamp    = {Mon, 09 Aug 2021 14:54:01 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/RegnathS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BeckerRC17,
  author       = {Martin Becker and
                  Emanuel Regnath and
                  Samarjit Chakraborty},
  editor       = {Stefano Tonetta and
                  Erwin Schoitsch and
                  Friedemann Bitsch},
  title        = {Development and Verification of a Flight Stack for a High-Altitude
                  Glider in Ada/SPARK 2014},
  booktitle    = {Computer Safety, Reliability, and Security - 36th International Conference,
                  {SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10488},
  pages        = {105--116},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66266-4\_7},
  doi          = {10.1007/978-3-319-66266-4\_7},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BeckerRC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001RC17,
  author       = {Martin Becker and
                  Emanuel Regnath and
                  Samarjit Chakraborty},
  title        = {Development and Verification of a Flight Stack for a High-Altitude
                  Glider in Ada/SPARK 2014},
  journal      = {CoRR},
  volume       = {abs/1707.00945},
  year         = {2017},
  url          = {http://arxiv.org/abs/1707.00945},
  eprinttype    = {arXiv},
  eprint       = {1707.00945},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/0001RC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ProbstlKRC15,
  author       = {Alma Pr{\"{o}}bstl and
                  Philipp H. Kindt and
                  Emanuel Regnath and
                  Samarjit Chakraborty},
  title        = {Smart2: Smart Charging for Smart Phones},
  booktitle    = {21st {IEEE} International Conference on Embedded and Real-Time Computing
                  Systems and Applications, {RTCSA} 2015, Hong Kong, China, August 19-21,
                  2015},
  pages        = {41--50},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/RTCSA.2015.21},
  doi          = {10.1109/RTCSA.2015.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/ProbstlKRC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics