Description
Leader of the group Computer Security: Marten van Dijk.
The Computer Security group contributes to making our society a safe place with digital and physical infrastructures that can be trusted to have the best interest of citizens and industry in mind. Our work constructively contributes new mechanisms and solutions to security problems.
We are committed to bringing rigorous cryptographic style thinking to security engineering. We study, analyze, and design secure computing environments from various perspectives such as secure processor architectures and cyber physical system security but also secure machine learning functionalities. We provide a holistic approach and use various techniques for reasoning about security, safety, and resilience ranging from formal methods to cryptographic proofs.
Vacancies
No vacancies currently.
News
Start of ACCSS - new association of cybersecurity academics
Last month, members of the ACCSS association celebrated that ACCSS (ACademic Cyber Security Society) is now a formal association. Marten van Dijk, head of CWI’s Computer Security research group, is one of its Board Members.
Dutch Secure Autonomous Cloud: Nederlands initiatief voor veilige cloud
In een interview met AG Connect schetst Marten van Dijk (CWI) samen met Herbert Bos (VU) en Cees de Laat (UvA) plannen voor zijn initiatief om een Dutch Secure Autonomous Cloud (DUSAC) op te zetten. "Wij willen een eigen vertical stack bouwen, specifiek gericht op het veilig gebruiken en verwerken van data. En dat levert Nederland meer op dan alleen maar een veilige cloud".
Workshop on Dutch Secure Autonomous Cloud
A consortium of CWI and other academic partners have joined forces to create the Dutch Secure Autonomous Cloud. This is a transparent, national cloud with security guarantees for the processing and storage of confidential information.
Sung-Shik Jonkmans: Programmeren voor multicore kan makkelijker
Het ontwikkelen van multicore software is complex en ook werken veel ontwikkelaars nog met oude programmeertechnieken. Sung-Shik Jongmans betoogt in AG Connect dat typesystemen die zijn toegespitst op data én interacties een goede oplossing kunnen bieden.
Current events
Marten van Dijk in discussion with Tom Jessen at Cloud Security congress 2021
- 2021-10-11T09:45:00+02:00
- 2021-10-11T17:30:00+02:00
Marten van Dijk in discussion with Tom Jessen at Cloud Security congress 2021
Start: 2021-10-11 09:45:00+02:00 End: 2021-10-11 17:30:00+02:00
For the fast pace at which organizations are digitizing, the cloud is indispensable. Recently, the use of cloud-based services has grown enormously. Data centers and workplaces are often powered by the cloud. Valuable data can be accessed directly via the Internet. This gives a lot of flexibility, but what does this mean for security?
How do you know if your data is safe in the cloud? What can you do about this yourself and what is the responsibility of the cloud provider? During the AG Connect Cloud Security Congress 2021 you will hear the latest developments from experts and receive tips from current practical cases.
During the program, Marten van Dijk, head of CWI's Computer Security research group, will enter a discussion with Tom Jessen (chairman of the day) about 'The Future of Cloud Security' and the Dutch Secure Autonomous Cloud (DUSAC) initiative to ensure future security of the cloud (16.00-16.30h, in Dutch).
Members
Associated Members
Publications
-
Yang, Z, Yin, C, Jin, C, Ning, J, & Zhou, J. (2021). Lightweight delegated authentication with identity fraud detection for cyber-physical systems. In Proceedings of the ACM Cyber-Physical System Security Workshop. doi:10.1145/3457339.3457984
-
Albert, E, Bezirgiannis, N, de Boer, F.S, & Martin-Martin, E. (2020). A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell. Fundamenta Informaticae, 177(3-4), 203–234. doi:10.3233/FI-2020-1988
-
Hiep, H.A, Bian, J, de Boer, F.S, & de Gouw, C.P.T. (2020). History-based specification and verification of Java Collections in KeY. In Integrated Formal Methods (pp. 199–217). doi:10.1007/978-3-030-63461-2_11
-
de Boer, F.S, & Hiep, H.A. (2020). History-based specification and verification of Java collections in KeY (keynote). In FTfJP 2020 - Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2020, co-located with ECOOP 2020/SPLASH 2020 (pp. 2–3). doi:10.1145/3427761.3432349
-
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.
-
Endrullis, J, Klop, J.W, & Overbeek, R. (2020). Decreasing diagrams for confluence and commutation. Logical Methods in Computer Science, 16(1). doi:10.23638/LMCS-16(1:23)2020
-
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
-
Azadbakht, K, de Boer, F.S, Bezirgiannis, N, & de Vink, E.P. (2019). A formal actor-based model for streaming the future. Science of Computer Programming, 186. doi:10.1016/j.scico.2019.102341
-
de Boer, F.S, & Bonsangue, M.M. (2019). On the nature of symbolic execution. In Proceedings of the International Symposium on Formal Methods (pp. 64–80). doi:10.1007/978-3-030-30942-8_6
-
de Boer, F.S, Johnsen, E.B, Pun, K.I. (Ka I), & Tapia Tarifa, S.L. (2019). From SOS to Asynchronously Communicating Actors. In Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence. doi:10.1007/978-3-030-57506-9_20
Software
Extensible Coordination Tools: plug-ins for the Eclipse platform
ECT: The Extensible Coordination Tools consist of a set of plug-ins for the Eclipse platform to facilitate development of concurrency protocols and distributed applications based on the coordination language Reo.
SAGA: A run-time verifier for Java programs
SAGA is a run-time verifier for single-threaded as well as multi-threaded Java programs.
Current projects with external funding
-
Evolutionary changes in Distributed Analysis (ECiDA)
-
Reowolf 2.0: decentralized, synchronous, multi-party Internet communication (Reowolf 2.0)
Related partners
-
Anchormen
-
Vitens