Publikace
Počet publikací: 217
Články ve sbornících
-
Constructing a Multiplayer Tangible Narrative with Interactive Puppets: New User Experiences and Design Challenges
Interactive Storytelling. ICIDS 2024, rok: 2025
-
CoolTest: Improved Randomness Testing Using Boolean Functions
ICT Systems Security and Privacy Protection. SEC 2025. IFIP Advances in Information and Communication Technology, rok: 2025
-
Cybersecurity Study Programs: What's in a Name?
Proceedings of the 56th ACM Technical Symposium on Computer Science Education, rok: 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, rok: 2025
-
Database and Corpora Creation within RapCor Project for Czech
Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2025, rok: 2025
-
Decompose and conquer: ZVP attacks on GLV curves
Applied Cryptography and Network Security, rok: 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, rok: 2025
-
Diagnosable Code Duplication in Introductory Programming
Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1, rok: 2025
-
ECTester: Reverse-engineering side-channel countermeasures of ECC implementations
IACR Transactions on Cryptographic Hardware and Embedded Systems, rok: 2025
-
Emotion Recognition in Robotic Healthcare: A New Approach to Mitigating Professional Burnout Syndrome
IEEE International Conference on Systems, Man, and Cybernetics (SMC), rok: 2025