Publikace
Počet publikací: 228
Články ve sbornících
-
Trust-minimizing BDHKE-based e-cash mint using secure hardware and distributed computation
Proceedings of the 19th International Conference on Availability, Reliability and Security (ARES '24), rok: 2024
-
Twin-Width Meets Feedback Edges and Vertex Integrity
International Symposium on Parameterized and Exact Computation (IPEC), rok: 2024
-
Twin-width of graphs on surfaces
49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024), rok: 2024
-
Uncertainty in real-world vehicle routing
Frontiers in Artificial Intelligence and Applications, rok: 2024
-
Using Real-world Bug Bounty Programs in Secure Coding Course: Experience Report
Proceedings of the 2024 Inno- vation and Technology in Computer Science Education V. 1 (ITiCSE 2024), rok: 2024
-
VRET ENVIRONMENTS ARCHITECTURE: ADJUSTING IMMERSIVE VIRTUAL ENVIRONMENTS FOR PSYCHOTHERAPEUTIC TRAINING
INTED2024 Proceedings of 18th International Technology, Education and Development Conference, rok: 2024
-
What Johnny thinks about using two-factor authentication on GitHub: A survey among open-source developers
Proceedings of the 21st International Workshop on Trust, Privacy and Security in the Digital Society, rok: 2024
-
When Trustless meets Trust: Blockchain Consensus Review and Reconsideration
The 28th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES), rok: 2024
-
Wireless Network Simulator for Advanced LoRa Applications
Rok: 2024
-
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, rok: 2024