Publications

(2024). The Decisive Power of Indecision: Low-Variance Risk-Limiting Audits and Election Contestation via Marginal Mark Recording. 33rd USENIX Security Symposium, USENIX Security 2024.
(2023). Adaptive Risk-Limiting Comparison Audits. IEEE Symposium on Security and Privacy (SP).
(2023). Predicting Symptom Improvement During Depression Treatment Using Sleep Sensory Data. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol..
(2023). Practical Settlement Bounds for Longest-Chain Consensus. 43rd Annual International Cryptology Conference, CRYPTO 2023.
(2023). Fait Accompli Committee Selection: Improving the Size-Security Tradeoff of Stake-Based Committees. Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023.
(2023). Adaptively Secure Random Beacons for Ungrindable Blockchains. 43rd IEEE International Conference on Distributed Computing Systems, ICDCS 2023.
(2022). The Generals' Scuttlebutt: Byzantine-Resilient Gossip Protocols. Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (CCS).
(2022). Practical Settlement Bounds for Proof-of-Work Blockchains. Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (CCS).
(2022). Ofelimos: Combinatorial Optimization via Proof-of-Useful-Work - A Provably Secure Blockchain Protocol. Advances in Cryptology - CRYPTO 2022 - 42nd Annual International Cryptology Conference (CRYPTO).
(2022). More the Merrier: Neighbor Discovery on Duty-cycled Mobile Devices in Group Settings. IEEE Transactions on Wireless Communications.