Concept

Cryptographic protocol

Related lectures (32)

Cryptographic Security Models: Game Proof Methodology

Explores Cryptographic Security Models through the Game Proof Methodology, RSA Security, Rabin Cryptosystem, and Diffie-Hellman Security.

Cryptographic Security Models

Explores Cryptographic Security Models, including Diffie-Hellman and ElGamal Security, RSA, and practical encryption problems.

Technologies for Identity & Anonymity

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

Secure Collaborative Systems: Building Efficient Protocols for Linear Models

Explores building efficient protocols for linear models in secure collaborative systems, emphasizing security guarantees and computational efficiency.

Linkability of e-passports

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

The Power of Interaction: Zero-Knowledge Construction

Explores zero-knowledge construction, setup models, and the power of interaction in cryptographic protocols, including Sigma Protocol and NP Zero-Knowledge Proofs.

Cryptanalysis: The Power of Interaction

Explores the power of interaction in cryptographic primitives and conventional cryptanalysis techniques.

Security Protocols and Applications: Introduction

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

Distributed Randomness: Drand

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

Secure Multiparty Computation: Danish Sugar Beets Auction

Explores the Danish Sugar Beets Auction, Secure Multiparty Computation, and the design of secure protocols for privacy and correctness.

Anonymous Tokens with Hidden Metadata Bit

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

Introduction to Cryptography: Fundamentals and Applications

Covers the fundamentals of cryptography, including symmetric encryption, digital signatures, and secure communication standards.

Secure Communications: Biometric Passport Case Study

Explores the shift to secure communications through the biometric passport case study, covering RFID, identity examples, MRTD, EAC, and cryptographic protocols.

Cryptographic Security Models

Explores cryptographic security models, decryption vs. key recovery, the ideal cipher, MAC construction, key agreement protocol, public-key cryptosystems, and signature scheme security.

Mobile Telephony Security

Explores the security challenges and improvements in mobile telephony, covering encryption algorithms, protocols, and integrity/authentication issues.

Network Security - Transport Layer Security

Discusses the limitations of TCP, the TLS Handshake, and the vulnerabilities in TLS protocols, emphasizing the importance of provable security in TLS 1.3.

Homomorphic Encryption

Explores homomorphic encryption, enabling computations on encrypted data without decryption, with practical applications in secure medical clouds.

Privacy-Preserving Crypto I

Introduces Secure Multiparty Computation techniques, covering theoretical frameworks, security models, and practical applications in privacy-preserving cryptography.

E-Voting: Research and Challenges

Explores e-voting research, digital algorithms, privacy challenges, and cryptographic methods in ensuring legitimacy and participation.

Biometric Technologies: Enhancing Security and Privacy

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