Follow
Swarn Priya
Swarn Priya
Verified email at vt.edu
Title
Cited by
Cited by
Year
Mergeable replicated data types
G Kaki, S Priya, KC Sivaramakrishnan, S Jagannathan
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
432019
High-assurance cryptography in the spectre era
G Barthe, S Cauligi, B Grégoire, A Koutsos, K Liao, T Oliveira, S Priya, ...
2021 IEEE Symposium on Security and Privacy (SP), 1884-1901, 2021
382021
Typing high-speed cryptography against spectre v1
BA Shivakumar, G Barthe, B Grégoire, V Laporte, T Oliveira, S Priya, ...
2023 IEEE Symposium on Security and Privacy (SP), 1094-1111, 2023
162023
Enforcing fine-grained constant-time policies
B Ammanaghatta Shivakumar, G Barthe, B Grégoire, V Laporte, S Priya
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
122022
Structured leakage and applications to cryptographic constant-time and cost
G Barthe, B Grégoire, V Laporte, S Priya
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
112021
High-assurance cryptography software in the spectre era
G Barthe, S Cauligi, B Gregoire, A Koutsos, K Liao, T Oliveira, S Priya, ...
Cryptology ePrint Archive, 2020
12020
λir: A Language with Intensional Receive
S Priya
Iowa State University, 2017
12017
Protections vérifiées formellement par ordinateur contre les attaques par canaux auxiliaires basées sur le temps
S Priya
Université Côte d'Azur, 2023
2023
Formally computer-verified protections against timing-based side-channel attacks
S Priya
Centre Inria d'Université Côte d'Azur STAMP, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–9