Photo of Wil P.A.J. Michiels

View Scopus Profile

Wil P.A.J. Michiels

prof.dr.ir.

  • 182 Citations
20022019
If you made any changes in Pure these will be visible here soon.

Research Output 2002 2019

2019

Doubly half-injective PRGs for incompressible white-box cryptography

Alpirez Bock, E., Amadori, A., Bos, J. W., Brzuska, C. & Michiels, W., 3 Feb 2019, Topics in Cryptology – CT-RSA 2019 - The Cryptographers’ Track at the RSA Conference 2019, Proceedings. Matsui, M. (ed.). Cham: Springer, p. 189-209 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11405 LNCS)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Cryptography
Injective
Attack
Digital Rights Management
Incompressibility

White-box cryptography: don’t forget about grey-box attacks

Alpirez Bock, E., Bos, J. W., Brzuska, C., Hubain, C., Michiels, W., Mune, C., Sanfelix Gonzalez, E., Teuwen, P. & Treff, A., 12 Feb 2019, In : Journal of Cryptology.

Research output: Contribution to journal › Article › Academic › peer-review

Cryptography
Attack
Fault Analysis
Reverse engineering
Fault Injection
2018

On the ineffectiveness of internal encodings - Revisiting the DCA attack on white-box cryptography

Alpirez Bock, E., Brzuska, C., Michiels, W. & Treff, A., 1 Jan 2018, Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Proceedings. Springer, p. 103-120 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10892 LNCS)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Computational Analysis
Cryptography
Encoding
Attack
Internal

Theory of local search

Michiels, W., Aarts, E. H. L. & Korst, J., 13 Aug 2018, Handbook of heuristics. Martí, R., Pardalos, P. & Resende, M. (eds.). Cham: Springer, p. 299-339 41 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Combinatorial optimization
Local Search
Heuristic methods
Combinatorial Optimization Problem
Computational complexity
2016
22 Citations (Scopus)

Differential computation analysis: hiding your white-box designs is not enough

Bos, J. W., Hubain, C., Michiels, W. & Teuwen, P., 2016, Cryptographic Hardware and Embedded Systems – CHES 2016: 18th International Conference, Santa Barbara, California, August 17-19, 2016, Proceedings. Gierlichs, B. & Poschmann, A. Y. (eds.). Dordrecht: Springer, p. 215-236 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9813)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Reverse engineering
Box Product
Trace
Attack
Differential Power Analysis
2015

Differential computation analysis : hiding your white-box designs is not enough

Bos, J. W., Hubain, C., Michiels, W. P. A. J. & Teuwen, P., 2015, IACR. 22 p. (Cryptology ePrint Archive; vol. 2015/753)

Research output: Book/Report › Report › Academic

Open Access
File
Reverse engineering
Cryptography
Hardware
Data storage equipment
Industry
2014
30 Citations (Scopus)

Simulated annealing

Aarts, E., Korst, J. & Michiels, W., 1 Jan 2014, Search methodologies: introductory tutorials in optimization and decision support techniques, second edition. Burke, E. & Kendall, G. (eds.). Boston: Springer, p. 265-286 22 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Manufacturing
Simulated annealing
Planning
Cost function
Optimization problem
2012
2 Citations (Scopus)

Computer-assisted proof of performance ratios for the Differencing Method

Michiels, W. P. A. J., Aarts, E. H. L., Korst, J. H. M., Leeuwen, van, J. & Spieksma, F. C. R., 2012, In : Discrete Optimization. 9, 1, p. 1-16

Research output: Contribution to journal › Article › Academic › peer-review

Computer-assisted Proof
Mixed Integer Linear Programming
Linear programming
Programming Model
Linear Model
1 Citation (Scopus)

Finding shadows among disks

Jovanovic, N., Korst, J. H. M., Aleksovski, Z., Michiels, W. P. A. J., Lukkien, J. J. & Aarts, E. H. L., 2012, Proceedings of the 24th Canadian Conference on Computational Geometry (CCCG 2012), Charlottetown, Prince Edward Island, Canada, August 8-10, 2012. p. 89-94

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Line
Closed set
Intersect
Unit Disk
Time Complexity
2010
8 Citations (Scopus)

Opportunities in white-box cryptography

Michiels, W., Jan 2010, In : IEEE Security and Privacy. 8, 1, p. 64-67 4 p., 5403155

Research output: Contribution to journal › Article › Academic › peer-review

Cryptography
software
2 Citations (Scopus)

Scheduling TV recordings for a recommender-based DVR

Korst, J., Pronk, V., Barbieri, M., Verhaegh, W. & Michiels, W., 1 Sep 2010, ISCE 2010 - 14th IEEE International Symposium on Consumer Electronics. Institute of Electrical and Electronics Engineers, 5523716

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Tuners
Scheduling
Costs
Hard disk storage
Hardware
2007
16 Citations (Scopus)

Mechanism for software tamper resistance: an application of white-box cryptography

Michiels, W. P. A. J. & Gorissen, P., 2007, DRM'07 - Proceedings of the 2007 ACM Workshop on Digital Rights Management, 29 October 2007, Alexandria, Virginia. New York: Association for Computing Machinery, Inc, p. 82-89 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Table lookup
Cryptography
Software
2 Citations (Scopus)

Performance ratios of the Karmarkar-Karp differencing method

Michiels, W. P. A. J., Korst, J. H. M., Aarts, E. H. L. & Leeuwen, van, J., 2007, In : Journal of Combinatorial Optimization. 13, 1, p. 19-32

Research output: Contribution to journal › Article › Academic › peer-review

Worst-case Performance
Approximation algorithms
Scheduling
Polynomials
Multiprocessor Scheduling

Simulated annealing

Aarts, E. H. L., Horn, van der, P., Korst, J. H. M., Michiels, W. P. A. J. & Sontrop, H., 2007, Metaheuristic procedures for training neural networks. Alba, E. & Marti, R. (eds.). Boston, USA: Springer, p. 37-52 (Operations Research/Computer Science Interfaces Series; vol. 36,PartII)

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Continuous Optimization
Combinatorial Optimization
Metaheuristics
Simulated Annealing
Local Search

Simulated annealing

Aarts, E. H. L., Korst, J. H. M. & Michiels, W. P. A. J., 2007, Handbook of approximation algorithms and metaheuristics. Gonzales, T. F. (ed.). London: Chapman & Hall, p. 25.1-25.11 (CRC computer & information science; vol. 10)

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Simulated annealing

Theoretical aspects of local search

Michiels, W. P. A. J., Aarts, E. H. L. & Korst, J. H. M., 2007, Berlin: Springer. (Monographs in theoretical computer science)

Research output: Book/Report › Book › Academic

inspiration
optimization
readers
2005
92 Citations (Scopus)

Simulated annealing

Aarts, E. H. L., Korst, J. H. M. & Michiels, W. P. A. J., 2005, Search Methodologies : Introductory Tutorials in Optimization and Decision Support Techniques. Burke, E. K. & Kendall, G. (eds.). Berlin: Springer, p. 187-210

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

Simulated annealing
2004

Performance ratios for the differencing method

Michiels, W. P. A. J., 2004, Eindhoven: Technische Universiteit Eindhoven. 129 p.

Research output: Thesis › Phd Thesis 2 (Research NOT TU/e / Graduation TU/e) › Academic

Open Access
File
2003
6 Citations (Scopus)

Performance ratios for the differencing method applied to the balanced number partitioning problem

Michiels, W. P. A. J., Korst, J. H. M., Aarts, E. H. L. & Leeuwen, van, J., 2003, Proceedings 20th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2003, Berlin, Germany, February 27-March 1, 2003). Alt, H. & Habib, M. (eds.). Berlin: Springer, p. 583-595 (Lecture Notes in Computer Science; vol. 2607)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Partitioning
Subset Sum
Mixed Integer Linear Programming
Cardinality
Subset
1 Citation (Scopus)

Performance ratios for the Karmarkar-Karp differencing method

Michiels, W. P. A. J., Korst, J. H. M., Aarts, E. H. L. & Leeuwen, van, J., 2003, Proceedings 2nd Cologne Twente Workshop on Graphs and Combinatorial Optimization (Enschede, The Netherlands, May 14-16, 2003). Broersma, H. J. (ed.). p. 71-75 (Electronic Notes in Discrete Mathematics; vol. 13)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2002

Performance ratios for the Karmarker-Karp differencing method

Michiels, W. P. A. J., Korst, J. H. M., Aarts, E. H. L. & Leeuwen, van, J., 2002, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computer science reports; vol. 0217)

Research output: Book/Report › Report › Academic

Open Access
File