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
Best Paper Award for Training DevOps engineers
Researchers from CWI's Formal Methods group won the Best Paper Award in the 6th European Conference on Service-Oriented and Cloud Computing (ESSOC) in September 2017. They were awarded the prize for their work on 'Human-in-the-Loop Simulation of Cloud Services'. The researchers are one of the first to carry out live, interactive simulation of DevOps engineers inside simulated cloud environments.
Sung-Shik Jongmans wins IPA Dissertation Award 2016
Research school IPA awarded Sung-Shik Jongmans with the IPA Dissertation Award 2016. The jury wrote: “The thesis contains theoretical contributions, novel ideas, and practical implementation results. The results have been impactful and are deemed to be of high quality and significance.”
EATCS Presburger Award 2017 for Alexandra Silva
The 2017 Presburger Committee has unanimously selected Alexandra Silva, a Senior Lecturer at University College London as recipient of the prestigious 2017 EATCS Presburger Award for young scientists. She received the award for a large part of her PhD research, which she carried out in the Formal Methods research group at Centrum Wiskunde & Informatica (CWI) in Amsterdam.
Farhad Arbab honoured by Sharif University of Technology
CWI researcher Farhad Arbab was honoured by Sharif University of Technology in Iran as one of its fifty most outstanding alumni over the past fifty years. The alumni were selected for both their technical achievements and service to the society.
Members
Associated Members
Publications
-
Feng, H, Bonsangue, M.M, & Lion, B. (2022). From symbolic constraint automata to Promela. Journal of Logical and Algebraic Methods in Programming, 128, 100794.1–100794.19. doi:10.1016/j.jlamp.2022.100794
-
de Boer, F.S, & de Gouw, C.P.T. (2022). Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. In W Ahrendt, B Beckert, R Bubel, & E.B Johnsen (Eds.), The Logic of Software. A Tasting Menu of Formal Methods. doi:10.1007/978-3-031-08166-8_9
-
van Dijk, M.E, Nguyen, N. V, Nguyen, T. N, Nguyen, L. M, & Nguyen, P.H. (2022). Bringing Differential Private SGD to Practice: On the Independence of Gaussian Noise and the Number of Training Rounds. arXiv.org e-Print archive.
-
Mahmood, K, Nguyen, P.H, Nguyen, L. M, Nguyen, T, & van Dijk, M.E. (2021). Besting the black-box: Barrier zones for adversarial example defense. IEEE Access, 10, 1451–1474. doi:10.1109/ACCESS.2021.3138966
-
Yang, Z, Jin, C, Ning, J, Li, Z, Dinh, T.T.A, & Zhou, J. (2021). Group Time-based One-Time Passwords and its application to efficient privacy-preserving Proof of Location. In Proceedings of the Annual Computer Security Applications Conference (pp. 497–512). doi:10.1145/3485832.3488009
-
Zhang, Y, & van Dijk, M.E (Eds.). (2021). CCSW '21 : Proceedings of the 2021 Cloud Computing Security Workshop, 15.11.2021 : co-located with CCS 2021. In Y Zhang & M.E van Dijk (Eds.), . doi:10.1145/3474123
-
Lion, B, Arbab, F, & Talcott, C. (2021). A semantic model for interacting cyber-physical systems. In Electronic Proceedings in Theoretical Computer Science (pp. 77–95). doi:10.4204/EPTCS.347.5
-
Yang, Z, Bao, Z, Jin, C, Liu, Z, & Zhou, J. (2021). PLCrypto: A symmetric cryptographic library for Programmable Logic Controllers. IACR Transactions in Symmetric Cryptology, 2021(3), 170–217. doi:10.46586/tosc.v2021.i3.170-217
-
van Dijk, M.E, Gurevin, D, Jin, C, Khan, O, & Nguyen, P.H. (2021). Bilinear map based one-time signature scheme with secret key exposure. Cryptology ePrint Archive.
-
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
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
-
Reowolf 2.0: decentralized, synchronous, multi-party Internet communication (Reowolf 2.0)