Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Strub, Pierre-Yves
285  Ergebnisse:
Personensuche X
?
1

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/..
 
?
2

CoqQ: Foundational Verification of Quantum Programs:

Zhou, Li ; Barthe, Gilles ; Strub, Pierre-Yves..
Proceedings of the ACM on Programming Languages.  7 (2023)  POPL - p. 833-865 , 2023
Link: https://doi.org/10.1145/..
 
?
3

A Formal Disproof of Hirsch Conjecture:

, In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Allamigeon, Xavier ; Canu, Quentin ; Strub, Pierre-Yves - p. 17-29 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

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/..
 
?
5

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..
 
?
6

Formal Verification of Saber's Public-Key Encryption Scheme..:

, In: Advances in Cryptology – CRYPTO 2022; Lecture Notes in Computer Science,
Hülsing, Andreas ; Meijers, Matthias ; Strub, Pierre-Yves - p. 622-653 , 2022
Link: https://doi.org/10.1007/..
 
?
7

A drag-and-drop proof tactic:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Donato, Pablo ; Strub, Pierre-Yves ; Werner, Benjamin - p. 197-209 , 2022
Link: https://dl.acm.org/doi/1..
 
?
8

Formalizing the Face Lattice of Polyhedra:

Allamigeon, Xavier ; Katz, Ricardo D. ; Strub, Pierre-Yves
Logical Methods in Computer Science.  18, Issue 2 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
9

EasyPQC: Verifying Post-Quantum Cryptography:

, In: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security,
Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong... - p. 2564-2586 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

Mechanized Proofs of Adversarial Complexity and Application..:

, In: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security,
Barbosa, Manuel ; Barthe, Gilles ; Grégoire, Benjamin.. - p. 2541-2563 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

Formalizing the Face Lattice of Polyhedra:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Allamigeon, Xavier ; Katz, Ricardo D. ; Strub, Pierre-Yves - p. 185-203 , 2020
Link: https://doi.org/10.1007/..
 
?
12

The Last Mile: High-Assurance and High-Speed Cryptographic ..:

, In: 2020 IEEE Symposium on Security and Privacy (SP),
Almeida, Jose Bacelar ; Barbosa, Manuel ; Barthe, Gilles... - p. 965-982 , 2020
Link: https://doi.org/10.1109/..
 
?
13

A relational logic for higher-order programs:

AGUIRRE, ALEJANDRO ; BARTHE, GILLES ; GABOARDI, MARCO..
Journal of Functional Programming.  29 (2019)  - p. , 2019
Link: https://doi.org/10.1017/..
 
?
14

A Machine-Checked Proof of Security for AWS Key Management ..:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,
Almeida, José Bacelar ; Barbosa, Manuel ; Barthe, Gilles... - p. 63-78 , 2019
Link: https://dl.acm.org/doi/1..
 
?
15

Improved parallel mask refreshing algorithms: generic solut..:

Barthe, Gilles ; Belaïd, Sonia ; Dupressoir, François...
Journal of Cryptographic Engineering.  10 (2019)  1 - p. 17-26 , 2019
Link: https://doi.org/10.1007/..
 
1-15