News

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!

Attended tinyML EMEA Innovation Forum 2023

Kanwal Batool attended a tinyML EMEA Innovation Forum 2023.

Paper Presented at IJCNN 2023

Danny van den Berg, BSc Natural and Social Sciences student majoring in Artifical Intelligence, presented the work he carried out for this thesis under the supervision of Tom Slooff (USI) and CCI at IJCNN 2023. Congratulations, Danny!

Paper Published at ACM Computing Surveys

The paper 'A Survey on Thwarting Memory Corruption in RISC-V', authored by Marco Brohet and Francesco Regazzoni, has been published at ACM Computing Surveys.

Just happened: Programming Languages in the Netherlands (PLNL) 2023

The workshop Programming Languages in the Netherlands, supported by VERSEN, was a big success. A 12-presentation programme enticed plenty of discussion amoung the 50-60 participants. The CCI group contributed by organising the event (Thomas and Grace) and by giving two talks (Christopher on Seaso and Damian on language services).

Inter-faculty UvA funding success for CCI projects

Several CCI members have projects being funded for interdisciplinary research on the theme of Responsible Digital Transformation. Interesting aspect about these projects is that they involve (Co-)PIs from at least two faculties. Both projects involve Information Law.

Postdoc Position on Digitally Enforceable Data Sharing contracts

The University of Amsterdam (UvA) is looking for a Postdoctoral Researcher in the area of programming languages, formal methods, and distributed systems. The goal of the research is to enable the integration and automatic enforcement of high-level contract specification within distributed systems for data exchange and federated data processing. Possible outcomes are: (domain-specific) software languages, system architecture designs, and prototypes for verifying contract specifications, language implementations, and auditing/monitoring components. The offered contract is for a minimum of 12 months. The closing date is the 25th of June. The ideal starting date the 1st of August.

Call for Papers: CARDIS 2023

The 22nd Smart Card Research and Advanced Application Conference (CARDIS 2023) will be hosted by CCI in Amsterdam, The Netherlands, on November 15-16, 2023, and is seeking original papers on the design, development, deployment, evaluation, penetration testing and application of smart cards and secure embedded systems.