Lectures in course COM-506: Student seminar: security protocols and applications

Covers SAML signature verification, resolving security keys, token handlers vulnerabilities, and a Sharepoint privilege escalation demo.

Postquantum TLS: Key Exchange and Authentication

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

Partitioning Oracle Attacks

Explores partitioning oracle attacks, multi-key collision resistance, AES-GCM authentication, and simulation results.

5G Authentication: Security and SUKI

Explores the evolution of 5G authentication, vulnerabilities in 4G, and improvements in 5G security.

Signal: Security Analysis

Explores the formal security analysis of the Signal Messaging Protocol, covering key concepts and highlighting limitations and results.

ECDSA Ring Signature

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

NFC Security Research with NFCGate

Explores NFC technology, NFCGate toolkit, security breaches, analysis tools, and counter-measures to enhance NFC security.