Publikace
Počet publikací: 38
Články ve sbornících
-
“These results must be false”: A usability evaluation of constant-time analysis tools
33rd USENIX Security Symposium, rok: 2024
-
Tighter Construction of Tight Büchi Automata
Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 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 I, rok: 2024
-
TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips
IACR Transactions on Cryptographic Hardware and Embedded Systems, rok: 2024
-
Tree-Based Reconfiguration of Metamorphic Robots
2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 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
-
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
-
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