News

Paper Accepted @JSS

The paper titled iCoLa+: An extensible meta-language with support for exploratory language development by Damian Frolich and L. Thomas van Binsbergen is accepted by the Journal of Systems and Software.

Just released: AMdEX Reference Architecture version 1

The primary goal of the document is to describe the AMdEX approach to sharing data and the AMdEX reference architecture comprised of governance solutions and technical solutions. Central to the approach are the AMdEX community members that cooperate as a consortium within AMdEX dataspaces and within a certain ecosystem.

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.

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.