Qian Guo 0001

dblp:22/2222-1 · DBLP profile ↗
← Back
33ranked-venue papers
22as first author
13since 2021 · last 2026
0000-0003-0930-3174ORCID · verified

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

Security and privacy · 17 · 12 first-author · 7 since 2021Theory of computation · 7 · 5 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 7 · 5 first-author · 2 since 2021Systems, architecture and hardware · 2 · 2 since 2021Databases, data management, data science and information retrieval · 2 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 since 2021
YearPublicationVenuePosition
2026 Breaking Optimized HQC: The First Cache-Timing Full Decryption Oracle Key-Recovery Attack in Post-quantum Cryptography
abstract
Hamming Quasi-Cyclic (HQC) has been selected by NIST for standardization in the post-quantum landscape. As deployment approaches, implementation security becomes as critical as mathematical hardness. In this work, we demonstrate that source-level constant-time coding is not a standalone guarantee: the compiled binary must inherently preserve this behavior. We identify a severe compiler-induced vulnerability within the official AVX2-optimized implementation of HQC, despite its claims of being constant-time. Although the C source code relies on secure, mask-based conditional selection, certain compiler optimizations rewrite this logic systematically. This transformation silently introduces secret-dependent control flow into the inner Reed-Muller decoding process, resulting in secret-dependent cache access patterns. Exploiting this vulnerability, we mount, to the best of our knowledge, the first cache-timing Full-Decryption-style oracle attack against a post-quantum cryptosystem. Using Flush+Reload on shared libraries, an unprivileged co-located adversary can extract fine-grained predicates of the decoder’s internal state. To achieve full key recovery, we develop a novel, reliability-aware Soft Information Set Decoding (Soft-ISD) post-processing framework. Leveraging a GPU-accelerated meet-in-the-middle strategy optimized for heterogeneous platforms (including Apple Silicon), we demonstrate end-to-end secret key recovery for hqc-1 with less than 10 s of online trace collection.
Haiyue Dong, Qian Guo 0001
CRYPTO (4)2
2026 Single-Trace Key Recovery Attacks on HQC Using Valid and Invalid Ciphertexts
Haiyue Dong, Qian Guo 0001, Denis Nabokov
EUROCRYPT (7)2
2025 Grafted Trees Bear Better Fruit: An Improved Multiple-Valued Plaintext-Checking Side-Channel Attack Against Kyber
abstract
As a prominent category of side-channel attacks (SCAs), plaintext-checking (PC) oracle-based SCAs offer the advantages of generality and operational simplicity on a targeted device. At TCHES 2023, Rajendran et al. and Tanaka et al. independently proposed the multiple-valued (MV) PC oracle, significantly reducing the required number of queries (a.k.a., traces) in the PC oracle. However, in practice, when dealing with environmental noise or inaccuracies in the waveform classifier, they still rely on majority voting or the other technique that usually results in three times the number of queries compared to the ideal case. In this paper, we propose an improved method to further reduce the number of queries of the MV-PC oracle, particularly in scenarios where the oracle is imperfect. Compared to the state-of-the-art at TCHES 2023, our proposed method reduces the number of queries for a full key recovery by more than 42.5%. The method involves three rounds. Our key observation is that coefficients recovered in the first round can be regarded as prior information to significantly aid in retrieving coefficients in the second round. This improvement is achieved through a newly designed grafted tree. Notably, the proposed method is generic and can be applied to both the NIST key encapsulation mechanism (KEM) standard Kyber and other significant candidates, such as Saber and Frodo. We have conducted extensive software simulations against Kyber-512, Kyber-768, Kyber-1024, FireSaber, and Frodo-1344 to validate the efficiency of the proposed method. An electromagnetic attack conducted on real-world implementations, using an STM32F407G board equipped with an ARM Cortex-M4 microcontroller and Kyber implementation from the public library pqm4, aligns well with our simulations.
Jinnuo Li, Muyan Shen, Qian Guo 0001, Liji Wu, Jian Weng 0001
DATE5
2025 Enhancing Key-Recovery Chosen-Ciphertext Side-Channel Attacks on NTRU Using LDPC
abstract
In this work, we introduce novel techniques for adapting the SCA-LDPC framework to NTRU-style Key Encapsulation Mechanisms (KEMs). Our approach significantly reduces the required measurements compared to prior analyses under similar oracle noise, validated through extensive simulations, and shows robustness against decision errors in the constructed oracle. Furthermore, we present the first documented power analysis attack targeting a first-order masked NTRU implementation. We constructed a plaintext-checking (PC) oracle achieving a low 0.5% decision error rate, importantly, within a practical cross-device setting where training and attack devices differ. Our results show that approximately 1250 side-channel measurements are sufficient to recover the secret key in this challenging scenario.
Denis Nabokov, Xiaofei Tong, Qian Guo 0001
ICCD3
2024 A Key-Recovery Attack on the LCMQ Authentication Protocol
abstract
We present a simple key-recovery attack on the LCMQ Authentication Protocol, an RFID authentication protocol proposed by Li, Gong, and Qin in 2013. We show that a successful attack is performed by solving a Learning Parity with Noise instance in a not-too-large dimension. For the proposed LCMQ parameters, the attack requires only a few invocations with the tag under attack. When there is no restriction on the number of invocations, state-of-the-art LPN solvers recover the keys with complexity below$2^{51}$and$2^{86}$, when attacking LCMQ parameters for security levels 80-bit and 128-bit, respectively. To the best of our knowledge, this is the first attack on LCMQ with complexity below exhaustive key search.
Thomas Johansson 0001, Qian Guo 0001
ISIT3
2024 Key Recovery Attacks on Approximate Homomorphic Encryption with Non-Worst-Case Noise Flooding Countermeasures
Qian Guo 0001, Denis Nabokov, Elias Suvanto, Thomas Johansson 0001
USENIX Security Symposium1
2024 Divide and Surrender: Exploiting Variable Division Instruction Timing in HQC Key Recovery Attacks
Robin Leander Schröder, Stefan Gast, Qian Guo 0001
USENIX Security Symposium3
2024 A New Sieving-Style Information-Set Decoding Algorithm
abstract
The problem of decoding random codes is a fundamental problem for code-based cryptography, including recent code-based candidates in the NIST post-quantum standardization process. In this paper, we present a novel Sieving-style Information-set Decoding algorithm, addressing the task of solving the syndrome decoding problem. Our approach involves maintaining a list of weight-$2p$solution vectors to a partial syndrome decoding problem and then creating new vectors by identifying pairs of vectors that collide in p positions. By gradually increasing the parity-check condition by one and repeating this process iteratively, we find the final solution(s). We show that our novel algorithm performs better than other ISDs in the memory-restricted scenario when applied to McEliece. Notably, in the case of problem instances with very low relative weight, the sieving approach uses significantly less memory compared to other ISD algorithms while being competitive in terms of performance.
Qian Guo 0001, Thomas Johansson 0001
IEEE Trans. Inf. Theory1
2023 SCA-LDPC: A Code-Based Framework for Key-Recovery Side-Channel Attacks on Post-quantum Encryption Schemes
Qian Guo 0001, Denis Nabokov, Alexander Nilsson, Thomas Johansson 0001
ASIACRYPT (4)1
2023 Do Not Bound to a Single Position: Near-Optimal Multi-positional Mismatch Attacks Against Kyber and Saber
Qian Guo 0001, Erik Mårtensson
PQCrypto1
2022 Revisiting the Concrete Security of Goldreich's Pseudorandom Generator
abstract
Local pseudorandom generators are a class of fundamental cryptographic primitives having very broad applications in theoretical cryptography. Following Couteauet al.’swork at ASIACRYPT 2018, this paper further studies the concrete security of one important class of local pseudorandom generators, i.e., Goldreich’s pseudorandom generators. Our first attack is of the guess-and-determine type. Our result significantly improves the state-of-the-art algorithm proposed by Couteauet al., in terms of both asymptotic and concrete complexity, and breaks all the challenge parameters they proposed. For instance, for a parameter set suggested for 128 bits of security, we could solve the instance faster by a factor of about 277, thereby destroying the claimed security completely. Our second attack further exploits the extremely sparse structure of the predicate$P_{5}$and combines ideas from iterative decoding. This novel attack, named guess-and-decode, substantially improves the guess-and-determine approaches for cryptographic-relevant parameters. All the challenge parameter sets proposed in Couteauet al.’swork in ASIACRYPT 2018 aiming for 80-bit (128-bit) security levels can be solved in about 258(278) operations. We suggest new parameters for achieving 80-bit (128-bit) security with respect to our attacks. We also extend the attacks to other promising predicates and investigate their resistance.
Jing Yang 0025, Qian Guo 0001, Thomas Johansson 0001, Michael Lentmaier
IEEE Trans. Inf. Theory2
2021 Faster Dual Lattice Attacks for Solving LWE with Applications to CRYSTALS
Qian Guo 0001, Thomas Johansson 0001
ASIACRYPT (4)1
2021 On the Sample Complexity of solving LWE using BKW-Style Algorithms
abstract
The Learning with Errors (LWE) problem receives much attention in cryptography, mainly due to its fundamental significance in post-quantum cryptography. Among its solving algorithms, the Blum-Kalai-Wasserman (BKW) algorithm, originally proposed for solving the Learning Parity with Noise (LPN) problem, performs well, especially for certain parameter settings with cryptographic importance. The BKW algorithm consists of two phases, the reduction phase and the solving phase. In this work, we study the performance of distinguishers used in the solving phase. We show that the Fast Fourier Transform (FFT) distinguisher from Eurocrypt'15 has the same sample complexity as the optimal distinguisher, when making the same number of hypotheses. We also show that it performs much better than theory predicts and introduce an improvement of it called the pruned FFT distinguisher. Finally, we indicate, via extensive experiments, that the sample dependency due to both LF2 and sample amplification is limited.
Qian Guo 0001, Erik Mårtensson, Paul Stankovski Wagner
ISIT1
2020 A New Decryption Failure Attack Against HQC
Qian Guo 0001, Thomas Johansson 0001
ASIACRYPT (1)1
2020 A Key-Recovery Timing Attack on Post-quantum Primitives Using the Fujisaki-Okamoto Transformation and Its Application on FrodoKEM
Qian Guo 0001, Thomas Johansson 0001, Alexander Nilsson
CRYPTO (2)1
2020 Solving LPN Using Covering Codes
abstract
Abstract We present a new algorithm for solving the LPN problem. The algorithm has a similar form as some previous methods, but includes a new key step that makes use of approximations of random words to a nearest codeword in a linear code. It outperforms previous methods for many parameter choices. In particular, we can now solve the $$(512,\frac{1}{8})$$ (512,18) LPN instance with complexity less than $$2^{80}$$ 280 operations in expectation, indicating that cryptographic schemes like HB variants and LPN-C should increase their parameter size for 80-bit security.
Qian Guo 0001, Thomas Johansson 0001, Carl Löndahl
J. Cryptol.1
2019 A Novel CCA Attack Using Decryption Errors Against LAC
Qian Guo 0001, Thomas Johansson 0001, Jing Yang 0025
ASIACRYPT (1)1
2019 A new birthday-type algorithm for attacking the fresh re-keying countermeasure
Qian Guo 0001, Thomas Johansson 0001
Inf. Process. Lett.1
2019 On the Asymptotics of Solving the LWE Problem Using Coded-BKW With Sieving
abstract
The learning with errors problem (LWE) has become a central topic in recent cryptographic research. In this paper, we present a new solving algorithm combining important ideas from previous work on improving the Blum-Kalai- Wasserman (BKW) algorithm and ideas from sieving in lattices. The new algorithm is analyzed and demonstrates an improved asymptotic performance. For the Regev parameters q = n2and √ noise level σ = n1.5/( 2π log22 n), the asymptotic complexity is 20.893nin the standard setting, improving the previously best known complexity of roughly 20.930n. The newly proposed algorithm also provides asymptotic improvements when a quantum computer is assumed or when the number of samples is limited.
Qian Guo 0001, Thomas Johansson 0001, Erik Mårtensson, Paul Stankovski Wagner
IEEE Trans. Inf. Theory1
2019 A Key Recovery Reaction Attack on QC-MDPC
abstract
Algorithms for secure encryption in a post-quantum world are currently receiving a lot of attention in the research community. One of the most promising such algorithms is the code-based scheme called QC-MDPC, which has excellent performance and a small public key size. In this paper, we present a very efficient key recovery attack on the QC-MDPC scheme using the fact that decryption uses an iterative decoding step, and this can fail with some small probability. We identify a dependence between the secret key and the failure in decoding. This can be used to build what we refer to as a distance spectrum for the secret key, which is the set of all distances between any two ones in the secret key. In a reconstruction step, we then determine the secret key from the distance spectrum. The attack has been implemented and tested on a proposed instance of QC-MDPC for 80-bit security. It successfully recovers the secret key in minutes. A slightly modified version of the attack can be applied on proposed versions of the QC-MDPC scheme that provides IND-CCA security. The attack is a bit more complex in this case, but still very much below the security level. The reason why we can break schemes with proved CCA security is that the model for these proofs typically does not include the decoding error possibility. At last, we present several algorithms for key reconstruction from an empirical distance spectrum. We first improve the naïve algorithm for key reconstruction by a factor of about 3 0000, when the parameters for 80-bit security are implemented. We further develop the algorithm to deal with errors in the distance spectrum. This ultimately reduces the requirement on the number of ciphertexts that need to be collected for a successful key recovery.
Qian Guo 0001, Thomas Johansson 0001, Paul Stankovski Wagner
IEEE Trans. Inf. Theory1
2018 Ouroboros-E: An Efficient Lattice-based Key-Exchange Protocol
abstract
The Bit Flipping algorithm is a hard decision decoding algorithm originally designed by Gallager in 1962 to decode Low Density Parity Check Codes (LDPC). It has recently proved to be much more versatile, for Moderate Parity Check Codes (MDPC) or Euclidean metric. We further demonstrate its power by proposing a noisy Euclidean version of it. This tweak allows to construct a lattice based key exchange analogous to the Ouroboros protocol for Hamming metric but with a reduction to the Short Integer Solution (SIS) problem. The very efficient decoding algorithm permits to consider smaller alphabets than for NTRU or Ring-LWE decryption algorithms. Overall we obtain a new protocol which competes with the recent NEWHOPE and Kyber proposals, and also with NTRU. The resulting scheme exploits the cyclicity of the error, and benefits from the security of the renowned SIS problem.
Jean-Christophe Deneuville, Philippe Gaborit, Qian Guo 0001, Thomas Johansson 0001
ISIT3
2017 Coded-BKW with Sieving
Qian Guo 0001, Thomas Johansson 0001, Erik Mårtensson, Paul Stankovski Wagner
ASIACRYPT (1)1
2017 Connecting and Improving Direct Sum Masking and Inner Product Masking
Romain Poussier, Qian Guo 0001, François-Xavier Standaert, Claude Carlet, Sylvain Guilley
CARDIS2
2017 Information set decoding with soft information and some cryptographic applications
abstract
The class of information set decoding algorithms is the best known way of decoding general codes, i.e. codes that admit no special structure, in the Hamming metric. Stern's algorithm is the origin of the most efficient algorithms in this class. In this paper we consider the same decoding problem but for a channel with soft information. We give a version of Stern's algorithm for a channel with soft information that includes some novel steps of ordering vectors in lists, based on reliability values. We then demonstrate how this new algorithm can be used in a few cryptographic applications, including a very efficient attack on a recently proposed McEliece-type cryptosystem.
Qian Guo 0001, Thomas Johansson 0001, Erik Mårtensson, Paul Stankovski Wagner
ISIT1
2017 A Reaction Attack on the QC-LDPC McEliece Cryptosystem
Tomás Fabsic, Viliam Hromada, Paul Stankovski Wagner, Pavol Zajac, Qian Guo 0001, Thomas Johansson 0001
PQCrypto5
2016 A Key Recovery Attack on MDPC with CCA Security Using Decoding Errors
Qian Guo 0001, Thomas Johansson 0001, Paul Stankovski Wagner
ASIACRYPT (1)1
2016 A p-ary MDPC scheme
abstract
The McEliece public key cryptosystem is an attractive general construction that has received extensive attention over the years. Recently, a very promising version called QC-MDPC, was proposed. By using binary quasi-cyclic codes, the size of the public key can be decreased significantly. The decryption step involves iterative decoding of moderate density parity check codes (MDPC). In this paper we propose a non-binary version of QC-MDPC. The errors in the new scheme are discrete Gaussian and the decryption involves a new type of iterative decoding with a non-binary alphabet. The resulting scheme improves upon the binary QC-MDPC in that the size of the pubic key can be even smaller.
Qian Guo 0001, Thomas Johansson 0001
ISIT1
2015 Coded-BKW: Solving LWE Using Lattice Codes
Qian Guo 0001, Thomas Johansson 0001, Paul Stankovski Wagner
CRYPTO (1)1
2015 A New Algorithm for Solving Ring-LPN With a Reducible Polynomial
abstract
The learning parity with noise (LPN) problem has recently proved to be of great importance in cryptology. A special and very useful case is the Ring-LPN problem, which typically provides improved efficiency in the constructed cryptographic primitive. We present a new algorithm for solving the Ring-LPN problem in the case when the polynomial used is reducible. It greatly outperforms the previous algorithms for solving this problem. Using the algorithm, we can break the Lapin authentication protocol for the proposed instance using a reducible polynomial, in ~271bit operations.
Qian Guo 0001, Thomas Johansson 0001, Carl Löndahl
IEEE Trans. Inf. Theory1
2014 Solving LPN Using Covering Codes
Qian Guo 0001, Thomas Johansson 0001, Carl Löndahl
ASIACRYPT (1)1
2013 An efficient interpolation-based systematic encoder for low-rate Blaum-Roth codes
abstract
In this paper, we propose an efficient interpolation-based systematic encoder for low-rate Blaum-Roth codes. Our algorithm is based upon an equivalent definition of [p, k] Blaum-Roth codes from the perspective of generator matrices. Moreover, applying the interpolation method first proposed by D.J.J. Versfeld et al. to the generator matrix, we then derive a formula to resolve the erasure-only decoding problem. Finally, we present a straightforward systematic encoder based on this formula. Compared to the encoders in [5] and [14], it is more efficient for low-rate codes.
Qian Guo 0001, Haibin Kan
ISIT1
2012 A novel elementary construction of matching vectors
Chen Yuan 0003, Qian Guo 0001, Haibin Kan
Inf. Process. Lett.2
2011 On systematic encoding for Blaum-Roth codes
abstract
We propose a new systematic encoding procedure for Blaum-Roth codes, i.e., Reed-Solomon(RS) codes over the polynomial rings modulo Σi=op-1xiover GF(q), where p is a prime. Our method generalizes the interpolation-based erasure-only decoder for RS codes proposed by D.J.J. Versfeld et al., which is efficient for low-rate RS codes. Later, we derive a systematic encoder from this decoder, since encoding can be implemented as a special case of decoding. Compared to the systematic encoding procedure introduced by M. Blaum an R. Roth, our encoding procedure is very efficient for low-rate Blaum-Roth codes.
Qian Guo 0001, Haibin Kan
ISIT1