Artikel dengan mandat akses publik - Miguel QuaresmaPelajari lebih lanjut
Tersedia di suatu tempat: 5
Formally verifying Kyber: Episode IV: Implementation correctness
JB Almeida, M Barbosa, G Barthe, B Grégoire, V Laporte, JC Léchenet, ...
IACR Transactions on Cryptographic Hardware and Embedded Systems 2023 (3 …, 2023
Mandat: German Research Foundation, European Commission, Agence Nationale de la …
Swoosh: Practical Lattice-Based Non-Interactive Key Exchange.
P Gajland, B de Kock, M Quaresma, G Malavolta, P Schwabe
IACR Cryptol. ePrint Arch. 2023, 271, 2023
Mandat: German Research Foundation, European Commission, Federal Ministry of …
{SWOOSH}: Efficient {Lattice-Based}{Non-Interactive} Key Exchange
P Gajland, B de Kock, M Quaresma, G Malavolta, P Schwabe
33rd USENIX Security Symposium (USENIX Security 24), 487-504, 2024
Mandat: German Research Foundation, European Commission, Federal Ministry of …
Formally Verifying Kyber: Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
JB Almeida, S Arranz Olmos, M Barbosa, G Barthe, F Dupressoir, ...
Annual International Cryptology Conference, 384-421, 2024
Mandat: UK Engineering and Physical Sciences Research Council, European Commission …
Formally verifying Kyber
JB Almeida, SA Olmos, M Barbosa, G Barthe, F Dupressoir, B Grégoire, ...
Mandat: UK Engineering and Physical Sciences Research Council, European Commission …
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer