Publications
Total number of publications: 217
Conference proceedings
-
Constructing a Multiplayer Tangible Narrative with Interactive Puppets: New User Experiences and Design Challenges
Interactive Storytelling. ICIDS 2024, year: 2025
-
CoolTest: Improved Randomness Testing Using Boolean Functions
ICT Systems Security and Privacy Protection. SEC 2025. IFIP Advances in Information and Communication Technology, year: 2025
-
Cybersecurity Study Programs: What's in a Name?
Proceedings of the 56th ACM Technical Symposium on Computer Science Education, year: 2025
-
Data Race Detection with Frama-C (Competition Contribution)
Proc. of 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems – TACAS'25 as a competition contribution within the 14th International Competition on Software Verification – SV-COMP'25, year: 2025
-
Database and Corpora Creation within RapCor Project for Czech
Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2025, year: 2025
-
Decompose and conquer: ZVP attacks on GLV curves
Applied Cryptography and Network Security, year: 2025
-
Demonstrating Ruh: A Serious Mobile AR Game Exploring 3D Interactive Markers to Harmonise Physical and Virtual Realities
Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, year: 2025
-
Diagnosable Code Duplication in Introductory Programming
Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1, year: 2025
-
ECTester: Reverse-engineering side-channel countermeasures of ECC implementations
IACR Transactions on Cryptographic Hardware and Embedded Systems, year: 2025
-
Emotion Recognition in Robotic Healthcare: A New Approach to Mitigating Professional Burnout Syndrome
IEEE International Conference on Systems, Man, and Cybernetics (SMC), year: 2025