EDBT 2026 Demo / reviewers in the wild / expert
Nicky Mouha
dblp:87/7630
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 |
ACISP | 1 |
| 2023 | A Vulnerability in Implementations of SHA-3, SHAKE, EdDSA, and Other NIST-Approved Algorithms
Nicky Mouha, Christopher Celi |
CT-RSA | 1 |
| 2023 | Probabilistic Related-Key Statistical Saturation Cryptanalysis
Muzhou Li, Nicky Mouha, Ling Sun 0001, Meiqin Wang 0001 |
SAC | 2 |
| 2020 | Extending NIST's CAVP Testing of Cryptographic Hash Function Implementations
Nicky Mouha, Christopher Celi |
CT-RSA | 1 |
| 2018 | Finding Bugs in Cryptographic Hash Function ImplementationsabstractCryptographic 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-RSA | 2 |
| 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 |
FSE | 6 |
| 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 Cryptography | 1 |
| 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 |
FSE | 2 |
| 2011 | Algebraic Techniques in Differential Cryptanalysis Revisited
Nicky Mouha, Bart Preneel |
ACISP | 3 |
| 2011 | Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
Nicky Mouha, Qingju Wang 0001, Dawu Gu, Bart Preneel |
Inscrypt | 1 |
| 2011 | Meet-in-the-Middle Attacks on Reduced-Round XTEA
Gautham Sekar, Nicky Mouha, Vesselin Velichkov, Bart Preneel |
CT-RSA | 2 |
| 2011 | The Additive Differential Probability of ARX
Vesselin Velichkov, Nicky Mouha, Christophe De Cannière, Bart Preneel |
FSE | 2 |
| 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 |
Inscrypt | 1 |