Protocol Design Courses and Certifications

Strange Loop Conference

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.

• YouTube
• 1 hour 10 minutes
• On-Demand
• Conference Talk

Scala Days Conferences

Pure Functional Database Programming Without JDBC

Explore pure functional database programming in Scala without JDBC, focusing on PostgreSQL communication, socket interfaces, and protocol layers for efficient and type-safe database interactions.

• YouTube
• 54 minutes
• On-Demand
• Conference Talk

Sam Witteveen

UCP - Google's Universal Commerce Protocol for Agentic Commerce

Explore Google's Universal Commerce Protocol (UCP) for agentic commerce, understanding its components, implementation, and how it compares to OpenAI's approach.

• YouTube
• 11 minutes
• On-Demand
• Free Video

Simons Institute

Efficient Zero-Knowledge Proofs: A Modular Approach

Explore modular techniques for creating efficient zero-knowledge proofs, focusing on probabilistically checkable and interactive proof systems in cryptography.

• YouTube
• 1 hour 12 minutes
• On-Demand
• Free Video

USENIX Enigma Conference

Moving Account Recovery Beyond Email and the Secret Question

Innovative account recovery protocol beyond traditional methods, offering user choice, privacy, and potential for end-to-end encryption key recovery. Addresses limitations of current practices in online identity management.

• YouTube
• 22 minutes
• On-Demand
• Conference Talk

USENIX

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.

• YouTube
• 21 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Zip Code - Unpacking Data Compression

Explore data compression algorithms, from basic techniques to advanced tools, and learn how to design efficient protocols and data formats for various applications, including embedded systems.

• YouTube
• 43 minutes
• On-Demand
• Conference Talk

Simons Institute

How to Do Fiat-Shamir in the Standard Model

Explore interactive protocols, Fiat-Shamir transformation, and delegation in cryptography. Learn about security assumptions, hash functions, and correlation intractability in probabilistic proof systems.

• YouTube
• 1 hour 10 minutes
• On-Demand
• Free Video

JSConf

Building a Maintainable Bi-Directional Cross Platform Protocol

Designing and implementing a flexible RPC-style protocol for cross-platform client-server communication, focusing on maintainability and extensibility over traditional RESTful APIs.

• YouTube
• 27 minutes
• On-Demand
• Conference Talk

Code Sync

Programming Distributed Systems - Keynote

Explore innovative approaches to programming distributed systems, leveraging language design for improved performance, correctness, and expressiveness in large-scale applications.

• YouTube
• 45 minutes
• On-Demand
• Free Video

AI Engineer

MCP Is Not Good Yet - Implementation Pitfalls and Practical Advice

Discover practical insights on MCP implementation pitfalls and realistic expectations from Sentry's perspective on current AI tooling limitations.

• YouTube
• 17 minutes
• On-Demand
• Free Video

Discover AI

NEW Multi-Agent Protocol - Ripple Effect Protocol by MIT for 100+ Agents

Discover MIT's Ripple Effect Protocol for coordinating 100+ AI agents and learn which multi-agent protocols to choose for optimal performance in large-scale AI systems.

• YouTube
• 35 minutes
• On-Demand
• Free Video

A2A and MCP Explained - Agent-to-Agent Communication and Model Context Protocol with ADK

Master A2A and MCP protocols to build collaborative AI agents using Google's ADK, with hands-on implementation and practical examples for secure agent communication.

• YouTube
• 25 minutes
• On-Demand
• Free Video

Doubly Efficient Interactive Proofs in Advanced Cryptography - Lecture 2

Delve into advanced cryptography concepts focusing on doubly efficient interactive proofs, covering triangle counting in graphs, low-degree extension, and the GKR protocol for bounded depth computations.

• YouTube
• 1 hour 53 minutes
• On-Demand
• Free Video

TheIACR

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.

• YouTube
• 40 minutes
• On-Demand
• Conference Talk