Peer-reviewed and preprint work. Most of it comes out of SecureDNA
A system capable of verifiably and privately screening global DNA synthesis National Science Review, 2026 DOI · arXiv The SecureDNA system paper: how to screen every DNA synthesis order against a hazard list without the screener ever seeing the order. Co-authors include Adi Shamir, Ronald L. Rivest, and Andrew C. Yao.
Efficient Maliciously Secure Oblivious Exponentiations IACR Communications in Cryptology, 2024 IACR · ePrint The distributed OPRF construction underneath that privacy guarantee, hardened to hold even when a server is malicious.
Exact-match search with functional variant prediction enables automated DNA screening bioRxiv preprint, 2024 bioRxiv The screening algorithm itself: exact-match search over hazard windows, hardened by a red team running thousands of evasion attempts at each window.
Learning Robot-Environment Interaction with Neuroevolution Robotics in Education (RiE), 2011 RiE