Program Verification (ESSCaSS 2026)
Part 1: Program Verification Part 2: From Vibe Coding to Vibe Proving
RESULTS
Common Criteria Security Certification (ESSCaSS 2026)
This presentation is divided into the following two parts: 1) Process, Proof, and Practice: Common Criteria Security Certification 2) The Reality of Certified Security: Mining the CC and FIPS Ecosystems with sec-certs
CHESS Showcases Cybersecurity Research and Innovation at ESSCaSS 2026
The Horizon Europe project CHESS – Cyber-security Excellence Hub in Estonia and South Moravia co-sponsored the 23rd Estonian Summer School on Computer and Systems Science (ESSCaSS 2026), held from 18–21 August in the coastal village of Käsmu, Estonia. Organized by the University of Tartu Institute of Computer Science, ESSCaSS is… Read More »CHESS Showcases Cybersecurity Research and Innovation at ESSCaSS 2026
Securing Organisational Digital Identity: A Full-Lifecycle Approach to Distributed Key Management
Authors: Mariia Bakhtina, Jan Kvapil, Petr Švenda & Raimundas Matulevičius Abstract: Organisational Digital Identity (ODI) commonly relies on keys controlled by a single entity, creating a single point of failure and preventing organisations from cryptographically enforcing custom access policies. Migrating to fully decentralised identity infrastructures is costly and time-consuming, especially… Read More »Securing Organisational Digital Identity: A Full-Lifecycle Approach to Distributed Key Management
CHESS Participation at the Information Security Summit Prague (IS2)
As the CHESS project enters its final phase, consortium members continue to share project results with the communities that can put them into practice. At the beginning of June, eleven project members attended the Information Security Summit Prague (IS2), one of the longest-running cybersecurity conferences in Central Europe. CHESS contributed… Read More »CHESS Participation at the Information Security Summit Prague (IS2)
