Dirk Van Heule

According to our database, Dirk Van Heule authored at least 13 papers between 1999 and 2016.

Collaborative distances:

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

2016

SAT-based cryptanalysis of ACORN.

Frédéric Lafitte, Liran Lerman, Olivier Markowitch, Dirk Van Heule

IACR Cryptol. ePrint Arch., 2016

2015

SAT based analysis of LTE stream cipher ZUC.

Frédéric Lafitte, Olivier Markowitch, Dirk Van Heule

J. Inf. Secur. Appl., 2015

Arbitrated Secure Authentication realized by using quantum principles.

Helena Bruyninckx, Dirk Van Heule

Proceedings of the 2015 IEEE International Conference on Communications, 2015

2014

Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages.

Frédéric Lafitte, Jorge Nakahara Jr., Dirk Van Heule

J. Satisf. Boolean Model. Comput., 2014

Safe cryptographic random number generation using untrusted generators.

Helena Bruyninckx, Frédéric Lafitte, Dirk Van Heule

Proceedings of the IEEE International Conference on Communications, 2014

2013

Secure and practical threshold RSA.

Jérôme Dossogne, Frédéric Lafitte, Dirk Van Heule

Proceedings of the 6th International Conference on Security of Information and Networks, 2013

2011

Cryptographic Boolean Functions with R.

Frédéric Lafitte, Dirk Van Heule, Julien Van hamme

R J., 2011

Multi-stage solvers optimized for damping and propagation.

Rob Haelterman, Jan A. Vierendeels, Dirk Van Heule, Steve De Ridder, Helena Bruyninckx

J. Comput. Appl. Math., 2011

2010

On the Similarities Between the Quasi-Newton Inverse Least Squares Method and GMRes.

Rob Haelterman, Joris Degroote, Dirk Van Heule, Jan A. Vierendeels

SIAM J. Numer. Anal., 2010

Optimization of the Runge-Kutta iteration with residual smoothing.

Rob Haelterman, Jan A. Vierendeels, Dirk Van Heule

J. Comput. Appl. Math., 2010

2009

The Quasi-Newton Least Squares Method: A New and Fast Secant Method Analyzed for Linear Systems.

Rob Haelterman, Joris Degroote, Dirk Van Heule, Jan A. Vierendeels

SIAM J. Numer. Anal., 2009

2001

Automated Reasoning with Ordinary Assertions and Default Assumptions.

Dirk Van Heule, Albert Hoogewijs

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

1999

The Non-Definedness Notion in Expert Systems.

Dirk Van Heule, Albert Hoogewijs, Noemie Slaats

Inf. Sci., 1999