If you would like to receive emails with talk announcements and Zoom link, please sign up for talk announcements through our mailing list. You may also check out our talk calendar (Google Calendar, iCal).
The Zoom link for all of the presentations is the same. Please try to join ~5 minutes before the start of the talk with your audio muted. Thank you!
NOTE: Attendees and speakers will act respectfully toward others in attendance, in accordance with the Protocol Labs Research Code of Conduct. Anyone who behaves disrespectfully, abusively, or otherwise inappropriately will be removed from the call and banned from future research seminars. If you have any questions about the code of conduct, please email research@protocol.ai.
[January 24, 2023]: Cryptography with Weights: MPC, Encryption, and Signatures, Mingyuan Wang, 17:00 UTC
[February 7, 2023]: Miners' Reward Elasticity and Stability of Competing Proof-of-Work Cryptocurrencies, Shunya Noda, 16:00 UTC
[Awaiting Reschedule]: The Current State and the Future of Longevity Research, Maximilian Unfried, TBD
December 13, 2022: Advances in Human Cryopreservation - Science, Ethics, and Communication, Emil Kendziorra, 17:00 UTC
November 7, 2022: Algorithm-Substitution Attacks on Cryptographic Puzzles, Pratyush Ranjan Tiwari, 16:00 UTC
October 3, 2022: Impact Markets for Public Good Medicines, Savva Kerdemelidis, 16:00 UTC
September 13, 2022: PoSAT: Proof-of-Work Availability and Unpredictability, Without the Work, Soubhik Deb, 16:00 UTC
September 6, 2022: Timelock Encryption based on drand, Yolan Romailler, 15:00 UTC
August 30, 2022: Blockchain-based IoT systems architectures: Practical implementations in agriculture, Dr. Miguel Pincheira Caro
August 16, 2022: The Nature and Nurturing of Research: A Modern Synthesis, Dr. Jeff Tsao
August 9, 2022: Design of a Trustless Software Marketplace, John Burnham
July 14, 2022: Accelerating Scientific Discovery by Lowering Barriers to User-Generated Synthesis of Scientific Literature, Dr. Joel Chan
June 30, 2022: Random Number Generation and Extraction, Dr. Yevgeniy Dodis
June 28, 2022: HECO: Automatic Code Optimizations for Efficient Fully Homomorphic Encryption, Alexander Viand
June 21, 2022: Introduction into Memex - A tool to collaboratively curate, annotate and discuss websites, PDFs and YouTube videos, Oliver Sauter
June 14, 2022: State machine replication scalability made simple, Chrysa Stathakopoulou
June 9, 2022: Back to the Future: Welcome to the RINAissance (part 2), John Day
May 24, 2022: Influencing NFT Pricing on Secondary Markets: A case study of Vpunks, Trent Davis
May 17, 2022: How in the Hell do you lose a layer!?(part 1), John Day
May 10, 2022: Mandala: a high-level data management language implemented in Python, Aleksandar Makelov
May 3, 2022: Social Computing Systems to Deepen Public Contributions to Science, Vineet Pandey
April 28, 2022: Eliminating Sandwich Attacks with the Help of Game Theory, Lioba Heimbach
April 21, 2022: BlockSTM: Scaling Blockchain Execution by Turning Ordering Curse to a Performance Blessing, Rati Gelashvili & Alexander Spiegelman
April 19, 2022: Minotaur: Multi-Resource Blockchain Consensus, Xuechao Wang
March 22, 2022: CryptoMaze: Privacy-Preserving Splitting of Off-Chain Payments, Subhra Mazumdar
March 15, 2022: Securing Proof-of-Stake Nakamoto Consensus Under Bandwidth Constraint, Joachim Neu & Srivatsan Sridhar
February 22, 2022: Gage MPC: Bypassing Residual Function Leakage for Non-Interactive MPC, Ghada Almashaqbeh
February 8, 2022: Count Me In! Extendability for Threshold Ring Signatures, Elena Pagnin
February 3, 2022: Filecoin Hierarchical Consensus Specification, Alfonso de la Rocha
February 1, 2022: Bringing Secure Outsourced Deep Learning one Step Closer to Practicality, Siddharth Garg
January 27, 2022: Nova: Recursive Zero-Knowledge Arguments from Folding Schemes, Srinath Setty
January 25, 2022: VerLoc: Verifiable Localization in Decentralized Systems, Katharina Kohls
January 18, 2022: Fast-HotStuff: A Fast and Robust BFT Protocol for Blockchains, Mohammad Jalalzai
December 9, 2021: Cryptosat - Secure Computing in Space using CubeSats, Yan Michalevsky & Yonatan Winetraub
October 12, 2021: Cairo - a Turing-complete STARK-friendly CPU architecture, Shahar Papini
October 5, 2021: RandPiper - Reconfiguration-Friendly Random Beacons with Quadratic Communication, Aniket Kate
September 30, 2021: Differential Privacy in Constant Function Market Makers, Tarun Chitra
September 28, 2021: MyOPE: Malicious securitY for Oblivious Polynomial Evaluation, Paola de Perthuis
September 21, 2021: A Survey of Rational Proofs, Rosario Gennaro
September 14, 2021: Blitz: Secure Multi-Hop Payments Without Two-Phase Commits, Pedro Moreno-Sánchez
September 7, 2021: Private Attacks in Longest Chain Proof-of-stake Protocols with Single Secret Leader Elections, Sarah Azouvi
August 31, 2021: Efficient and Universally Composable Single Secret Leader Election from Pairings, Emanuele Giunta
August 24, 2021: Balancing Privacy and Accountability in Blockchain Identity Management, Hamidreza Khoshakhlagh
August 17, 2021: YOSO: You Only Speak Once, Sophia Yakoubov
August 10, 2021: GoAT: File Geolocation via Anchor Timestamping, Deepak Maram
June 29, 2021: Decentralized Exchanges, Alfred Lehar
June 22, 2021: Haschached Reputation, Majid Khabbazian
June 17, 2021: Incentivizing the next generation of privacy infrastructure, Ania Piotrowska
June 8, 2021: Offload Annotations: Bringing Heterogeneous Computing to Existing Libraries and Workloads, Gina Yuan
May 25, 2021: The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts, Clara Schneidewind
May 20, 2021: Future privacy: A real right to privacy for artificial intelligence, Sakoyo Blodgett-Ford
May 11, 2021: Post-Quantum Succinct Arguments, Nick Spooner
May 4, 2021: SoK: Tools for game theoretic models of security for cryptocurrencies, Sarah Azouvi
April 27, 2021: Automating reasoning about the future: Language models as research tools, Andreas Stuhlmüller
April 20, 2021: Open Source Game Theory: What AI and Decentralized Technologies Need to Learn from Each Other, Andrew Critch
April 13, 2021: Threat Models and Approaches for AI Alignment, Rohin Shah
April 6, 2021: Almost an Android: Developments in Brain-Computer Interface Technology, Christopher James
March 25, 2021: Tournesol: Collaborative Content Recommendation, Lê Nguyên Hoang
March 16, 2021: How to Extract Useful Randomness from Unreliable Sources, Luisa Siniscalchi
March 11, 2021: Rinocchio: SNARKs for Ring Arithmetic, Eduardo Soria Vazquez
March 9, 2021: Zero-Knowledge Succinct Arguments with a Linear-Time Prover, Jonathan Bootle
February 23, 2021: Beyond Swapping Bits, Alfonso de la Rocha
February 16: Towards Open and Sustainable Infrastructures for Interdisciplinary Synthesis, Joel Chan
February 9: Winkle: a decentralized checkpointing for proof-of-stake systems, Sarah Azouvi
January 26: Verifiable computation over encrypted data, Anca Nitulescu
January 19: The Underlay: a distributed public knowledge graph, Joel Gustafson
January 12: The Inter-Cranial Abstraction System: A framework for content-addressed functional programming, Alan Ransil
November 17: Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage, Dimitris Kolonelos
November 12: Routing attacks on cryptocurrencies, Maria Apostolaki
November 3: Topology management and gossip: the way to scale, João Leitão
October 27: Hybrid ICN, Luca Muscariello
October 20: Non-Malleable Time-Lock Puzzles, Naomi Ephraim
October 6: Mapping the Interplanetary Filesystem -- A Network Layer Measurement Study of IPFS, Sebastian Henningsen
September 28: FastPay: High-Performance Byzantine Fault Tolerant Settlement, Alberto Sonnino
September 22: Protocol Stack for the Federation of DLT Networks, Alfonso de la Rocha
September 14: Measuring the performance of Private Cloud WANs, Vasilis Giotsas
September 8: Challenges in the Decentralised Web: The Mastodon Case, Gareth Tyson
August 27: Optimal P2P design for Blockchains, Shaileshh Bojja Venkatakrishnan
August 11: Unified security analysis of permissionless systems, Sreeram Kannan
August 6: The role of types in refactoring the internet and Structural type theory of higher-order languages, Greg Meredith and Christian Williams
July 30: Modular Politics: Toward a Governance Layer for Online Communities
July 28: Splitting Payments Locally While Routing Interdimensionally, Stefanie Roos
July 23: PulsarCast: Scalable and reliable pub-sub over P2P networks, João Antunes
July 9: Polynomial Protocols, Ariel Gabizon
July 2: ALBATROSS: publicly AttestabLe BATched Randomness based On Secret Sharing, Bernardo David
June 25: TARDIS + CRAFT: Better Randomness Beacons and MPC with Financial Penalties from Time-Lock Puzzles, Bernardo David
June 15: The Evolution of Internet Architecture, Barath Raghavan
April 20: SybilLimit: A Secure Decentralized Reputation System, Petar Maymounkov
April 16: Chronofold - a data structure for versioned text, Victor Grishchenko
March 25: Decentralized Energy Grid: A Protocol Labs Independent Research project, Michael Hammersley (with Alan Ransil)
March 4: Drand: Distributed, bias resistant, unpredictable and publicly verifiable randomness, Nicolas Gailly
December 4: LegoSNARK Modular Design and Composition of Succinct Zero Knowledge Proofs, Dario Fiore
October 19: Discrete Logarithms in Quasi polynomial Time in Finite Fields of Fixed Characteristic, Benjamin Wesolowski