Benchmarking, Verification & Validation
10 papers for year 2026 from OpenAlex
Showing 1-10 of 10
Efficient Threshold ML-DSA
Sofía Celi, Rafael del Pino, Thomas Espitau, Guilhem Niot, Thomas Prest
embedded-cal: A Formally Verified Cryptographic Provider for Embedded Platforms
Elsa Lopez Perez, Pereira, William, Takeshi, Thomas Watteyne, Christian Amsüss, Franziskus Kiefer, Jonas Schneider, Karthikeyan Bhargavan, Mališa Vučinić
Handling Noisy Plaintext Checking Oracles with SPiRiT: Application to Kyber
Paco Poilbout, Thomas Roche, Laurent Imbert
Informational arrow of time in an extended two-qubit Page-Wooters model
Jesni Shamsul Shaari
Pharmacokinetics, quantum chemistry, and molecular modeling analysis of six potential drug candidates for Chagas disease: posaconazole, K777, phenarimol derivative, BZTS, isoxazole analog, and derivative of 4-arylaminonoline-3-carbonitrile.
Gabriel Christian de Farias Morais, Marianna de Oliveira Corrêa, Daniel Melo de Oliveira Campos, Samira Sanami, Shahina Akter, Magdi E. A. Zaki, U. L. Fulco, Jonas Ivan Nobre Oliveira
Proposed survey sites for the FIQUgS project multi-physics carrier
Thomas Jacob, Rita Streich, Camille Janvier, Angel Soriano, Marek Wolski, Martina Capponi, Daniele Sampietro
Revisiting PQ WireGuard: A Comprehensive Security Analysis With a New Design Using Reinforced KEMs
Keitaro Hashimoto, Shuichi Katsumata, Guilhem Niot, Thom Wiggers
Sanitizable Signatures with Different Admissibility Policies for Multiple Sanitizers
Osama Allabwani, Olivier Blazy, Pascal Lafourcade, Charles Olivier-Anclin, Olivier Raynaud
Self-Verifying Geometry (SVG)
Luis Morató de Dalmases
The Map and the Territory: A Constructive History of Mathematical Physics
Paul Chun-Kit Lee