92 citations · 220 across the 35 of their papers we have counts for
3 papers · 1 filter
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…
G-SINC: Global Synchronization Infrastructure for Network Clocks
Marc Frei, Jonghoon Kwon, Seyedali Tabaeiaghdaei +3
Many critical computing applications rely on secure and dependable time which is reliably synchronized across large distributed systems. Today's time synchronization architectures…
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…