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.

More

News

Better QoS for distributed software with stochastic and formal methods

Better QoS for distributed software with stochastic and formal methods

Reusability of software is a hot topic nowadays. It is easier, cheaper and more efficient to reuse parts of existing software in order to adjust or incorporate new functionalities, than to design completely new programs. However, due to the different sources and constraints of software components, it is not easy to define the Quality of Service (QoS) for newly composed software, especially when it consists of components or services provided by various geographically distributed organizations. Young-Joo Moon, PhD student at the Centrum Wiskunde & Informatica (CWI) in Amsterdam, developed a stochastic formal model to derive the end-to-end QoS of such software systems.

Better QoS for distributed software with stochastic and formal methods - Read More…

Members

Associated Members

Publications

Software

Current projects with external funding

  • Evolutionary changes in Distributed Analysis (ECiDA)
  • Reowolf

Related partners

  • Anchormen
  • Vitens
  • Stichting NLnet
    https://nlnet.nl/contact/address.html