Signal: Security AnalysisExplores the formal security analysis of the Signal Messaging Protocol, covering key concepts and highlighting limitations and results.
Cryptographic Security ModelsExplores Cryptographic Security Models, including Diffie-Hellman and ElGamal Security, RSA, and practical encryption problems.
Elliptic Curves and LatticesExplores Elliptic Curve Discrete Logarithm Problem, lattice-based cryptography, and cryptographic schemes like ECDSA.
Cryptanalysis: Public-KeyExplores cryptanalysis in public-key cryptography, covering attacks, algorithms, and security models.
Public Key CryptographyExplores public key cryptography, enabling secure communication and key exchange between Alice and Bob.