Generator of a GroupExplores checking a generator of a group, the Diffie-Hellman key exchange, and cryptographic algorithms.
Abstract algebra and type classesCovers abstract algebra concepts using type classes in Scala, including defining monoids, generalizing reduce functions, and typeclass laws.
Cryptography and Information TheoryExplores cryptography, perfect secrecy, group theory, and modern cryptographic milestones, emphasizing the trade-off between security and cost.
Discrete Exponentiation ComplexityExplores discrete exponentiation complexity, cyclic groups, and practical cryptography, including popular algorithms like Diffie-Hellman and RSA.
Cryptographic Security FundamentalsCovers cryptographic security fundamentals, including collision search algorithms, public-key cryptography, and risks of underestimating collision attacks.
Distributed Randomness: DrandExplores distributed randomness using Drand, covering cryptographic tools, key exchange, elliptic curve cryptography, and practical applications in blockchain systems.
Formal Languages: ConceptsCovers the fundamental concepts of formal languages, including alphabets, words, languages, and word equality.
Cryptography and SecurityCovers cryptanalysis, security proofs, cryptographic schemes, and foundational concepts in a challenging Advanced Cryptography course.
E-Voting: Research and ChallengesExplores e-voting research, digital algorithms, privacy challenges, and cryptographic methods in ensuring legitimacy and participation.