Frédéric Didier

According to our database, Frédéric Didier authored at least 12 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The CP-SAT-LP Solver (Invited Talk).

Laurent Perron, Frédéric Didier, Steven Gay

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2015

Exploiting the Structure of Unsatisfiable Cores in MaxSAT.

Carlos Ansótegui, Frédéric Didier, Joel Gabàs

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2012

Invertible Extractors and Wiretap Protocols.

Mahdi Cheraghchi, Frédéric Didier, Amin Shokrollahi

IEEE Trans. Inf. Theory, 2012

2011

Approximation of event probabilities in noisy cellular processes.

Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf

Theor. Comput. Sci., 2011

2010

SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks.

Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf

Proceedings of the QEST 2010, 2010

2009

Attacking the combination generator

Frédéric Didier, Yann Laigle-Chapuy

CoRR, 2009

Efficient erasure decoding of Reed-Solomon codes

Frédéric Didier

CoRR, 2009

2007

Codes de Reed-Muller et cryptanalyse du registre filtré.

Frédéric Didier

PhD thesis, 2007

Finding low-weight polynomial multiples using discrete logarithm.

Frédéric Didier, Yann Laigle-Chapuy

Proceedings of the IEEE International Symposium on Information Theory, 2007

Attacking the Filter Generator by Finding Zero Inputs of the Filtering Function.

Frédéric Didier

Proceedings of the Progress in Cryptology, 2007

2006

Using Wiedemann's algorithm to compute the immunity against algebraic and fast algebraic attacks.

Frédéric Didier

IACR Cryptol. ePrint Arch., 2006

Computing the Algebraic Immunity Efficiently.

Frédéric Didier, Jean-Pierre Tillich

Proceedings of the Fast Software Encryption, 13th International Workshop, 2006