| 2025 | CPAIOR | Parallelising Lazy Clause Generation with Trail Sharing. | Toby O. Davies, Frdric Didier, Laurent Perron, Peter J. Stuckey |
| 2025 | DAC | TransRoute: A Novel Hierarchical Transistor-Level Routing Framework Beyond Standard-Cell Methodology. | Chen-Hao Hsu, David Z. Pan, Laurent Perron, Frdric Didier, Xiaoqing Xu, Hao Chen |
| 2024 | CPAIOR | ViolationLS: Constraint-Based Local Search in CP-SAT. | Toby O. Davies, Frdric Didier, Laurent Perron |
| 2023 | CP | The CP-SAT-LP Solver (Invited Talk). | Laurent Perron, Frdric Didier, Steven Gay |
| 2015 | IJCAI | Exploiting the Structure of Unsatisfiable Cores in MaxSAT. | Carlos Anstegui, Frdric Didier, Joel Gabs |
| 2009 | ISIT | Invertible extractors and wiretap protocols. | Mahdi Cheraghchi, Frdric Didier, Amin Shokrollahi |
| 2007 | INDOCRYPT | Attacking the Filter Generator by Finding Zero Inputs of the Filtering Function. | Frdric Didier |
| 2007 | ISIT | Finding low-weight polynomial multiples using discrete logarithm. | Frdric Didier, Yann Laigle-Chapuy |
| 2006 | FSE | Computing the Algebraic Immunity Efficiently. | Frdric Didier, Jean-Pierre Tillich |
| 2006 | INDOCRYPT | Using Wiedemann's Algorithm to Compute the Immunity Against Algebraic and Fast Algebraic Attacks. | Frdric Didier |