Swarn Priya

According to our database, Swarn Priya authored at least 8 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

BeePL: Correct-by-compilation kernel extensions.

Swarn Priya, Frédéric Besson, Connor Sughrue, Tim Steenvoorden, Jamie Fulford, Freek Verbeek, Binoy Ravindran

CoRR, July, 2025

2023

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

PhD thesis, 2023

Typing High-Speed Cryptography against Spectre v1.

Basavesh Ammanaghatta Shivakumar, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Swarn Priya, Peter Schwabe, Lucas Tabary-Maujean

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022

Enforcing Fine-grained Constant-time Policies.

Basavesh Ammanaghatta Shivakumar, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Swarn Priya

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

High-Assurance Cryptography in the Spectre Era.

Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Structured Leakage and Applications to Cryptographic Constant-Time and Cost.

Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Swarn Priya

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

High-Assurance Cryptography Software in the Spectre Era.

Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe

IACR Cryptol. ePrint Arch., 2020

2019

Mergeable replicated data types.

Gowtham Kaki, Swarn Priya, K. C. Sivaramakrishnan, Suresh Jagannathan

Proc. ACM Program. Lang., 2019