Course

COM-506: Student seminar: security protocols and applications

Lectures in this course (48)

Privacy-Preserving Authentication: Mercurial Signatures

Introduces Attribute-Based Credentials and Mercurial Signatures, discussing privacy concerns with authentication and the importance of preserving user privacy.

Intro & Oblivious Shuffling

Introduces Aggregate Measurement via Oblivious Shuffling and explores various topics related to privacy, data analysis, and web advertising.

Security Protocols and Applications: Introduction

Introduces a seminar where students present on various security topics and emphasizes the importance of correct cryptographic implementations.

Introduction to Security Protocols: Seminar Overview

Introduces the seminar on Security Protocols and Applications, detailing presentation expectations and grading criteria.

Anonymous Tokens with Hidden Metadata Bit

Explores anonymous tokens with hidden metadata bit, addressing trust establishment challenges and security implications in client-server interactions.

Digital Contact Tracing: The Dark Side

Explores the challenges and vulnerabilities of digital contact tracing technology, focusing on the SwissCovid app and its implications.

Swiss COVID: Security and Privacy

Explores the security and privacy challenges of the Swiss COVID contact tracing app, including fake notifications and time-based attacks.

Biometric Technologies: Enhancing Security and Privacy

Explores the development of biometric technologies based on finger vein recognition to enhance security and privacy.

Biometric Research: Finger Vein Recognition Techniques

Covers advancements in finger vein recognition technology and its applications in biometric identity verification.

Linkability of e-passports

Explores breaking the unlinkability of e-passports using Bisimilarity and T-calculus, highlighting vulnerabilities and the need for new protocols.

Nonce-Based Cryptography

Explores nonce-based cryptography, emphasizing security in cryptographic schemes when randomness fails.

Time-Lock Encryption: Practical Applications and Algorithms

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

E-voting: individual verifiability

Explores individual verifiability in the e-voting system, covering verifiable protocols, zero-knowledge proofs, and vote integrity.

WireGuard: Cryptographic Protocol for VPNs

Explores the WireGuard Protocol, a modern VPN replacement for IPsec and OpenVPN, focusing on encrypted tunnelling and security properties.

Raccoon Attack on TLS 1.2

Explores the Raccoon Attack, a timing attack on TLS-DH(E) that exploits most significant bit oracles.

Weak Fiat-Shamir: Vulnerabilities in Cryptographic Protocols

Covers vulnerabilities in the Fiat-Shamir heuristic and its impact on Helios voting security.

Metadata-Hiding Communication Systems

Explores Express and Tor systems for secure communication, emphasizing metadata hiding and performance improvements.

Efficient Post-Quantum Commutative Group Action

Explores the CSIDH algorithm, a post-quantum cryptographic scheme based on isogenies, discussing its history, inner workings, and security.

WebAuthn: Yubico's Proposal Analysis

Analyzes Yubico's proposal for asynchronous remote key generation in WebAuthn, focusing on security, performance, and compatibility with public key protocols.

Anonymous Credentials: Binding Identity to Physical Authentication

Covers the binding of anonymous credentials to human identity through visual authentication and cryptographic protocols.