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
Current events
Workshop Dutch Secure Autonomous Cloud
- 2020-12-10T13:00:00+01:00
- 2020-12-10T16:00:00+01:00
Workshop Dutch Secure Autonomous Cloud
Start: 2020-12-10 13:00:00+01:00 End: 2020-12-10 16:00:00+01:00
Join the interactive workshop around the formation of the Dutch Secure Autonomous Cloud: a transparent, national cloud with security guarantees for the processing and storage of confidential information. The workshop serves as the first step in developing an ambitious national project proposal within the Long Term Programmes grant scheme.
The workshop serves as a platform for participants to present their questions and challenges to science and to exchange views. It is open to public authorities and representatives from all industrial and societal sectors.
The workshop will take place on Thursday 10 December from 13.00 to 16.00, and is an initiative of Centrum Wiskunde & Informatica, Delft University of Technology, Eindhoven University of Technology, Radboud University, Vrije Universiteit, and the University of Amsterdam. Registration is required, through this webpage: https://portals.project.cwi.nl/dutch-secure-autonomous-cloud/registration
Background
Dutch governments and companies are completely dependent on foreign hardware and software suppliers for the storage, management and processing of growing amounts of data. As a result, they lose control over their data, and security standards are not guaranteed. Take, for example, the exchange of sensitive data; how sure are we that access rights to this data are securely verified? What guarantees are there that an attacker will not mimic or tamper with the verification process itself?
The answer is that at the moment there are virtually no guarantees and a complex hardware and software stack of American and Chinese origin: 'Big Tech' has to be trusted. The development of a transparent, national cloud, with security guarantees for the processing and storage of confidential information, could turn the tide and do justice to security standards, privacy legislation and digital autonomy.
Workshop
The workshop provides a platform for participants to present their questions and challenges to science and to exchange views. In addition, the more substantive and technical aspects of a national cloud facility will be discussed. The workshop serves as the first step in developing an ambitious national project proposal within the Long Term Programmes grant (minimum size: 30M€, first deadline: 26 January 2021).
Members
Associated Members
Publications
-
Dokter, K.P.C, Gadducci, F, Lion, B, & Santini, F. (2021). Soft constraint automata with memory. Journal of Logical and Algebraic Methods in Programming, 118. doi:10.1016/j.jlamp.2020.100615
-
Hiep, H.A, Bian, J, de Boer, F.S, & de Gouw, C.P.T. (2020). A Tutorial on Verifying LinkedList Using KeY. In Deductive Software Verification: Future Perspectives.
-
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
-
Hiep, H.A, Maathuis, O, Bian, J, de Boer, F.S, van Eekelen, M, & de Gouw, C.P.T. (2020). Verifying OpenJDK's LinkedList using KeY. In TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems (pp. 217–234). doi:10.1007/978-3-030-45237-7_13
-
Serbanescu, V.N, & de Boer, F.S. (2020). On the nature of cooperative scheduling in active objects. In Proceedigns of the 35th Annual ACM Symposium on Applied Computing (pp. 1322–1329). doi:10.1145/3341105.3373896
-
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
-
Azadbakht, K. (2019, December 11). Asynchronous programming in the abstract behavioural specification language.
-
de Boer, F.S, & Hiep, H.A. (2019). Axiomatic characterization of trace reachability for concurrent objects. In Proceedings of the 15th International Conference on integrated Formal Methods (pp. 157–174). doi:10.1007/978-3-030-34968-4_9
-
Esterhuyse, C.A, & Hiep, H.A. (2019). Reowolf: Synchronous multi-party communication over the Internet?. In Proceedings of the 16th International Conference on Formal Aspects of Component Software. doi:10.1007/978-3-030-40914-2_12
-
Kappé, T.W.J, Lion, B, Arbab, F, & Talcott, C. (2019). Soft component automata: Composition, compilation, logic, and verification. Science of Computer Programming, 183. doi:10.1016/j.scico.2019.08.001
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