Theory

• Implementing A Small Theorem Prover For Propositional Logic Using The Dpll Algorithm With Conflict Driven Clause Learning · 2020-08-09

  A comprehensive technical exploration of implementing a small theorem prover for propositional logic using the dpll algorithm with conflict driven clause learning, covering key concepts, practical implementations, and real-world applications.

• The Algorithmic Methodology Of Coq Proof Assistant: Inductive Types, Tactics, And Extraction To Ocaml · 2020-08-08

  A comprehensive technical exploration of the algorithmic methodology of coq proof assistant: inductive types, tactics, and extraction to ocaml, covering key concepts, practical implementations, and real-world applications.

• Building A Distributed Certificate Transparency Log Using Merkle Trees And Append Only Proofs · 2020-07-31

  A comprehensive technical exploration of building a distributed certificate transparency log using merkle trees and append only proofs, covering key concepts, practical implementations, and real-world applications.

• A Deep Dive Into Merkle Damgård Vs. Sponge Construction For Hash Functions: Sha 256 And Sha 3 · 2020-07-24

  A comprehensive technical exploration of a deep dive into merkle damgård vs. sponge construction for hash functions: sha 256 and sha 3, covering key concepts, practical implementations, and real-world applications.

• The Implementation Of A Secure Channel Protocol Using Noise Framework: Handshake Patterns And State Machine · 2020-07-11

  A comprehensive technical exploration of the implementation of a secure channel protocol using noise framework: handshake patterns and state machine, covering key concepts, practical implementations, and real-world applications.

• Designing A Key Management Service For Distributed Systems Using Shamir’S Secret Sharing With Homomorphic Properties · 2020-07-02

  A comprehensive technical exploration of designing a key management service for distributed systems using shamir’s secret sharing with homomorphic properties, covering key concepts, practical implementations, and real-world applications.

• A Rigorous Analysis Of Differential Privacy: Laplace And Gaussian Mechanisms For User Level Privacy · 2020-06-29

  A comprehensive technical exploration of a rigorous analysis of differential privacy: laplace and gaussian mechanisms for user level privacy, covering key concepts, practical implementations, and real-world applications.

• Building A Password Hashing Function With Memory Hardness: Scrypt And Argon2 Internals · 2020-06-29

  A comprehensive technical exploration of building a password hashing function with memory hardness: scrypt and argon2 internals, covering key concepts, practical implementations, and real-world applications.

• The Mathematics Of Lattice Based Cryptography: Learning With Errors, Ring Lwe, And Ntru · 2020-06-14

  A comprehensive technical exploration of the mathematics of lattice based cryptography: learning with errors, ring lwe, and ntru, covering key concepts, practical implementations, and real-world applications.

• Implementing A Side Channel Attack Resistant Rsa Implementation Using Montgomery Ladder And Blinding · 2020-06-05

  A comprehensive technical exploration of implementing a side channel attack resistant rsa implementation using montgomery ladder and blinding, covering key concepts, practical implementations, and real-world applications.

• A Detailed Look At The Tls 1.3 Handshake Protocol: Key Schedule, 0 Rtt, And Forward Secrecy · 2020-06-01

  A comprehensive technical exploration of a detailed look at the tls 1.3 handshake protocol: key schedule, 0 rtt, and forward secrecy, covering key concepts, practical implementations, and real-world applications.

• Designing A Verifiable Random Function (Vrf) For Leader Election In Proof Of Stake Blockchains · 2020-05-17

  A comprehensive technical exploration of designing a verifiable random function (vrf) for leader election in proof of stake blockchains, covering key concepts, practical implementations, and real-world applications.

• The Performance Of Elliptic Curve Cryptography Vs. Rsa For Key Exchange And Signatures On Constrained Devices · 2020-05-08

  A comprehensive technical exploration of the performance of elliptic curve cryptography vs. rsa for key exchange and signatures on constrained devices, covering key concepts, practical implementations, and real-world applications.

• A Secure Multi Party Computation Protocol For Private Set Intersection: Oprf And Ot Extensions · 2020-05-06

  A comprehensive technical exploration of a secure multi party computation protocol for private set intersection: oprf and ot extensions, covering key concepts, practical implementations, and real-world applications.

• Implementing A Zero Knowledge Proof Of Knowledge From The Schnorr Protocol: Σ Protocols And Fiat Shamir · 2020-04-27

  A comprehensive technical exploration of implementing a zero knowledge proof of knowledge from the schnorr protocol: σ protocols and fiat shamir, covering key concepts, practical implementations, and real-world applications.

• The Theoretical Foundations Of Paillier Cryptosystem: Homomorphic Encryption For Privacy Preserving Aggregation · 2020-04-14

  A comprehensive technical exploration of the theoretical foundations of paillier cryptosystem: homomorphic encryption for privacy preserving aggregation, covering key concepts, practical implementations, and real-world applications.

• Building A Bloom Filter With Optimal Number Of Hash Functions And Memory Estimation · 2020-04-12

  A comprehensive technical exploration of building a bloom filter with optimal number of hash functions and memory estimation, covering key concepts, practical implementations, and real-world applications.

• An Algorithm For Incremental Topological Ordering Dynamic Dags: Applications In Build Systems · 2020-04-10

  A comprehensive technical exploration of an algorithm for incremental topological ordering dynamic dags: applications in build systems, covering key concepts, practical implementations, and real-world applications.

• Integer Programming: Branch-and-Bound, Gomory Cuts, Lift-and-Project, and Solver Internals · 2020-02-23

  An inside look at integer programming algorithms—branch-and-bound, cutting planes, lift-and-project hierarchies—and how Gurobi and CPLEX solve NP-hard problems.

• Implementing A Patricia Trie For Ip Router Lookup With Tcam Emulation · 2020-02-22

  A comprehensive technical exploration of implementing a patricia trie for ip router lookup with tcam emulation, covering key concepts, practical implementations, and real-world applications.

• The Performance Of Ternary Search Vs. Binary Search On Non Uniform Distribution Keys · 2020-02-19

  A comprehensive technical exploration of the performance of ternary search vs. binary search on non uniform distribution keys, covering key concepts, practical implementations, and real-world applications.

• Convex Optimization: Gradient Descent, Nesterov Acceleration, KKT Conditions, and the ML Stack · 2020-02-18

  A deep investigation of convex optimization—the engine of modern machine learning—from gradient descent and Nesterov momentum to KKT conditions and interior-point methods.

• A Deep Dive Into Suffix Arrays And Suffix Trees: Construction In Linear Time With Dc3 And Ukkonen’S Algorithm · 2020-02-17

  A comprehensive technical exploration of a deep dive into suffix arrays and suffix trees: construction in linear time with dc3 and ukkonen’s algorithm, covering key concepts, practical implementations, and real-world applications.

• Designing A Greedy Algorithm For Maximum Weight Matching In Bipartite Graphs With Augmenting Paths · 2020-02-04

  A comprehensive technical exploration of designing a greedy algorithm for maximum weight matching in bipartite graphs with augmenting paths, covering key concepts, practical implementations, and real-world applications.