Frédéric Didier

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 3

Top Venues

CPAIOR (1)

IJCAI

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Toby O. Davies, Frédéric Didier, Laurent Perron
ViolationLS: Constraint-Based Local Search in CP-SAT. CPAIOR (1) (2024)
Laurent Perron, Frédéric Didier, Steven Gay
The CP-SAT-LP Solver (Invited Talk). CP (2023)
Carlos Ansótegui, Frédéric Didier, Joel Gabàs
Exploiting the Structure of Unsatisfiable Cores in MaxSAT. IJCAI (2015)
Mahdi Cheraghchi, Frédéric Didier, Amin Shokrollahi
Invertible Extractors and Wiretap Protocols. IEEE Trans. Inf. Theory 58 (2) (2012)
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
Approximation of event probabilities in noisy cellular processes. Theor. Comput. Sci. 412 (21) (2011)
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. QEST (2010)
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks CoRR (2010)
Mahdi Cheraghchi, Frédéric Didier, Amin Shokrollahi
Invertible extractors and wiretap protocols. ISIT (2009)
Frédéric Didier
Efficient erasure decoding of Reed-Solomon codes CoRR (2009)
Mahdi Cheraghchi, Frédéric Didier, Amin Shokrollahi
Invertible Extractors and Wiretap Protocols CoRR (2009)
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
Approximation of Event Probabilities in Noisy Cellular Processes. CMSB (2009)
Frédéric Didier, Yann Laigle-Chapuy
Attacking the combination generator CoRR (2009)
Frédéric Didier, Yann Laigle-Chapuy
Finding low-weight polynomial multiples using discrete logarithm. ISIT (2007)
Frédéric Didier, Yann Laigle-Chapuy
Finding low-weight polynomial multiples using discrete logarithm CoRR (2007)
Frédéric Didier
Attacking the Filter Generator by Finding Zero Inputs of the Filtering Function. INDOCRYPT (2007)
Frédéric Didier
Using Wiedemann's algorithm to compute the immunity against algebraic and fast algebraic attacks. IACR Cryptol. ePrint Arch. 2006 (2006)
Frédéric Didier
Using Wiedemann's Algorithm to Compute the Immunity Against Algebraic and Fast Algebraic Attacks. INDOCRYPT (2006)
Frédéric Didier, Jean-Pierre Tillich
Computing the Algebraic Immunity Efficiently. FSE (2006)

Frédéric Didier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frédéric Didier