Invited Talks and Keynotes
Privacy-Preserving Oracles with DECO.
[SmartCon22]
[đ„]
ââ đŻ Imagine that users can bring claims about themselves into smart contracts with complete privacy: âI am a personâ (but not private information about me); âI live in the USâ (but not my address); âmy combined bank accounts balance is above a thresholdâ (but not my balances); and more.
ââ đ€ In this presentation at SmartCon 2022, we explain how DECO enables the unlocking of user information from current web 2.0 servers into Web 3.0; we describe the application of academic research to allow smart contracts to serve even more powerful use cases in a truly privacy-preserving manner; and we give a glimpse into real-world use cases.
Maximal Extractable Value (MEV) Protection on a DAG.
[Science and Engineering of Consensus 2022] đ„
Many cryptocurrency platforms are vulnerable to Maximal Extractable Value (MEV) attacks, where a malicious consensus leader can inject transactions or change the order of user transactions to maximize its profit. This joint work with Pawel Szalachowski introduces Fino, an efficient method to implement an approach known as âBlind Order-Fairnessâ, which enables certain MEV protection to services that subscribe to it.
Connecting Blockchains and the World.
[UC Berkeley RISE/Sky seminar, summer 2022, invited speaker]
[Imperial College London LSDS seminar, summer 2022, invited speaker]
[ETH and EPFL, summer 2022]
ââ What would it take for blockchains to enable people and businesses everywhere better, trusted and innovative financial foundations? In the first part of the presentation, I briefly recall the Diem story, June 2018-January 2022. I joined the Diem project (it was named Libra back then) in 2019 as CTO and stayed until its closing. I explain the stablecoin structure Diem built over a purpose-built blockchain. In the second part, I switch gears and talk about my current role as chief research officer at Chainlink Labs. Chainlink enables smart contracts to interact with the real world and to reduce trust in centralized intermediaries. I provide a glimpse into Chainlink Labs technology and a research outlook.
Tech Transfer Stories and Takeaways.
[IEEE TCDP Outstanding Technical Achievement Award keynote at ICDCS 2021]
[Cornell CS colloqium 2021 invited speaker]
[DISC 2021 keynote] [đ„]
ââ In this talk, I share impressions from several industrial research project experiences that reached production and became part of successful products. I will go through four stories of how these systems transpired and their journey to impact. All of the stories are in the distributed computing arena, and more specifically, they revolve around the state-machine-replication paradigm. Yet, I hope that the take-aways from the experience of building foundations for these systems may be of interest and value to everyone, no matter the discipline.
Invited presentations about the Libra technology.
[UC Davis ExpoLab 2020] [đ„]
[CMU ECE 2020]
[ACM AFTâ20 keynote]
[UZH Blockchain Center Summer School 2020, invited speaker]
[DSNâ20 keynote]
[TPBCâ20 invited speaker]Â [đ„]
[FABâ20 invited speaker]
[ITA 2020 invited speaker]Â
Flexible BFT and New Approaches in Byzantine Fault Tolerance.
[Chicago booth Cryptocurrencies and Blockchains Conference, 2019, invited speaker]
[Richard M. Karp Distinguished Lecture 2019]
[CES 2019, invited speaker]
[BC â19, invited speaker]
[Tokenomics 2019, keynote]
[she256 conference 2019, invited speaker] , [đ„]
ââ In this presentation, I introduce the Flexible BFT approach, a joint work with Kartik Nayak and Ling Ren. Byzantine Fault Tolerant (BFT) protocols designed for building replicated services collapse if deployed under settings that differ from the fault model they are designed for. Flexible BFT is a new approach for BFT consensus solution design revolving around two pillars. First, flexible BFT introduces a new fault model that allows resilience to higher corruption levels than possible in a pure Byzantine fault model. Second, Flexible BFT separates between the fault model and the solution, supporting in the same protocol synchronous and asynchronous beliefs, as well as varying resilience thresholds.
Blockchains in the Lens of BFT and HotStuff.
[Northeastern University Khoury Distinguished Lecture Series, 2019]
[Swiss Blockchain Winter School, Feb 2019, invited speaker]
[Gerald M. Masson Distinguished Lecture Series, Johns Hopkins University, 2018]
[Usenix ATC â18, keynote]
[BITCOIN â18, keynote]
[Tsinghua-Cornell Blockchain Winter School 2017, invited speaker]
ââ In this series of talks, I introduced classical BFT foundations for blockchains which were gradually developed. They followed several blogposts I made, including [Blockchain/BFT] [The BFT Lens: HotStuff and Casper] [The BFT Lens: Tendermint], a [BEATCS fall 2017 tutorial], and culminating with the introduction of the HotStuff algorithm [HotStuff-PODC2019].
- âBFT Reconfigurationâ, [Swiss Blockchain Summer School 2017, invited speaker]
- âBeyond Paxosâ, [BIRS workshop 11/2016, invited speaker] [đ„]
-
âRandomized Gossip Methods: From Grapevine to SWIMâ, [PWL Conference 2016, invited speaker] [đ„]
- 'âFoundations of Reliable Distributed Systems in Practiceââ, at [Women in Theory 2016, invited speaker]
- âCorfuDB: Transactional Data Services over a Shared Logâ, at [Princeton Distinguished Colloquium Series, fall 2014]*
- âWhat happens when distributed systems go elastic?â, at [SSS â12, keynote]
- âCORFU: Going Beyond Paxosâ, at [DISC 2011, keynote]
- âCORFU: Transactional Storage at the Speed of Flashâ, at [LADIS â2011, invited speaker]
- âBackend Consistency for Large-Scale Live Servicesâ, at [IPTPS â10]
- âDynamic Reconfiguration in Distributed Systemsâ, at [TADDS 2010]
- âVirtually Synchronous Paxosâ, at [A 30-Year Perspective on Replication, invited speaker]
- âFairPlay - A Secure Two-Party Computation Systemâ, at [SMP 2004, keynote]
- âLocality Aware network Solutionsâ, at [WDAS 2004, invited speaker]
- âFrom Byzantine Agreement to Practical Survivabilityâ, at [RCDS 2002, keynote]