Dirk Van Heule

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