Marten van Dijk
- Full Name
- Prof.dr. M.E. van Dijk
- Function(s)
- Group leader, Scientific Staff Member
- Marten.van.Dijk@cwi.nl
- Telephone
- +31 20 592 4066
- Room
- L312
- Department(s)
- Computer Security
Biography
Education: PhD in Mathematics, Eindhoven University of Technology, 1997 M.S. in Mathematics, Cum Laude, Eindhoven University of Technology, 1993 M.S. in Computer Science, Cum Laude, Eindhoven University of Technology, 1991 Professional Experience: 2020 - present: Group Leader Computer Security, CWI 2020 - present: Gratis Full Research Professor, ECE Department, University of Connecticut 2018 - 2020: Full Professor, ECE Department, University of Connecticut 2016 - 2018: Charles H. Knapp Associate Professor, ECE Department, University of Connecticut 2013 - 2015: Associate Professor, ECE Department, University of Connecticut 2013: Research Scientist, MIT Computer Science and Artificial Intelligence Laboratory 2010 - 2012: Consultant Research Analyst, RSA Laboratories 2005 - 2010: Research Scientist, MIT Computer Science and Artificial Intelligence Laboratory 2001 - 2005: Visiting research scientist at MIT CSAIL, Philips Research Laboratories 1996 - 2001: Research Scientist in the Digital Signal Processing group, Philips Research Laboratories 1996: Cryptology Research Associate, Chinese University of Hong KongResearch
I am a computer security researcher who investigates and develops new techniques targeting solutions of foundational security problems. My aim is to bring rigorous cryptographic thinking to security engineering.
As a research scientist at MIT CSAIL, Marten worked together with Prof. Srini Devadas, with an emphasis on processor architectures that offer strong security guarantees. Most notably, this collaboration led to the introduction of the first circuit realizations of Physical Unclonable Functions (PUFs) which received the A. Richard Newton Technical Impact Award in Electronic Design Automation in 2015; it led to the design of Aegis, the first single-chip secure processor that verifies integrity and freshness of external memory; and gave rise to a simple and efficient Oblivious RAM which received a best paper award at CCS 2013. While at RSA, Marten co-designed the IRIS authenticated file system with proofs of retrievability which received the NYU-Poly AT&T Best Applied Security Paper Award, 3rd place, 2012. His work on fully homomorphic encryption over the integers was nominated (1 out of 3) for best paper award at Eurocrypt 2010. Prior to working in system security he was a research scientist at the digital signal processing group at Philips Research where he became the lead inventor of the error correcting codes used in Blu-ray disc.
Google Scholar: https://scholar.google.com/citations?user=byCWPiwAAAAJ&hl=en
Scopus: https://www.scopus.com/authid/detail.uri?authorId=7102854233
DBLP: https://dblp.uni-trier.de/pid/32/1399.html
USPTO Patent Database: http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO2&Sect2=HITOFF&p=1&u=%2Fnetahtml%2FPTO%2Fsearch-bool.html&r=0&f=S&l=50&TERM1=van+Dijk%2C+Marten&FIELD1=INNM&co1=AND&TERM2=&FIELD2=&d=PTXT
Publications
-
Jin, C, Burleson, W, van Dijk, M.E, & Rührmair, U. (2020). Erasable PUFs: Formal treatment and generic design. In ASHES 2020 - Proceedings of the 4th ACM Workshop on Attacks and Solutions in Hardware Security (pp. 21–33). doi:10.1145/3411504.3421215
-
Wisiol, N, Mühl, C, Pirnay, N, Nguyen, P.H, Margraf, M, Seifert, J.-P, … Rührmair, U. (2020). Splitting the Interpose PUF: A Novel Modeling Attack Strategy. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020(3). doi:10.13154/tches.v2020.i3.97-120
-
Canetti, R, van Dijk, M.E, Maleki, H, Rührmair, U, & Schaumont, P. (2020). Using Universal Composition to Design and Analyze Secure Complex Hardware Systems. In Proceedings of 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). doi:10.23919/DATE48585.2020.9116295
-
Pham, N.H, Nguyen, L.M, Phan, D.T, Nguyen, P.H, van Dijk, M.E, & Tran-Dinh, Q. (2020). A Hybrid Stochastic Policy Gradient Algorithm for Reinforcement Learning. In Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics.
-
Siddiqui, A.S, Nicholas, G.S, Joseph, S.R, Gui, Y, Plusquellic, J, van Dijk, M.E, & Saqib, F. (2019). Multilayer Camouflaged Secure Boot for SoCs. In Proceedings of 2019 20th International Workshop on Microprocessor/SoC Test, Security and Verification (MTV). doi:10.1109/MTV48867.2019
Professional activities
- Nominated: for the best conference paper award at IEEE NANO 2019 (R. S. Khan, N. Noor, C. Jin, S. Muneer, F. Dirisaglik, A. Cywar, P. H. Nguyen, M. van Dijk, A. Gokirmak, and H. Silva, Exploiting Lithography Limits for Hardware Security Applications, 19th IEEE International Conference on Nanotechnology, 2019)
- Nominated: Best paper candidate CHES 2012 (U. Ruhrmair and M. van Dijk, ``Practical security analysis of PUF-based two-player protocols,'' CHES 2012, 251-267, 2012)
- Nominated: for best paper award Eurocrypt'10 (one of 3), 2010 (M. van Dijk, C. Gentry, S. Halevi and V. Vaikuntanathan, ``Fully homomorphic encryption over the integers,'' Eurocrypt 2010, 24-43, 2010)
- Showcased: Reprint of ``Optical Disc System for Digital Video Recording'' by T. Narahara, S. Kobayashi, M. Hattori, Y. Shimpuku, G.J. van den Enden, J.A.H.M. Kahlman, M. van Dijk, and R. van Woudenberg, Jpn. J. Appl. Phys. Vol.39, 2000, in the book ``Origins and Successors of the Compact Disc Contributions of Philips to Optical Storage'' as a result of the IEEE Milestone in Electrical Engineering and Computing dedicated to Philips for the development of the compact disc audio player, 2009
Awards
- Most Frequently Cited Paper Award (2000-2009) Symposium on VLSI Circuits, 2017 (for J.W. Lee, D. Lim, B. Gassend, G.E. Suh, M. van Dijk, and S. Devadas,``A technique to build a secret key in integrated circuits for identification and authentication applications,'' Symposium on VLSI Circuits, 2004) (2017)
- A. Richard Newton Technical Impact Award in Electronic Design Automation (IEEE & ACM), 2015 (see https://ieee-ceda.org/awards/richard-newton-technical-impact-award-electronic-design-automation, in recognition of B. Gassend, D. Clarke, M. van Dijk, and S. Devadas, ``Silicon physical random functions,'' in the Proceedings of the 9th ACM Conference on Computer and Communications Security (CCS'02), 2002) (2015)
- ``AEGIS: Architecture for Tamper-Evident and Tamper-Resistant Processing'' (by G.E. Suh, D. Clarke, B. Gassend, M. van Dijk, and S. Devadas, published in the Proceedings of the 17th Annual ACM International Conference on Supercomputing (ICS'03), 2003) selected for inclusion in the ``25 years of International Conference on Supercomputing,'' 2014 (see https://dl.acm.org/doi/proceedings/10.1145/2591635) (2014)
- CCS Best Paper Award (one of 3, see https://www.sigsac.org/ccs.html), 2013 (for E. Stefanov, M. van Dijk, E. Shi, C.W. Fletcher, L. Ren, X. Yu, and S. Devadas, ``Path ORAM: An Extremely Simple Oblivious RAM Protocol,'' in the Proceedings of the ACM Conference on Computer and Communications Security (CCS) 2013) In addition this paper was selected as a 2018 Top Pick in Hardware and Embedded Security. (2013)
- NYU-Poly AT\&T Best Applied Security Paper Award, 3rd place, 2012 (for E. Stefanov, M. van Dijk, A. Oprea and A. Juels, ``Iris: A scalable cloud file system with efficient integrity checks,'' ACSAC'12, 2012) (2012)
- ACSAC'02 outstanding student paper award, 2002 (for B. Gassend, D. Clarke, M. van Dijk, and S. Devadas, ``Controlled Physical Random Functions,'' in the Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC'02), best student paper award, 149-160, 2002, see https://www.acsac.org/archive/) (2002)