4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.CR2026
Dependency-Aware ROM/CBD Correctness Bounds for ML-KEM-768 at the Heuristic Failure Scale
Aurélie Duriez, Christophe Tommasini
We certify an honest-decapsulation failure upper bound for ML-KEM-768 in an explicit random-function/centered-binomial (ROM/CBD) abstraction. Domain-separated public-matrix streams…
quant-ph2022★ 4 cited
Algebraic approach to a two-qubit quantum thermal machine
A. C. Duriez, D. Martínez-Tibaduiza, A. Z. Khoury
Algebraic methods for solving time dependent Hamiltonians are used to investigate the performance of quantum thermal machines. We investigate the thermodynamic properties of an eng…