Paper Accepted at DATE 2024
Our paper, Demonstrating Post-Quantum Remote Attestation for RISC-V Devices, authored by Maximilian Barger (MSc Computer Security student at VU Amsterdam), Marco Brohet and Francesco Regazzoni, has been accepted as an extended abstract at the 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Paper Accepted @SLE23
The paper titled Adaptive Structural Operational Semantics by Gwendal Jouneaux (Univ. Rennes, Inria, IRISA); Damian Frolich (University of Amsterdam); Olivier Barais (Univ. Rennes, Inria, CNRS, IRISA); Benoit Combemale (Univ. Rennes, Inria, IRISA); Gurvan Le Guernic (DGA Maîtrise de l’Information, Univ.
CCI Demoing at Science Park's Open Day
As one of the three representing teams of our Informatics Institute at the Amsterdam Science Park Open Day, CCI members Kyrian and Marco gave a demo on how scientists hack hardware–in an effort to make it more secure, afterwards.
Lorentz workshop on Future Computing for Digital Infrastructures
The Lorentz Center hosted a week-long international workshop on Future Computing for Digital Infrastructures. More than 40 experts participated and discussed current and future challenges and potential solutions in computing, including the effects on computing by artificial intelligence, sustainability, and security.
Paper Accepted @IEEE TPS 2023
The paper titled Enabling Collaborative Multi-Domain Applications: A Blockchain-Based Solution with Petri Net Workflow Modeling and Incentivization by Zhou, X., Cushing, R., Koning, R., Belloum, A., Grosso, P., Klous, S., van Engers, T.
Paper Published@AMC 2023
The paper titled The dynamics of corruption under an optional external supervision service by Xin Zhou, Adam Belloum, Michael H. Lees, Tom van Engers, Cees de Laat has been published at Applied Mathematics and Computation.
