A Theory of Reliable Hardware

Projektinformationen

ToRH

ID Finanzhilfevereinbarung: 716562

DOI

10.3030/716562

Projekt abgeschlossen

EK-Unterschriftsdatum 4 Mai 2017

Startdatum 1 August 2017

Enddatum 31 Juli 2022

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 472 000,00

EU-Beitrag

€ 1 472 000,00

Koordiniert durch

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Open Research Data Pilot (1)

Data Management Plan

Veröffentlichungen

Conference proceedings (10)

PALS: Plesiochronous and Locally Synchronous Systems

Autoren: Johannes Bund, Matthias Fugger, Christoph Lenzen, Moti Medina, Will Rosenbaum
Veröffentlicht in: 2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2020, Seite(n) 36-43, ISBN 978-1-7281-5495-4
Herausgeber: IEEE
DOI: 10.1109/async49171.2020.00013

On Specifications and Proofs of Timed Circuits

Autoren: Matthias Fuegger, Christoph Lenzen, Ulrich Schmid
Veröffentlicht in: Thomas Henzinger Festschrift - Conference celebrating his 60th birthday, 2023
Herausgeber: Springer

G-SINC: Global Synchronization Infrastructure for Network Clocks

Autoren: Marc Frei, Jonghoon Kwon, Seyedali Tabaeiaghdaei, Marc Wyss, Christoph Lenzen, Adrian Perrig
Veröffentlicht in: IEEE International Symposium on Reliable Distributed Systems (SRDS), 2022
Herausgeber: IEEE

On the complexity of hazard-free circuits

Autoren: Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah
Veröffentlicht in: Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing - STOC 2018, 2018, Seite(n) 878-889, ISBN 9781-450355599
Herausgeber: ACM Press
DOI: 10.1145/3188745.3188912

Optimal metastability-containing sorting networks

Autoren: Johannes Bund, Christoph Lenzen, Moti Medina
Veröffentlicht in: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018, Seite(n) 521-526, ISBN 978-3-9819263-0-9
Herausgeber: IEEE
DOI: 10.23919/DATE.2018.8342063

Self-Stabilising Byzantine Clock Synchronisation is Almost as Easy as Consensus

Autoren: Christoph Lenzen and Joel Rybicki
Veröffentlicht in: 31st International Symposium on Distributed Computing (DISC 2017), 2018, Seite(n) 32:1--32:15, ISBN 978-3-95977-053-8
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.DISC.2017.32

Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance

Autoren: Matthias Fuegger, Attila Kinali, Christoph Lenzen, Ben Wiederhake
Veröffentlicht in: 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2018, Seite(n) 68-77, ISBN 978-1-5386-5883-3
Herausgeber: IEEE
DOI: 10.1109/async.2018.00025

Small Hazard-free Transducers

Autoren: Johannes Bund, Christoph Lenzen, Moti Medina
Veröffentlicht in: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2018, Seite(n) 32:1--32:24, ISBN 978-3-95977-217-4
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.32

Fault Tolerant Gradient Clock Synchronization

Autoren: Johannes Bund, Christoph Lenzen, Will Rosenbaum
Veröffentlicht in: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing - PODC '19, 2019, Seite(n) 357-365, ISBN 9781-450362177
Herausgeber: ACM Press
DOI: 10.1145/3293611.3331637

Optimal Clock Synchronization with Signatures

Autoren: Christoph Lenzen, Julian Loss
Veröffentlicht in: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing, 2022
Herausgeber: ACM
DOI: 10.1145/3519270.3538444

Peer reviewed articles (6)

Synchronizer-Free Digital Link Controller

Autoren: Johannes Bund, Matthias Fugger, Christoph Lenzen, Moti Medina
Veröffentlicht in: IEEE Transactions on Circuits and Systems I: Regular Papers, Ausgabe 67/10, 2020, Seite(n) 3562-3573, ISSN 1549-8328
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcsi.2020.2989552

Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance

Autoren: Matthias Függer, Attila Kinali, Christoph Lenzen, Ben Wiederhake
Veröffentlicht in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Ausgabe Volume: 41, Ausgabe: 8, 2021, Seite(n) 2518 - 2531, ISSN 1937-4151
Herausgeber: IEEE
DOI: 10.1109/tcad.2021.3097599

Metastability-Containing Circuits

Autoren: Stephan Friedrichs, Matthias Fugger, Christoph Lenzen
Veröffentlicht in: IEEE Transactions on Computers, 2018, Seite(n) 1-1, ISSN 0018-9340
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TC.2018.2808185

Self-Stabilising Byzantine Clock Synchronisation Is Almost as Easy as Consensus

Autoren: Christoph Lenzen, Joel Rybicki
Veröffentlicht in: Journal of the ACM, Ausgabe 66/5, 2019, Seite(n) 1-56, ISSN 0004-5411
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3339471

On the Complexity of Hazard-free Circuits

Autoren: Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah
Veröffentlicht in: Journal of the ACM, Ausgabe 66/4, 2019, Seite(n) 1-20, ISSN 0004-5411
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3320123

Optimal Metastability-Containing Sorting via Parallel Prefix Computation

Autoren: Johannes Bund, Christoph Lenzen, Moti Medina
Veröffentlicht in: IEEE Transactions on Computers, Ausgabe 69/2, 2020, Seite(n) 198-211, ISSN 0018-9340
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2019.2939818