E-LIB Suche - Ergebnisse für: Gregoire, Benjamin

1

Assessing molten chloride salt components: Insights from a ..:

Bai, Mengqi ; Grégoire, Benjamin ; Navarro-Rivero, Maria Elena...
Nuclear Engineering and Design. 427 (2024) - p. 113429 , 2024

Link: https://doi.org/10.1016/..

2

Hopping Proofs of Expectation-Based Properties: Application..:

Avanzini, Martin ; Barthe, Gilles ; Grégoire, Benjamin..
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 784-809 , 2024

Link: https://doi.org/10.1145/..

3

Design and modelling of mobile thermal energy storage (M−TE..:

Yang, Song ; Bai, Mengqi ; Grégoire, Benjamin...
Applied Thermal Engineering. 254 (2024) - p. 123896 , 2024

Link: https://doi.org/10.1016/..

4

Masking the GLP Lattice-Based Signature Scheme at Any Order:

Barthe, Gilles ; Belaïd, Sonia ; Espitau, Thomas...
Journal of Cryptology. 37 (2023) 1 - p. , 2023

Link: https://doi.org/10.1007/..

5

Resistance of slurry aluminide coatings on pure nickel unde..:

Grégoire, Benjamin ; Montero, Xabier ; Galetz, Mathias C...
Corrosion Science. 216 (2023) - p. 111092 , 2023

Link: https://doi.org/10.1016/..

6

High-assurance zeroization:

Arranz Olmos, Santiago ; Barthe, Gilles ; Gonzalez, Ruben...
IACR Transactions on Cryptographic Hardware and Embedded Systems. 2024 (2023) 1 - p. 375-397 , 2023

Link: https://doi.org/10.46586..

7

Typing High-Speed Cryptography against Spectre v1:

, In: 2023 IEEE Symposium on Security and Privacy (SP),

Shivakumar, Basavesh Ammanaghatta ; Barthe, Gilles ; Gregoire, Benjamin... - p. 1094-1111 , 2023

Link: https://doi.org/10.1109/..

8

Mechanized Proofs of Adversarial Complexity and Application..:

Barbosa, Manuel ; Barthe, Gilles ; Grégoire, Benjamin..
ACM Transactions on Privacy and Security. 26 (2023) 3 - p. 1-34 , 2023

Link: https://doi.org/10.1145/..

9

Machine-Checked Security for $$\textrm{XMSS} $$ as in RFC 8..:

, In: Advances in Cryptology – CRYPTO 2023; Lecture Notes in Computer Science,

Barbosa, Manuel ; Dupressoir, François ; Grégoire, Benjamin... - p. 421-454 , 2023

Link: https://doi.org/10.1007/..

10

Formally verifying Kyber: Episode IV: Implementation correc..:

Bacelar Almeida, José ; Barbosa, Manuel ; Barthe, Gilles...
IACR Transactions on Cryptographic Hardware and Embedded Systems. , 2023

Link: https://doi.org/10.46586..

11

Effect of chromium and silicon additions on the hot corrosi..:

Grégoire, Benjamin ; Montero, Xabier ; Galetz, Mathias C...
Corrosion Science. 224 (2023) - p. 111517 , 2023

Link: https://doi.org/10.1016/..

12

Practical and Sound Equality Tests, Automatically: Deriving..:

, In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Grégoire, Benjamin ; Léchenet, Jean-Christophe ; Tassi, Enrico - p. 167-181 , 2023

Link: https://dl.acm.org/doi/1..

13

Cr–Mn-diffusion coatings on VM12: In situ spinel formation ..:

Ulrich, Anke Silvia ; Schlereth, Clara ; Grégoire, Benjamin...
Solar Energy Materials and Solar Cells. 257 (2023) - p. 112382 , 2023

Link: https://doi.org/10.1016/..

14

Fixing and Mechanizing the Security Proof of Fiat-Shamir wi..:

, In: Advances in Cryptology – CRYPTO 2023; Lecture Notes in Computer Science,

Barbosa, Manuel ; Barthe, Gilles ; Doczkal, Christian... - p. 358-389 , 2023

Link: https://doi.org/10.1007/..

15

Enforcing Fine-grained Constant-time Policies:

, In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security,

Ammanaghatta Shivakumar, Basavesh ; Barthe, Gilles ; Grégoire, Benjamin.. - p. 83-96 , 2022

Link: https://dl.acm.org/doi/1..