A Theory of Reliable Hardware

Informacje na temat projektu

ToRH

Identyfikator umowy o grant: 716562

DOI

10.3030/716562

Projekt został zamknięty

Data podpisania przez KE 4 Maja 2017

Data rozpoczęcia 1 Sierpnia 2017

Data zakończenia 31 Lipca 2022

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 472 000,00

Wkład UE

€ 1 472 000,00

Koordynowany przez

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Open Research Data Pilot (1)

Data Management Plan

Publikacje

Conference proceedings (10)

PALS: Plesiochronous and Locally Synchronous Systems

Autorzy: Johannes Bund, Matthias Fugger, Christoph Lenzen, Moti Medina, Will Rosenbaum
Opublikowane w: 2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2020, Strona(/y) 36-43, ISBN 978-1-7281-5495-4
Wydawca: IEEE
DOI: 10.1109/async49171.2020.00013

On Specifications and Proofs of Timed Circuits

Autorzy: Matthias Fuegger, Christoph Lenzen, Ulrich Schmid
Opublikowane w: Thomas Henzinger Festschrift - Conference celebrating his 60th birthday, 2023
Wydawca: Springer

G-SINC: Global Synchronization Infrastructure for Network Clocks

Autorzy: Marc Frei, Jonghoon Kwon, Seyedali Tabaeiaghdaei, Marc Wyss, Christoph Lenzen, Adrian Perrig
Opublikowane w: IEEE International Symposium on Reliable Distributed Systems (SRDS), 2022
Wydawca: IEEE

On the complexity of hazard-free circuits

Autorzy: Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah
Opublikowane w: Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing - STOC 2018, 2018, Strona(/y) 878-889, ISBN 9781-450355599
Wydawca: ACM Press
DOI: 10.1145/3188745.3188912

Optimal metastability-containing sorting networks

Autorzy: Johannes Bund, Christoph Lenzen, Moti Medina
Opublikowane w: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018, Strona(/y) 521-526, ISBN 978-3-9819263-0-9
Wydawca: IEEE
DOI: 10.23919/DATE.2018.8342063

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

Autorzy: Christoph Lenzen and Joel Rybicki
Opublikowane w: 31st International Symposium on Distributed Computing (DISC 2017), 2018, Strona(/y) 32:1--32:15, ISBN 978-3-95977-053-8
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.DISC.2017.32

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

Autorzy: Matthias Fuegger, Attila Kinali, Christoph Lenzen, Ben Wiederhake
Opublikowane w: 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2018, Strona(/y) 68-77, ISBN 978-1-5386-5883-3
Wydawca: IEEE
DOI: 10.1109/async.2018.00025

Small Hazard-free Transducers

Autorzy: Johannes Bund, Christoph Lenzen, Moti Medina
Opublikowane w: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2018, Strona(/y) 32:1--32:24, ISBN 978-3-95977-217-4
Wydawca: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.32

Fault Tolerant Gradient Clock Synchronization

Autorzy: Johannes Bund, Christoph Lenzen, Will Rosenbaum
Opublikowane w: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing - PODC '19, 2019, Strona(/y) 357-365, ISBN 9781-450362177
Wydawca: ACM Press
DOI: 10.1145/3293611.3331637

Optimal Clock Synchronization with Signatures

Autorzy: Christoph Lenzen, Julian Loss
Opublikowane w: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing, 2022
Wydawca: ACM
DOI: 10.1145/3519270.3538444

Peer reviewed articles (6)

Synchronizer-Free Digital Link Controller

Autorzy: Johannes Bund, Matthias Fugger, Christoph Lenzen, Moti Medina
Opublikowane w: IEEE Transactions on Circuits and Systems I: Regular Papers, Numer 67/10, 2020, Strona(/y) 3562-3573, ISSN 1549-8328
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcsi.2020.2989552

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

Autorzy: Matthias Függer, Attila Kinali, Christoph Lenzen, Ben Wiederhake
Opublikowane w: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Numer Volume: 41, Numer: 8, 2021, Strona(/y) 2518 - 2531, ISSN 1937-4151
Wydawca: IEEE
DOI: 10.1109/tcad.2021.3097599

Metastability-Containing Circuits

Autorzy: Stephan Friedrichs, Matthias Fugger, Christoph Lenzen
Opublikowane w: IEEE Transactions on Computers, 2018, Strona(/y) 1-1, ISSN 0018-9340
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TC.2018.2808185

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

Autorzy: Christoph Lenzen, Joel Rybicki
Opublikowane w: Journal of the ACM, Numer 66/5, 2019, Strona(/y) 1-56, ISSN 0004-5411
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3339471

On the Complexity of Hazard-free Circuits

Autorzy: Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah
Opublikowane w: Journal of the ACM, Numer 66/4, 2019, Strona(/y) 1-20, ISSN 0004-5411
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3320123

Optimal Metastability-Containing Sorting via Parallel Prefix Computation

Autorzy: Johannes Bund, Christoph Lenzen, Moti Medina
Opublikowane w: IEEE Transactions on Computers, Numer 69/2, 2020, Strona(/y) 198-211, ISSN 0018-9340
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2019.2939818