92 citations · 220 across the 35 of their papers we have counts for
Showing 2022 · cs.DCShow all
2 papers · 2 filters
cs.DC2022
On Specifications and Proofs of Timed Circuits
Matthias Fuegger, Christoph Lenzen, Ulrich Schmid
Given a discrete-state continuous-time reactive system, like a digital circuit, the classical approach is to first model it as a state transition system and then prove its properti…
cs.DC2022
Optimal Clock Synchronization with Signatures
Christoph Lenzen, Julian Loss
Cryptographic signatures can be used to increase the resilience of distributed systems against adversarial attacks, by increasing the number of faulty parties that can be tolerated…