Thomas wins distinguished reviewer award for his SLE2023 reviews
During SPLASH, Thomas was awarded the ACM Distinguished Reviewer award for his role on the programme committee of the Software Language Engineering conference.
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.
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.
