A Theory of Reliable Hardware

Informations projet

ToRH

N° de convention de subvention: 716562

DOI

10.3030/716562

Projet clôturé

Date de signature de la CE 4 Mai 2017

Date de début 1 Août 2017

Date de fin 31 Juillet 2022

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 472 000,00

Contribution de l’UE

€ 1 472 000,00

Coordonné par

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Open Research Data Pilot (1)

Data Management Plan

Publications

Conference proceedings (10)

PALS: Plesiochronous and Locally Synchronous Systems

Auteurs: Johannes Bund, Matthias Fugger, Christoph Lenzen, Moti Medina, Will Rosenbaum
Publié dans: 2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2020, Page(s) 36-43, ISBN 978-1-7281-5495-4
Éditeur: IEEE
DOI: 10.1109/async49171.2020.00013

On Specifications and Proofs of Timed Circuits

Auteurs: Matthias Fuegger, Christoph Lenzen, Ulrich Schmid
Publié dans: Thomas Henzinger Festschrift - Conference celebrating his 60th birthday, 2023
Éditeur: Springer

G-SINC: Global Synchronization Infrastructure for Network Clocks

Auteurs: Marc Frei, Jonghoon Kwon, Seyedali Tabaeiaghdaei, Marc Wyss, Christoph Lenzen, Adrian Perrig
Publié dans: IEEE International Symposium on Reliable Distributed Systems (SRDS), 2022
Éditeur: IEEE

On the complexity of hazard-free circuits

Auteurs: Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah
Publié dans: Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing - STOC 2018, 2018, Page(s) 878-889, ISBN 9781-450355599
Éditeur: ACM Press
DOI: 10.1145/3188745.3188912

Optimal metastability-containing sorting networks

Auteurs: Johannes Bund, Christoph Lenzen, Moti Medina
Publié dans: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018, Page(s) 521-526, ISBN 978-3-9819263-0-9
Éditeur: IEEE
DOI: 10.23919/DATE.2018.8342063

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

Auteurs: Christoph Lenzen and Joel Rybicki
Publié dans: 31st International Symposium on Distributed Computing (DISC 2017), 2018, Page(s) 32:1--32:15, ISBN 978-3-95977-053-8
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.DISC.2017.32

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

Auteurs: Matthias Fuegger, Attila Kinali, Christoph Lenzen, Ben Wiederhake
Publié dans: 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2018, Page(s) 68-77, ISBN 978-1-5386-5883-3
Éditeur: IEEE
DOI: 10.1109/async.2018.00025

Small Hazard-free Transducers

Auteurs: Johannes Bund, Christoph Lenzen, Moti Medina
Publié dans: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2018, Page(s) 32:1--32:24, ISBN 978-3-95977-217-4
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.32

Fault Tolerant Gradient Clock Synchronization

Auteurs: Johannes Bund, Christoph Lenzen, Will Rosenbaum
Publié dans: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing - PODC '19, 2019, Page(s) 357-365, ISBN 9781-450362177
Éditeur: ACM Press
DOI: 10.1145/3293611.3331637

Optimal Clock Synchronization with Signatures

Auteurs: Christoph Lenzen, Julian Loss
Publié dans: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing, 2022
Éditeur: ACM
DOI: 10.1145/3519270.3538444

Peer reviewed articles (6)

Synchronizer-Free Digital Link Controller

Auteurs: Johannes Bund, Matthias Fugger, Christoph Lenzen, Moti Medina
Publié dans: IEEE Transactions on Circuits and Systems I: Regular Papers, Numéro 67/10, 2020, Page(s) 3562-3573, ISSN 1549-8328
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcsi.2020.2989552

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

Auteurs: Matthias Függer, Attila Kinali, Christoph Lenzen, Ben Wiederhake
Publié dans: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Numéro Volume: 41, Numéro: 8, 2021, Page(s) 2518 - 2531, ISSN 1937-4151
Éditeur: IEEE
DOI: 10.1109/tcad.2021.3097599

Metastability-Containing Circuits

Auteurs: Stephan Friedrichs, Matthias Fugger, Christoph Lenzen
Publié dans: IEEE Transactions on Computers, 2018, Page(s) 1-1, ISSN 0018-9340
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TC.2018.2808185

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

Auteurs: Christoph Lenzen, Joel Rybicki
Publié dans: Journal of the ACM, Numéro 66/5, 2019, Page(s) 1-56, ISSN 0004-5411
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3339471

On the Complexity of Hazard-free Circuits

Auteurs: Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah
Publié dans: Journal of the ACM, Numéro 66/4, 2019, Page(s) 1-20, ISSN 0004-5411
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3320123

Optimal Metastability-Containing Sorting via Parallel Prefix Computation

Auteurs: Johannes Bund, Christoph Lenzen, Moti Medina
Publié dans: IEEE Transactions on Computers, Numéro 69/2, 2020, Page(s) 198-211, ISSN 0018-9340
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2019.2939818