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.
SNE Volleybal Team Outshines Competition
Participating at the Faculty of Science’s annual volleybal tournament, Team Snelle Jelle and the Daltons featuring among others CCI members Tim, Damian, Christopher and Marco, won the Most Cheerful Outfit prize.
Invited talk at the 2023 Privacy Symposium
Dr. Zoltan Mann gave an invited talk at this year’s Privacy Symposium, in the session From Cloud to Edge Security. Entitled Edge intelligence: friend or foe? (for security and privacy), Zoltan’s presentation discussed the security and privacy implications of artificial intelligence in edge computing.
Top Downloaded Article in Concurrency and Computation: Practice and Experience
Wiley awarded a “Top Downloaded Article” certificate to Dr. Zoltan Mann for his paper Comparison of workload consolidation algorithms for cloud data centers, published in the journal Concurrency and Computation: Practice and Experience.
IFIP WG11.4 elects Zoltan Mann as new chair
IFIP Working Group 11.4 “Network & Distributed Systems Security” elected Dr. Zoltan Mann as the new chair of the working group in its meeting on 16 March 2023. Zoltan takes over the chair role from Professor Dogan Kesdogan, who will continue as secretary of the working group.
