Marten van Dijk

Volledige naam
Prof.dr. M.E. van Dijk
Telefoon
+31 20 592 4066
Kamer
L312
Afdeling(en)
Functie(s)
Scientific Staff Member, Group leader, Professor - Vrije Universiteit
Marten van Dijk

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:

2022 - present: Full Professor, Computer Science Department, Vrije Universiteit van Amsterdam (VU)

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 Kong

Elevated to IEEE Fellow for contributions to secure processor design and encrypted computation in 2022

Research

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 which received the Intel Test of Time award 2022; 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.  He received the IEEE CS Edward J. McCluskey Technical Achievement Award 2023 for contributions to oblivious and encrypted computation.

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

Semantic Scholar: https://www.semanticscholar.org/author/Marten-van-Dijk/144534186

Scopus: https://www.scopus.com/authid/detail.uri?authorId=7102854233

DBLP: https://dblp.uni-trier.de/pid/32/1399.html

Publications

All publications

Awards

  • IEEE CS Edward J. McCluskey Technical Achievement Award 2023 (IEEE Computer Society) for contributions to oblivious and encrypted computation (see https://www.computer.org/volunteering/awards/technical-achievement) (2023)
  • ACM CCS 2023 Test of Time Award for ‘Path ORAM: An Extremely Simple Oblivious RAM Protocol’ (2013) (2023)
  • Intel Test of Time award 2022 (see https://www.intel.com/content/www/us/en/newsroom/news/hardware-security-award-winners.html#gs.8dm69r, in recognition of G.E. Suh, D. Clarke, B. Gassend, M. van Dijk, and S. Devadas, "AEGIS: Architecture for Tamper-Evident and Tamper-Resistant Processing," Proceedings of the 17th Annual ACM International Conference on Supercomputing (ICS'03), 2003) (2022)
  • 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)

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
  • Professor: Endowed professor in Secure and Intelligent Computing, Vrije Universiteit Amsterdam [VU]
  • Professor: Gratis Full Research Professor, ECE Department, University of Connecticut
  • Speaker: Invited talk "Towards Remote Verifiable Computation without Digital Secrets" at the workshop on Attacks and Solutions in Hardware
  • Speaker: Invited talk "On Strong Silicon Physical Unclonable Functions and their Machine Learning based Security Analysis" at ML4Crypto
  • Chair: (co-)PC Chair - CCSW'22: The 2022 Cloud Computing Security Workshop
  • Chair: (co-)PC Chair - Applied Cryptography and Network Security Workshops: ACNS 2022 Satellite Workshops, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA

Current projects with external funding

  • Challenges in Cybersecurity (None)