Theory
536 posts in category “Theory”.
Implementing A Small Theorem Prover For Propositional Logic Using The Dpll Algorithm With Conflict Driven Clause Learning
2020-08-09A 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-08A 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-31A 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-24A 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-11A 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-02A 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-29A 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-29A 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-14A 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-05A 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-01A 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-17A 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-08A 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-06A 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-27A 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-14A 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-12A 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-10A 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-23An 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-22A 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-19A 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-18A 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-17A 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-04A 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.