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