Computing the Algebraic Immunity Efficiently. - Frédéric Didier; Jean-Pierre Tillich (FSE, 2006)

Using Wiedemann's algorithm to compute the immunity against algebraic and fast algebraic attacks. - Frédéric Didier (IACR Cryptol. ePrint Arch., 2006)

Attacking the Filter Generator by Finding Zero Inputs of the Filtering Function. - Frédéric Didier (INDOCRYPT, 2007)

Finding low-weight polynomial multiples using discrete logarithm. - Frédéric Didier; Yann Laigle-Chapuy (ISIT, 2007)

Codes de Reed-Muller et cryptanalyse du registre filtré. - Frédéric Didier (2007)

Efficient erasure decoding of Reed-Solomon codes - Frédéric Didier (CoRR, 2009)

Attacking the combination generator - Frédéric Didier; Yann Laigle-Chapuy (CoRR, 2009)

SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. - Frédéric Didier; Thomas A. Henzinger; Maria Mateescu; Verena Wolf (QEST, 2010)

Approximation of event probabilities in noisy cellular processes. - Frédéric Didier; Thomas A. Henzinger; Maria Mateescu; Verena Wolf (Theor. Comput. Sci., 2011)

Invertible Extractors and Wiretap Protocols. - Mahdi Cheraghchi; Frédéric Didier; Amin Shokrollahi (IEEE Trans. Inf. Theory, 2012)

Exploiting the Structure of Unsatisfiable Cores in MaxSAT. - Carlos Ansótegui; Frédéric Didier; Joel Gabàs (IJCAI, 2015)

The CP-SAT-LP Solver (Invited Talk). - Laurent Perron; Frédéric Didier; Steven Gay (CP, 2023)

ViolationLS: Constraint-Based Local Search in CP-SAT. - Toby O. Davies; Frédéric Didier; Laurent Perron (CPAIOR (1), 2024)

Parallelising Lazy Clause Generation with Trail Sharing. - Toby O. Davies; Frédéric Didier; Laurent Perron; Peter J. Stuckey (CPAIOR (1), 2025)