Mike Rosulek's starred repositories
chatguessr
A Twitch chatbot for GeoGuessr.
SplitCommit
A portable C++ implementation of the [FJNT16] XOR-homomorphic commitment scheme
batchDualEx
Batch Dual Execution framework for secure multiparty computation
OTExtension
C++ OT extension implementation
modes-generator
Automated prover and synthesizer for modes of operation
lastpass-cli
LastPass command line interface tool
obfuscation
Implementation of cryptographic program obfuscation
resolvconf-override
Override resolv.conf through environment variables
gmail-tickler
Get emails out of your inbox until a specified date