Publications
Total number of publications: 229
Conference proceedings
-
Play and Viz: Using Entertainment Games for Exploring Data Visualizations
Proceedings of the 19th International Conference on the Foundations of Digital Games, year: 2024
-
pyecsca: Reverse engineering black-box elliptic curve cryptography via side-channel analysis
IACR Transactions on Cryptographic Hardware and Embedded Systems, year: 2024
-
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
Year: 2024
-
REHAB24-6: Physical Therapy Dataset for Analyzing Pose Estimation Methods
17th International Conference on Similarity Search and Applications (SISAP), year: 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), year: 2024
-
Role of T-shape in IT academic research
The Human Side of Service Engineering, year: 2024
-
Scaling Learned Metric Index to 100M Datasets
17th International Conference on Similarity Search and Applications (SISAP 2024), year: 2024
-
Self-training Language Models for Arithmetic Reasoning
Findings of the 2024 Conference on Empirical Methods in Natural Language Processing, year: 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), year: 2024
-
Software Verification Witnesses 2.0
Model Checking Software - 30th International Symposium, SPIN 2024, year: 2024