14 citations · 16 across the 7 of their papers we have counts for
7 papers
Ambulance: saving BFT through racing
Neil Giridharan, Shubham Mishra, Lorenzo Alvisi +5
Today's practical Byzantine Fault Tolerant (BFT) state machine replication deployments are vulnerable to slowdowns. The main culprit is timeouts. Aggressive timeouts spuriously tri…
OptiLog: Assigning Roles in Byzantine Consensus
Hanish Gogada, Christian Berger, Leander Jehl +2
Byzantine Fault-Tolerant (BFT) protocols play an important role in blockchains. As the deployment of such systems extends to wide-area networks, the scalability of BFT protocols be…
Iniva: Inclusive and Incentive-compatible Vote Aggregation
Arian Baloochestani, Hanish Gogada, Leander Jehl +1
Many blockchain platforms use committee-based consensus for scalability, finality, and security. In this consensus scheme, a committee decides which blocks get appended to the chai…
SNIPS: Succinct Proof of Storage for Efficient Data Synchronization in Decentralized Storage Systems
Racin Nygaard, Hein Meling
Data synchronization in decentralized storage systems is essential to guarantee sufficient redundancy to prevent data loss. We present SNIPS, the first succinct proof of storage al…
A Tree-based Construction for Verifiable Diplomas with Issuer Transparency
Rodrigo Q. Saramago, Leander Jehl, Hein Meling +1
Still to this day, academic credentials are primarily paper-based, and the process to verify the authenticity of such documents is costly, time-consuming, and prone to human error…
[Invited talk] Building a Disaster-resilient Storage Layer for Next Generation Networks: The Role of Redundancy
Vero Estrada-Galinanes, Racin Nygaard, Viktor Tron +3
Blockchain is the driving force behind a myriad of decentralized applications (dapps) that promise to transform the Internet. The next generation Internet, or web3, introduces a "u…
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems
Morten Mossige, Arnaud Gotlieb, Helge Spieker +2
Testing cyber-physical systems involves the execution of test cases on target-machines equipped with the latest release of a software control system. When testing industrial robots…