Table of contents

  • This session has been presented June 27, 2025 (13:45 - 14:45).

Description

  • Speaker

    Maciej Skorski - Laboratoire Hubert Curien

The talk examines power noise modelling through Gaussian Processes for secure True Random Number Generators.

 

While revisiting one-sided fractional Brownian motion, we obtain novel contributions by quantifying posterior uncertainty in exact analytical form, establishing quasi-stationary properties, and developing rigorous time-frequency analysis. These results are applied to model oscillator fluctuations of power-noise type, enabling closed-form entropy expressions for TRNGs and a novel GPU-accelerated simulation technique valuable for studying non-standard post-processing.

 

This work bridges machine learning techniques and signal processing to solve hardware security applications.

 

Keywords

Gaussian Process, Power Noise, True Random Number Generator, Fractional Brownian Motion, Entropy Estimation, Hardware Security, GPU Acceleration

Practical infos

Next sessions

  • CryptoVerif: a computationally-sound security protocol verifier

    • September 05, 2025 (13:45 - 14:45)

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Speaker : Bruno Blanchet - Inria

    CryptoVerif is a security protocol verifier sound in the computational model of cryptography. It produces proofs by sequences of games, like those done manually by cryptographers. It has an automatic proof strategy and can also be guided by the user. It provides a generic method for specifying security assumptions on many cryptographic primitives, and can prove secrecy, authentication, and[…]

    • Cryptography

Show previous sessions
Page top