Research
Academic workAggregator-Based Voting using Proof of Partition
A voting protocol built around proof-of-partition ideas, aimed at making aggregation verifiable while preserving the privacy and structure needed by practical election systems.
High-Precision Exact FHE Made Simple, General, and Fast
Work on exact high-precision fully homomorphic encryption, focusing on practical techniques that make encrypted computation simpler to implement and faster to run.
High-Throughput Universally Composable Threshold FHE Decryption
Threshold decryption for FHE systems with a universal composability treatment and an implementation-oriented emphasis on throughput.
PCC: Re-architecting Congestion Control for Consistent High Performance
Performance-oriented Congestion Control replaces hardwired TCP reactions with sender-side experiments that optimize observed performance; the companion theory note analyzes the induced utility game and proves conditions for a unique fair stable state.
Proves uniqueness, fairness, and approximate convergence for the PCC utility game.
PCC Vivace: Online-Learning Congestion Control
An online-learning extension of the PCC architecture that improves convergence, latency, and TCP friendliness while remaining a deployable sender-side congestion-control protocol.
Axiomatizing Congestion Control
An axiomatic treatment of congestion-control objectives that asks what transport protocols should optimize, and what tradeoffs are unavoidable when they do.
Nash-Peering: A New Techno-Economic Framework for Internet Interconnections
A proposal for Internet interconnection agreements based on Nash bargaining, intended to make peering economics more flexible and less prone to dispute.
Capturing Resource Tradeoffs in Fair Multi-Resource Allocation: added impossibility result
A study of cloud resource allocation when jobs can trade among resources, with an extended technical report proving a stronger impossibility result for Pareto optimality, strategyproofness, and envy-freeness.
Shows that no mechanism can simultaneously satisfy Pareto optimality, strategyproofness, and envy-freeness.
Theoretical and Experimental Analysis of the Canadian Traveler Problem
A study of navigation under partial observability, including dependent edge failures, exact solving algorithms, and empirical comparisons for variants of the Canadian Traveler Problem.
Projects
Subsenate
GitHub →A zkSNARK-based e-voting system that randomly selects a community of judges from a pool of eligible voters — cryptographic sortition. Using zero-knowledge proofs, the selection is verifiably random and private: nobody can predict or manipulate who gets chosen, yet anyone can verify the result is fair.
"Politicians and diapers must be changed often, and for the same reason." Subsenate takes the turnover problem seriously: sortition — random selection of citizen decision-makers — powered Athenian democracy, and ZK proofs can make it verifiable today.
A full Rust implementation of coercion-resistant e-voting based on the JCJ protocol and Civitas. Implements the complete cryptographic core: DVRP credential issuance, threshold ElGamal key generation, PET-based duplicate and invalid-credential elimination, a two-pass RPC MixNet with public verifiability, and distributed decryption — all wired into a runnable election pipeline with a web UI.
The key insight of JCJ: a coercer can force you to vote under threat, but cannot prevent you from casting a silent override later. Your real vote always wins.
The Social Evidence
A browser extension for collaborative fact-checking. Select any text on a news page, attach a comment linking it to contradicting evidence, and every visitor with the extension sees the same annotations — turning passive reading into a shared, persistent record of public inconsistency.
Built around the idea that accountability needs infrastructure: not just the claim that a politician contradicted themselves, but a linkable annotation anyone can see on the original source.
Aggios EPA Benchmark
GitHub →Benchmark code by Marius Lombard Platet for evaluating Aggios on EPA-style workloads, built to make the system's performance claims reproducible rather than anecdotal. The repository collects the scripts, inputs, and experiment scaffolding needed to compare configurations and understand where the implementation spends its time.
This kind of benchmark is the bridge between a cryptographic protocol and an implementable system: it turns asymptotic or architectural claims into measurements that other people can inspect, rerun, and challenge.
On Democracy
Values & convictionTo me, democracy is more than a form of government. It is a mechanism for giving people real influence over the decisions that affect their lives. It is also a delicate mechanism: easy to undermine, but much harder to design so that it is fair, resilient, and trustworthy.
Much of my work in cryptography is motivated by this challenge. I built two working voting systems. CRelections is a coercion-resistant electronic voting system in which a voter's genuine choice can prevail even if they are forced to vote differently. Subsenate is a sortition system based on zero-knowledge proofs that randomly selects judges from a pool of eligible citizens — an idea inspired by ancient Athens, but implemented with modern cryptography.
The question that motivates me is how to build democratic processes that people can trust even when they do not trust the people operating them. To me, one of the most important promises of cryptography is that it can reduce the need to trust authorities while preserving fairness, security, and verifiability.
Contact me
Feel free to reach out about research, collaborations, or just to say hello.