News

This week at CCI: CARDIS 2023

The 22nd Smart Card Research and Advanced Application Conference (CARDIS 2023), hosted by CCI in LAB42, is taking place this week, with tutorials on Tuesday and research talks on Wednesday and Thursday.

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.

Poster demonstration @ KU Leuven

Kanwal Batool participated & had a Poster demonstration for the event of “Security & Privacy in the age of AI” organised by DistriNet Research Unit at Campus Arenberg III, KU Leuven, Heverlee, Leuven, Belgium.

Presentation @ IFIP

Kanwal Batool presented work @ IFIP, the International Federation for Information Processing, in the Working Group “Network & Distributed Systems Security”.

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.

Best Short Paper Award at CompSys 2023

Maximilian Barger, MSc Computer Security student at the Vrije Universiteit Amsterdam, received the Best Short Paper Award at CompSys 2023 for his research project that was supervised by CCI members Marco Brohet and Francesco Regazzoni. Congratulations, Max!