Wil P.A.J. Michiels

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

1 Citation (Scopus)

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., 1 Oct 2019, In : Journal of Cryptology. 32, 4, p. 1095-1143 49 p.

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

Cryptography

Attack

Fault Analysis

Reverse engineering

Fault Injection

2018

2 Citations (Scopus)

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

25 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

267 Downloads (Pure)

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

33 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

Planning

Manufacturing

Optimization problem

Combinatorial optimization

Simulated annealing

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)

10 Downloads (Pure)

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

98 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

120 Downloads (Pure)

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)

Open Access

File

2003

7 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

89 Downloads (Pure)

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