BeePL: Correct-by-compilation kernel extensions

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

arXiv

BeePL: Correct-by-compilation kernel extensions

Swarn Priya, Tim Steenvoorden, Connor Sughrue, Frédéric Besson, and Freek Verbeek

Workshop on Principles of Secure Compilation (PriSC)

Formally computer-verified protections against timing-based side-channel attacks

Swarn Priya

Ph.D. thesis, Inria and Université Côte d’Azur

Typing High-Speed Cryptography against Spectre v1

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

Alphabetical authorship

IEEE Symposium on Security and Privacy (S&P)

Enforcing fine-grained constant-time policies

Basavesh A. Shivakumar, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, and Swarn Priya

Alphabetical authorship

ACM Conference on Computer and Communications Security (CCS)

Structured Leakage and Applications to Cryptographic Constant-Time and Cost

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

Alphabetical authorship

ACM Conference on Computer and Communications Security (CCS)

High-Assurance Cryptography in the Spectre Era

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

Alphabetical authorship

IEEE Symposium on Security and Privacy (S&P)

Mergeable replicated data types

Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan

Proceedings of the ACM on Programming Languages (OOPSLA)

λir: A Language with Intensional Receive

Swarn Priya

M.S. thesis, Iowa State University