Publications
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts KU Leuven
Formal Reasoning about Hardware Capability Architectures KU Leuven
Distillation of RL policies with formal guarantees via variational abstraction of Markov decision processes University of Antwerp Vrije Universiteit Brussel
Towards a Formal Specification of Multi-Paradigm Modelling University of Antwerp
An iterative requirements engineering framework based on Formal Concept Analysis and C–K theory KU Leuven
Formal Modelling, Knowledge Representation and Reasoning for Design and Development of User-centric Pervasive Software: A Meta-review KU Leuven
Wasserstein Auto-encoded MDPs Vrije Universiteit Brussel
Anonymous Lightweight Proxy Based Key Agreement for IoT (ALPKA) Vrije Universiteit Brussel
The Internet of Things (IoT) technologies interconnect a broad range of network devices, differing in terms of size, weight, functionality, and resource capabilities. The main challenge is to establish the required security features in the most constrained devices, even if they are unknown to each other and do not share common pre-distributed key material. As a consequence, there is a high need for scalable and lightweight key establishment ...
A roadmap for high assurance cryptography Vrije Universiteit Brussel
Although an active area of research for years, formal verification has still not yet reached widespread deployment. We outline the steps needed to move from low-assurance cryptography, as given by libraries such as OpenSSL, to high assurance cryptography in deployment. In detail, we outline the need for a suite of high-assurance cryptographic software with per-microarchitecture optimizations that maintain competitive speeds with existing ...