Nicky Mouha

dblp:87/7630 · DBLP profile ↗
← Back
20ranked-venue papers
8as first author
5since 2021 · last 2026
0000-0001-8861-782XORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 19 · 7 first-author · 5 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author
YearPublicationVenuePosition
2026 Key Committing Security of HCTR2, Revisited
Donghoon Chang, Yu Long Chen, Yukihito Hiraga, Kazuhiko Minematsu, Nicky Mouha, Yusuke Naito 0001, Yu Sasaki 0001, Takeshi Sugawara 0001
CRYPTO (6)5
2025 Beyond-Birthday-Bound Security with HCTR2: Cascaded Construction and Tweak-Based Key Derivation
Yu Long Chen, Yukihito Hiraga, Nicky Mouha, Yusuke Naito 0001, Yu Sasaki 0001, Takeshi Sugawara 0001
ASIACRYPT (1)3
2023 Exploring Formal Methods for Cryptographic Hash Function Implementations
Nicky Mouha
ACISP1
2023 A Vulnerability in Implementations of SHA-3, SHAKE, EdDSA, and Other NIST-Approved Algorithms
Nicky Mouha, Christopher Celi
CT-RSA1
2023 Probabilistic Related-Key Statistical Saturation Cryptanalysis
Muzhou Li, Nicky Mouha, Ling Sun 0001, Meiqin Wang 0001
SAC2
2020 Extending NIST's CAVP Testing of Cryptographic Hash Function Implementations
Nicky Mouha, Christopher Celi
CT-RSA1
2018 Finding Bugs in Cryptographic Hash Function Implementations
abstract
Cryptographic hash functions are security-critical algorithms with many practical applications, notably in digital signatures. Developing an approach to test them can be particularly difficult, and bugs can remain unnoticed for many years. We revisit the NIST hash function competition, which was used to develop the SHA-3 standard, and apply a new testing strategy to all available reference implementations. Motivated by the cryptographic properties that a hash function should satisfy, we develop four tests. The Bit-Contribution Test checks if changes in the message affect the hash value, and the Bit-Exclusion Test checks that changes beyond the last message bit leave the hash value unchanged. We develop the Update Test to verify that messages are processed correctly in chunks, and then use combinatorial testing methods to reduce the test set size by several orders of magnitude while retaining the same fault-detection capability. Our tests detect bugs in 41 of the 86 reference implementations submitted to the SHA-3 competition, including the rediscovery of a bug in all submitted implementations of the SHA-3 finalist BLAKE. This bug remained undiscovered for seven years, and is particularly serious because it provides a simple strategy to modify the message without changing the hash value returned by the implementation. We detect these bugs using a fully-automated testing approach.
Nicky Mouha, M. S. Raunak 0001, D. Richard Kuhn, Raghu Kacker
IEEE Trans. Reliab.1
2017 The Iterated Random Function Problem
Ritam Bhaumik, Nilanjan Datta, Avijit Dutta, Nicky Mouha, Mridul Nandi
ASIACRYPT (2)4
2017 Full Disk Encryption: Bridging Theory and Practice
Louiza Khati, Nicky Mouha, Damien Vergnaud
CT-RSA2
2016 Simpira v2: A Family of Efficient Permutations Using the AES Round Function
Shay Gueron, Nicky Mouha
ASIACRYPT (1)2
2015 Multi-key Security: The Even-Mansour Construction Revisited
Nicky Mouha, Atul Luykx
CRYPTO (1)1
2014 How to Securely Release Unverified Plaintext in Authenticated Encryption
Elena Andreeva 0001, Andrey Bogdanov, Atul Luykx, Bart Mennink, Nicky Mouha, Kan Yasuda
ASIACRYPT (1)5
2014 APE: Authenticated Permutation-Based Encryption for Lightweight Cryptography
Elena Andreeva 0001, Begül Bilgin, Andrey Bogdanov, Atul Luykx, Bart Mennink, Nicky Mouha, Kan Yasuda
FSE6
2014 Chaskey: An Efficient MAC Algorithm for 32-bit Microcontrollers
Nicky Mouha, Bart Mennink, Anthony Van Herrewege, Dai Watanabe, Bart Preneel, Ingrid Verbauwhede
Selected Areas in Cryptography1
2012 UNAF: A Special Set of Additive Differences with Application to the Differential Analysis of ARX
Vesselin Velichkov, Nicky Mouha, Christophe De Cannière, Bart Preneel
FSE2
2011 Algebraic Techniques in Differential Cryptanalysis Revisited
Nicky Mouha, Bart Preneel
ACISP3
2011 Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
Nicky Mouha, Qingju Wang 0001, Dawu Gu, Bart Preneel
Inscrypt1
2011 Meet-in-the-Middle Attacks on Reduced-Round XTEA
Gautham Sekar, Nicky Mouha, Vesselin Velichkov, Bart Preneel
CT-RSA2
2011 The Additive Differential Probability of ARX
Vesselin Velichkov, Nicky Mouha, Christophe De Cannière, Bart Preneel
FSE2
2009 Cryptanalysis of the ESSENCE Family of Hash Functions
Nicky Mouha, Gautham Sekar, Jean-Philippe Aumasson, Thomas Peyrin, Søren S. Thomsen, Meltem Sönmez Turan, Bart Preneel
Inscrypt1