Blog
Posts, notes, and articles.
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.
Unikernels: Specializing the OS for a Single Application, from MirageOS to IncludeOS and the Performance-Security Trade-offs
2020-05-26A deep exploration of unikernel architecture — how compiling an application directly into a specialized operating system kernel produces dramatic performance and security benefits while challenging decades of OS design orthodoxy.
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.
Exokernels & Library OS: MIT's Radical Vision, Secure Multiplexing, and the Unikernel Lineage
2020-04-01A deep exploration of exokernel architecture from MIT's Aegis/XOK/ExOS stack through the secure multiplexing problem to the modern unikernel renaissance that vindicated the library OS philosophy.
Consistent Hashing: Distributing Data Across Dynamic Clusters
2020-03-28A deep dive into consistent hashing, the elegant algorithm that enables scalable distributed systems. Learn how it works, why it matters for databases and caches, and explore modern variations like jump consistent hashing and rendezvous hashing.
Tuning the Dial: Adaptive Consistency at Planet Scale
2020-03-11Inside the engineering of databases that adjust consistency on the fly without breaking user trust.
Microkernel vs Monolithic: The L4 Experience, IPC Optimization, seL4 Verification, and Zircon's Ascent
2020-02-24A deep exploration of microkernel design from L4's high-performance IPC through seL4's formal verification to Zircon's pragmatic reimagining for Fuchsia. Understand why the microkernel-monolithic debate refuses to die.
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.