Mergeable replicated data types. - Gowtham Kaki; Swarn Priya; K. C. Sivaramakrishnan; Suresh Jagannathan (Proc. ACM Program. Lang., 2019)

High-Assurance Cryptography Software in the Spectre Era. - Gilles Barthe; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira 004; Swarn Priya; Tamara Rezk; Peter Schwabe (IACR Cryptol. ePrint Arch., 2020)

High-Assurance Cryptography in the Spectre Era. - Gilles Barthe; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira 004; Swarn Priya; Tamara Rezk; Peter Schwabe (SP, 2021)

Structured Leakage and Applications to Cryptographic Constant-Time and Cost. - Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Swarn Priya (IACR Cryptol. ePrint Arch., 2021)

Typing High-Speed Cryptography against Spectre v1. - Basavesh Ammanaghatta Shivakumar; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira 004; Swarn Priya; Peter Schwabe; Lucas Tabary-Maujean (IACR Cryptol. ePrint Arch., 2022)

Enforcing fine-grained constant-time policies. - Basavesh Ammanaghatta Shivakumar; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Swarn Priya (IACR Cryptol. ePrint Arch., 2022)

Formally computer-verified protections against timing-based side-channel attacks. (Protections vérifiées formellement par ordinateur contre les attaques par canaux auxiliaires basées sur le temps). - Swarn Priya (2023)

BeePL: Correct-by-compilation kernel extensions. - Swarn Priya; Frédéric Besson; Connor Sughrue; Tim Steenvoorden; Jamie Fulford; Freek Verbeek; Binoy Ravindran (CoRR, 2025)