2 citations · 5 across the 13 of their papers we have counts for
4 papers · 1 filter
Simple and Fast Signature-Free Blockchain Consensus
Giuliano Losa, Xuechao Wang, Zhuolun Xiang +1
Signature-free protocols avoid the cost of post-quantum signatures. We present two simple signature-free blockchain consensus protocols for eventual synchrony with optimal good-cas…
Show Me The Money: An Exercise in Proof-Driven Software Understanding
Joseph Tafese, Karthik Nukala, Hassen Saïdi +3
We present a case study on proof-driven software understanding of mature, security-critical infrastructure. While formal methods are traditionally applied during the design phase,…
Simple-IT: Practical Low-Latency Signature-Free BFT Consensus
Qianyu Yu, Juan Villacis, Giuliano Losa +2
Recent advances in quantum computing pose a looming threat to most current Byzantine fault-tolerant (BFT) consensus protocols, which rely on quantum-vulnerable public-key signature…
Monotone Erasure Codes
Vivien Bammert, Annalisa Cimatti, Orestis Alpos +2
Erasure codes are a critical component in reliable storage systems today, and many blockchain systems use consensus protocols that involve erasure codes to reduce their communicati…