Sciweavers

11 search results - page 3 / 3
» On the Security of OAEP
Sort
View
POPL
2009
ACM
14 years 6 months ago
Formal certification of code-based cryptographic proofs
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
Benjamin Grégoire, Gilles Barthe, Santiago ...