Lectures related to Signal (software)

Public-Key Cryptography: Fundamentals and Applications

Explores public-key cryptography, covering key exchange, signature schemes, and real-world applications like the Signal protocol.

Privacy-Preserving Authentication: Mercurial Signatures

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

Signal: Security Analysis

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

Security Protocols and Applications: Introduction

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

Deformable Structures II

Explores hyperstatic structures, pre-stressed structures, and geometric linearity.

Linear Elasticity: 3D

Covers linearity between stress and strain in 3D and isotropic linear elasticity equations.

Theoretical Foundations for Emerging Multiprocessor Technologies: RDMA and NVRAM

Explores theoretical foundations for RDMA and NVRAM in multiprocessor technologies, covering contention, concurrency control, and fault tolerance.