27 citations · 31 across the 7 of their papers we have counts for
7 papers
It's not a lie if you don't get caught: simplifying reconfiguration in SMR through dirty logs
Allen Clement, Natacha Crooks, Neil Giridharan +1
Production state-machine replication (SMR) implementations are complex, multi-layered architectures comprising data dissemination, ordering, execution, and reconfiguration componen…
TEE-BFT: Pricing the Security of Data Center Execution Assurance
Alex Shamis, Matt Stephenson, Linfeng Zhou
Blockchains face inherent limitations when communicating outside their own ecosystem, largely due to the Byzantine Fault Tolerant (BFT) 3f+1 security model. Trusted Execution Envir…
Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine Model Agreement
Alex Shamis, Peter Pietzuch, Antoine Delignat-Lavaud +2
Marketplaces for machine learning (ML) models are emerging as a way for organizations to monetize models. They allow model owners to retain control over hosted models by using clou…
CTR: Checkpoint, Transfer, and Restore for Secure Enclaves
Yoshimichi Nakatsuka, Ercan Ozturk, Alex Shamis +2
Hardware-based Trusted Execution Environments (TEEs) are becoming increasingly prevalent in cloud computing, forming the basis for confidential computing. However, the security goa…
Fast General Distributed Transactions with Opacity using Global Time
Alex Shamis, Matthew Renzelmann, Stanko Novakovic +6
Transactions can simplify distributed applications by hiding data distribution, concurrency, and failures from the application developer. Ideally the developer would see the abstra…
A1: A Distributed In-Memory Graph Database
Chiranjeeb Buragohain, Knut Magne Risvik, Paul Brett +11
A1 is an in-memory distributed database used by the Bing search engine to support complex queries over structured data. The key enablers for A1 are availability of cheap DRAM and h…