Dirk Van Heule

Publication Activity (10 Years)

Years Active: 1999-2016
Publications (10 Years): 3

Top Topics

Boolean Satisfiability

Clause Learning Sat Solvers

Top Venues

IACR Cryptol. ePrint Arch.

J. Satisf. Boolean Model. Comput.

Publications

Frédéric Lafitte, Liran Lerman, Olivier Markowitch, Dirk Van Heule
SAT-based cryptanalysis of ACORN. IACR Cryptol. ePrint Arch. 2016 (2016)
Frédéric Lafitte, Olivier Markowitch, Dirk Van Heule
SAT based analysis of LTE stream cipher ZUC. J. Inf. Secur. Appl. 22 (2015)
Helena Bruyninckx, Dirk Van Heule
Arbitrated Secure Authentication realized by using quantum principles. ICC (2015)
Frédéric Lafitte, Jorge Nakahara Jr., Dirk Van Heule
Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
Helena Bruyninckx, Frédéric Lafitte, Dirk Van Heule
Safe cryptographic random number generation using untrusted generators. ICC (2014)
Frédéric Lafitte, Olivier Markowitch, Dirk Van Heule
SAT based analysis of LTE stream cipher ZUC. SIN (2013)
Jérôme Dossogne, Frédéric Lafitte, Dirk Van Heule
Secure and practical threshold RSA. SIN (2013)
Rob Haelterman, Jan A. Vierendeels, Dirk Van Heule, Steve De Ridder, Helena Bruyninckx
Multi-stage solvers optimized for damping and propagation. J. Comput. Appl. Math. 235 (13) (2011)
Frédéric Lafitte, Dirk Van Heule, Julien Van hamme
Cryptographic Boolean Functions with R. R J. 3 (1) (2011)
Rob Haelterman, Joris Degroote, Dirk Van Heule, Jan A. Vierendeels
On the Similarities Between the Quasi-Newton Inverse Least Squares Method and GMRes. SIAM J. Numer. Anal. 47 (6) (2010)
Rob Haelterman, Jan A. Vierendeels, Dirk Van Heule
Optimization of the Runge-Kutta iteration with residual smoothing. J. Comput. Appl. Math. 234 (1) (2010)
Rob Haelterman, Joris Degroote, Dirk Van Heule, Jan A. Vierendeels
The Quasi-Newton Least Squares Method: A New and Fast Secant Method Analyzed for Linear Systems. SIAM J. Numer. Anal. 47 (3) (2009)
Dirk Van Heule, Albert Hoogewijs
Automated Reasoning with Ordinary Assertions and Default Assumptions. ISMVL (2001)
Dirk Van Heule, Albert Hoogewijs, Noemie Slaats
The Non-Definedness Notion in Expert Systems. Inf. Sci. 114 (1-4) (1999)