During SPLASH, Thomas was awarded the ACM Distinguished Reviewer award for his role on the programme committee of the Software Language Engineering conference.

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.

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).

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.

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.