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 | 48 | 2021 |
Mergeable replicated data types G Kaki, S Priya, KC Sivaramakrishnan, S Jagannathan Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019 | 46 | 2019 |
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 | 26 | 2023 |
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 | 21 | 2021 |
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 | 19 | 2022 |
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 | 2 | 2020 |
λir: A language with intensional receive S Priya Iowa State University, 2017 | 1 | 2017 |
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 |