Swarn Priya

According to our database, Swarn Priya authored at least 7 papers between 2019 and 2023.

Collaborative distances:

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

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

2022

Enforcing fine-grained constant-time policies.

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

IACR Cryptol. ePrint Arch., 2022

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

IACR Cryptol. ePrint Arch., 2022

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

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

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