Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

WireGuard: Cryptographic Protocol for VPNs

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (52)

Formally Correct Intermittent Systems Log in to Mediaspace to watch this video

Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.

Noise Protocol Framework: Building Secure Crypto Protocols Log in to Mediaspace to watch this video

Covers the Noise Protocol Framework for designing secure channel protocols and its applications in real-world cryptography.

Introduction to Cryptography: One-Time Pad and Public-Key Systems Log in to Mediaspace to watch this video

Introduces cryptography, focusing on the one-time pad and public-key systems, emphasizing privacy and authenticity in information security.

Time-Lock Encryption: Practical Applications and Algorithms Log in to Mediaspace to watch this video

Provides an overview of time-lock encryption and its practical applications, focusing on threshold time-lock encryption algorithms and their security properties.

Formal Logic: Proofs and Sets Log in to Mediaspace to watch this video

Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.

Monitoring with Icinga2 Log in to Mediaspace to watch this video

Explores the monitoring of a new VM and the use of Icinga2 for critical alerts and incident management.

Inductive Propositions: Understanding Evaluation in Coq Log in to Mediaspace to watch this video

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Data Abstraction: Modules and Specifications in Coq Log in to Mediaspace to watch this video

Discusses data abstraction in programming, focusing on modules and specifications in Coq.

Postquantum TLS: Key Exchange and Authentication Log in to Mediaspace to watch this video

Explores Post-Quantum TLS implementation without handshake signatures, focusing on key exchange and authentication using KEM.

Technologies for Identity & Anonymity Log in to Mediaspace to watch this video

Explores technologies for identity and anonymity, including e-ID, social media identities, and cryptographic signatures.

ECDSA Ring Signature Log in to Mediaspace to watch this video

Explores ring signatures for anonymous feedback collection and introduces the ZK Attest protocol for secure signature verification using zero-knowledge proofs.

Moscow e-Voting: Encryption Scheme Breakdown Log in to Mediaspace to watch this video

Explores the vulnerabilities of the Moscow Internet Voting System and the fixes implemented after attacks on the encryption scheme.

Side-Channel Analysis: Isogeny-Based Key Encapsulation Log in to Mediaspace to watch this video

Covers side-channel analysis of isogeny-based key encapsulation mechanisms and hash-based digital signatures, focusing on vulnerabilities and security measures in cryptographic systems.

Introduction to Proof Scripting: Basics of Ltac Log in to Mediaspace to watch this video

Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.

Introduction to Coq: Arithmetic Expressions and Evaluators Log in to Mediaspace to watch this video

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Anonymous communications Log in to Mediaspace to watch this video

Explores the significance of anonymous communications in safeguarding privacy and security, covering challenges, applications, system design, and quantifying anonymity levels.

Distributed Randomness: Drand Log in to Mediaspace to watch this video

Explores distributed randomness using Drand, covering cryptographic tools, key exchange, elliptic curve cryptography, and practical applications in blockchain systems.

Encoder and Decoder for Prefix-Free Codes Log in to Mediaspace to watch this video

Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.

Block Pulled by a Spring Log in to Mediaspace to watch this video

Explores the dynamics of a block pulled by a spring under various conditions.

Untitled Log in to Mediaspace to watch this video

Page 2 of 3