Publicacións en colaboración con investigadores/as de Royal Holloway University of London (5)

2023

  1. StringENT test suite: ENT battery revisited for efficient P value computation

    Journal of Cryptographic Engineering, Vol. 13, Núm. 2, pp. 235-249

2022

  1. Critical Analysis of Hypothesis Tests in Federal Information Processing Standard (140-2)

    Entropy, Vol. 24, Núm. 5

  2. Sensitivity and uniformity in statistical randomness tests

    Journal of Information Security and Applications, Vol. 70

2021

  1. Actor-based model checking for Software-Defined Networks

    Journal of Logical and Algebraic Methods in Programming, Vol. 118

2018

  1. Specification and Verification of Invariant Properties of Transition Systems

    Proceedings - Asia-Pacific Software Engineering Conference, APSEC