Program Verification (ESSCaSS 2026)
Part 1: Program Verification Part 2: From Vibe Coding to Vibe Proving
CA4_Presentations
sec-certs: Insights from the world of certified computer security products and systems
RIA CyberMeetUp March 19th 2026: https://www.ria.ee/en/ria-cybermeetup-march-19th-2026
MeeSign: Threshold cryptography demonstrator
RIA CyberMeetUp March 19th 2026: https://www.ria.ee/en/ria-cybermeetup-march-19th-2026 How to convince decision makers to use threshold cryptography?
CHESS Brokerage Event in Tartu
The CHESS Brokerage Event was held on November 11, 2025, at the University of Tartu’s Institute of Computer Science, Tartu, Estonia.
Breaking the Estonian ID card revisited: tools and methods for security assessment
Presenter: Petr Švenda (Masaryk University) Venue: The Future Cryptography Conference, 2025 Link: https://futurecryptography.eu/2025-presentations/
Two-party ECDSA with JavaCard-based smartcards
Presenters: Antonín Dufka, Peeter Laud, Petr Švenda
IoV-TwinChain: Predictive Maintenance of Vehicles in Internet of Vehicles through Digital Twin and Blockchain
Presenter: Raimundas Matulevičius
Leveraging Blockchain-Enabled Digital Twins in Healthcare
Presenter: Xinjian Zhang