Publikace
Počet publikací: 229
Články ve sbornících
-
Play and Viz: Using Entertainment Games for Exploring Data Visualizations
Proceedings of the 19th International Conference on the Foundations of Digital Games, rok: 2024
-
pyecsca: Reverse engineering black-box elliptic curve cryptography via side-channel analysis
IACR Transactions on Cryptographic Hardware and Embedded Systems, rok: 2024
-
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
Rok: 2024
-
REHAB24-6: Physical Therapy Dataset for Analyzing Pose Estimation Methods
17th International Conference on Similarity Search and Applications (SISAP), rok: 2024
-
Research and Practice of Delivering Tabletop Exercises
Proceedings of the 29th Annual ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'24), rok: 2024
-
Role of T-shape in IT academic research
The Human Side of Service Engineering, rok: 2024
-
Scaling Learned Metric Index to 100M Datasets
17th International Conference on Similarity Search and Applications (SISAP 2024), rok: 2024
-
Self-training Language Models for Arithmetic Reasoning
Findings of the 2024 Conference on Empirical Methods in Natural Language Processing, rok: 2024
-
Skye: An Expanding PRF based Fast KDF and its Applications
Proceedings of the 19th ACM Asia Conference on Computer and Communications Security (ASIA CCS '24), rok: 2024
-
Software Verification Witnesses 2.0
Model Checking Software - 30th International Symposium, SPIN 2024, rok: 2024