Designing Verifiable Health Solutions for Global Pandemic
Exploration of verifiable health solutions for pandemic response, addressing public safety and privacy concerns through attestation, test results, and vaccination history tracking.
Protecting Accounts from Credential Stuffing with Password Breach Alerting
Explore a privacy-preserving protocol for detecting exposed credentials, its implementation as a cloud service, and its effectiveness in prompting users to update compromised passwords.
Systems That Run Forever - Self-Heal and Scale
Explore architectural principles for building scalable, fault-tolerant systems using isolated parallel components, error detection, and live code upgrades, with insights from Erlang's design.
SRNIC - A Scalable Architecture for RDMA NICs
Scalable RDMA NIC architecture improving connection and network scalability while maintaining high performance and low CPU overhead, outperforming commercial RNICs in large-scale data centers.
Interaction Protocols - It's All About Good Manners
Exploring protocols in distributed systems: their history, application, and impact on performance, resilience, and security. Insights on effective communication and coordination in concurrent environments.
Silph - A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols
Explore a scalable framework for generating hybrid MPC protocols, enhancing accuracy and efficiency in secure multi-party computation.
Sound Verification of Security Protocols - From Design to Interoperable Implementations
Explore a comprehensive approach to verifying security protocols, from initial design to practical implementation, ensuring robustness and interoperability in real-world applications.
A Formal Treatment of Accountable Proxying over TLS
Formal analysis of accountable proxying over TLS, revealing vulnerabilities in mcTLS and proposing a secure alternative with provable security and practical implementation.
FuturesMEX - Secure, Distributed Futures Market Exchange
Explore a secure, distributed futures market exchange protocol with key operations, security properties, and economic viability considerations for low-frequency trading environments.
Protocol State Machines and Session Languages
Explores protocol state machines and session languages in security, discussing specification, implementation, and testing challenges. Proposes automated inference of formal specifications to improve security.
Security Analysis of the MLS Key Derivation
Explore the security aspects of MLS key derivation, focusing on analysis techniques and potential vulnerabilities in this cryptographic process.
How to Use Bitcoin to Design Fair Protocols
Learn to design fair protocols using Bitcoin, exploring concepts like fair exchange, claim-or-refund functionality, and secure computation with penalties in this cryptography-focused talk.
Constant Round MPC with Fairness and Guarantee of Output Delivery
Explore advanced cryptographic protocols for secure multi-party computation, focusing on fairness and guaranteed output delivery in constant rounds.
Efficient Public Key Distance Bounding Protocol
Learn about an efficient public key distance bounding protocol, its implementation, and security implications in cryptography and network communications.
Computational Integrity with a Public Random String from Quasi Linear PCPs
Explore computational integrity using quasi-linear PCPs and public randomness. Learn about protocol design, low-degree testing, and cryptographic assumptions in this advanced cryptography talk.
The Minimum Number of Cards in Practical Card-Based Protocols
Explores the optimization of card-based cryptographic protocols, focusing on minimizing the number of cards required for secure and practical implementations.
Out of Band Authentication in Group Messaging - Computational, Statistical, Optimal
Explore secure group messaging protocols, focusing on out-of-band authentication methods to prevent man-in-the-middle attacks and enhance end-to-end encryption in multi-user settings.
On the Existence of 3-Round Zero-Knowledge Protocols
Explores the existence and properties of 3-round zero-knowledge protocols in cryptography, discussing theoretical implications and potential applications in secure communication systems.
Going Beyond Dual Execution - MPC for Functions with Efficient Verification
Explore advanced secure multiparty computation techniques, focusing on efficient verification methods for 2-party protocols with minimal leakage, applicable to various functions including perfect matching.
Multi-Party Computation 2 - Continued
Explore advanced concepts in multi-party computation, focusing on efficient non-interactive protocols and their properties, with insights into unconditional communication and exceptional sets.
Keeping the Watchers at Bay
Explore the evolution of Internet security protocols, focusing on encryption efforts, challenges, and future directions in safeguarding online communication between endpoints.