Publications

(2022). Automatic depression screening using social interaction data on smartphones. Smart Health.
(2022). A Composable Security Treatment of ECVRF and Batch Verifications. Computer Security - ESORICS 2022 - 27th European Symposium on Research in Computer Security.
(2021). Dynamic Ad Hoc Clock Synchronization. Advances in Cryptology - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2021.
(2021). Code Offset in the Exponent. 2nd Conference on Information-Theoretic Cryptography, (ITC 2021).
(2021). Fast Isomorphic State Channels. Financial Cryptography and Data Security - 25th International Conference (FC 2021).
(2021). Germ order for one-dimensional packings. Online Journal of Analytic Combinatorics.
(2021). Fusing Location Data for Depression Prediction. IEEE Trans. Big Data.
(2020). Consistency of Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders. 40th IEEE International Conference on Distributed Computing Systems, ICDCS 2020.
(2020). Tight Consistency Bounds for Bitcoin. CCS ‘20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020.
(2020). The Combinatorics of the Longest-Chain Rule: Linear Consistency for Proof-of-Stake Blockchains. Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms (SODA).