Emilie Ma

1. Specula: Scaling formal specifications for autonomous model checking of system code
   2026/07/28 by Qian Cheng, Saad Mohammad Rafid Pial, Ruize Tang +6 · 1 voice
   #cs.SE #cs.AI #cs.DC #cs.OS
2. Kintsugi: Decentralized E2EE Key Recovery
   2025/07/18 by Emilie Ma, Martin Kleppmann, Ma, Emilie +1 · 2 voices
   #cs.CR