SAT-based cryptanalysis of ACORN.

Dirk Van Heule

Frédéric Lafitte Liran Lerman Olivier Markowitch Dirk Van Heule SAT-based cryptanalysis of ACORN. 521 2016 2016 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2016/521 db/journals/iacr/iacr2016.html#LafitteLMH16

Frédéric Lafitte Olivier Markowitch Dirk Van Heule SAT based analysis of LTE stream cipher ZUC. 54-65 2015 22 J. Inf. Secur. Appl. https://doi.org/10.1016/j.jisa.2014.09.004 https://www.wikidata.org/entity/Q122629006 db/journals/istr/istr22.html#LafitteMH15

Helena Bruyninckx Dirk Van Heule Arbitrated Secure Authentication realized by using quantum principles. 7420-7425 2015 ICC https://doi.org/10.1109/ICC.2015.7249512 conf/icc/2015 db/conf/icc/icc2015.html#BruyninckxH15

Frédéric Lafitte Jorge Nakahara Jr. Dirk Van Heule Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages. 1-25 2014 9 1 J. Satisf. Boolean Model. Comput. https://doi.org/10.3233/sat190099 db/journals/jsat/jsat9.html#LafitteNH14

Helena Bruyninckx Frédéric Lafitte Dirk Van Heule Safe cryptographic random number generation using untrusted generators. 731-736 2014 ICC https://doi.org/10.1109/ICC.2014.6883406 conf/icc/2014 db/conf/icc/icc2014.html#BruyninckxLH14 Jérôme Dossogne Frédéric Lafitte Dirk Van Heule Secure and practical threshold RSA. 79-85 2013 SIN https://doi.org/10.1145/2523514.2523529 conf/sin/2013 db/conf/sin/sin2013.html#DossogneLH13 Frédéric Lafitte Olivier Markowitch Dirk Van Heule SAT based analysis of LTE stream cipher ZUC. 110-116 2013 SIN https://doi.org/10.1145/2523514.2523533 conf/sin/2013 db/conf/sin/sin2013.html#LafitteMH13

Rob Haelterman Jan A. Vierendeels Dirk Van Heule Steve De Ridder Helena Bruyninckx Multi-stage solvers optimized for damping and propagation. 3775-3782 2011 235 J. Comput. Appl. Math. 13 https://doi.org/10.1016/j.cam.2011.01.024 db/journals/jcam/jcam235.html#HaeltermanVHRB11

Frédéric Lafitte Dirk Van Heule Julien Van hamme Cryptographic Boolean Functions with R. 44 2011 3 R J. 1 https://doi.org/10.32614/rj-2011-007 db/journals/rjour/rjour3.html#LafitteHh11

Rob Haelterman Jan A. Vierendeels Dirk Van Heule Optimization of the Runge-Kutta iteration with residual smoothing. 253-271 2010 234 J. Comput. Appl. Math. 1 https://doi.org/10.1016/j.cam.2009.12.023 db/journals/jcam/jcam234.html#HaeltermanVH10

Rob Haelterman Joris Degroote Dirk Van Heule Jan A. Vierendeels On the Similarities Between the Quasi-Newton Inverse Least Squares Method and GMRes. 4660-4679 2010 47 SIAM J. Numer. Anal. 6 https://doi.org/10.1137/090750354 db/journals/siamnum/siamnum47.html#HaeltermanDHV10

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. 2347-2368 2009 47 SIAM J. Numer. Anal. 3 https://doi.org/10.1137/070710469 db/journals/siamnum/siamnum47.html#HaeltermanDHV09

Dirk Van Heule Albert Hoogewijs Automated Reasoning with Ordinary Assertions and Default Assumptions. 193-200 2001 conf/ismvl/2001 ISMVL db/conf/ismvl/ismvl2001.html#HeuleH01 https://doi.org/10.1109/ISMVL.2001.924572 https://doi.ieeecomputersociety.org/10.1109/ISMVL.2001.924572

Dirk Van Heule Albert Hoogewijs Noemie Slaats The Non-Definedness Notion in Expert Systems. 53-62 1999 114 Inf. Sci. 1-4 db/journals/isci/isci114.html#HeuleHS99 https://doi.org/10.1016/S0020-0255(98)10062-2

Helena Bruyninckx Joris Degroote Jérôme Dossogne Rob Haelterman Julien Van hamme Albert Hoogewijs Frédéric Lafitte Liran Lerman Olivier Markowitch Jorge Nakahara Jr. Steve De Ridder Noemie Slaats Jan A. Vierendeels