Segui
Swarn Priya
Swarn Priya
Email verificata su inria.fr
Titolo
Citata da
Citata da
Anno
Mergeable replicated data types
G Kaki, S Priya, KC Sivaramakrishnan, S Jagannathan
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
422019
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
352021
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
132023
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
102022
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
102021
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–9