The Complex Cyber Infrastructure (CCI) group is part of the Informatics Institute at the University of Amsterdam. CCI focuses on the complexity of man-made systems on all scales. Cyber Infrastructure is rapidly evolving from relatively simple fixed components to programmable and virtualized objects with many degrees of freedom, owned, operated and governed by different entities in multiple administrative domains interacting on the Internet. Harnessing this complexity in a transparent, trust-able way for safe and secure data processing is a major research topic that defines the focus of CCI research. The challenges are addressed by combining methods and results from research into distributed data processing, programmable networks, policy reasoning and normative control, hardware and cryptographic security, and software language engineering.
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.