Conférence FSE, Tokyo 2017

Oppida est présent à la 24eme conférence Internationale Fast Software Encryption 5 au 8 mars 2017, Tokyo Présentation des travaux de recherche : Security Models for Pseudo-Random Number Generators, Sylvain Ruhault, Oppida.

 Résumé : L’article présente de manière unifiée et cohérente l’ensemble des modèles de sécurité pour les générateurs de nombres pseudo-aléatoires. Des constructions sûres basées sur AES sont proposées dans chacun des modèles. Les notions d’extracteur et d’accumulateur sont également expliquées, en particulier une vulnérabilité sur le générateur CTR_DRBG, standardisé par le NIST, est décrite.

 

Abstract: Randomness plays an important role in multiple applications in cryptography. It is required in fundamental tasks such as key generation, masking and hiding values, nonces and initialization vectors generation. Pseudo-random number generators have been studied by numerous authors, either to propose clear security notions and associated constructions or to point out potential vulnerabilities. In this systematization of knowledge paper, we present the three notions of generators that have been successively formalized: standard generators, stateful generators and generators with input. For each notion, we present expected security properties, where adversaries have increasing capabilities (including access to partial information on the internal variables) and we propose secure and efficient constructions, all based on the block cipher AES. In our description of generators with input, we revisit the notions of accumulator and extractor and we point out that security crucially relies on the independence between the randomness source and the seeds of the accumulator and the extractor. To illustrate this requirement, we identify a potential vulnerability of the NIST standard CTR_DRBG. 

L’article est disponible sur le site de l’IACR : https://eprint.iacr.org/2017/208.pdf