The Challenges of Bringing Cryptography from Research Papers to Products: Results from an Interview Study with Experts K Fischer, I Trummová, P Gajland, Y Acar, S Fahl, A Sasse 33rd USENIX Security Symposium (USENIX Security 24), 7213-7230, 2024 | 2 | 2024 |
Security Notions for the VeraGreg Framework and Their Reductions J Klemsa, I Trummová 2020 Third ISEA Conference on Security and Privacy (ISEA-ISAP), 8-20, 2020 | 2 | 2020 |
On The Challenges of Bringing Cryptography from Papers to Products: Results from an Interview Study with Experts K Fischer, I Trummová, P Gajland, Y Acar, S Fahl, A Sasse In 33rd USENIX Security Symposium, 2024 | 1 | 2024 |
" You have to read 50 different {RFCs} that contradict each other": An Interview Study on the Experiences of Implementing Cryptographic Standards N Huaman, J Suray, JH Klemmer, M Fourné, S Amft, I Trummová, Y Acar, ... 33rd USENIX Security Symposium (USENIX Security 24), 7249-7266, 2024 | 1 | 2024 |
Adoption Challenges for Cryptographic Protocols K Fischesr, I Trummová, P Gajland, Y Acar, S Fahl, MA Sasse IEEE Security & Privacy, 2024 | | 2024 |
Analýza složitosti binárních algoritmů pro modulární inverzi T Ivana České vysoké učení technické v Praze. Vypočetní a informační centrum., 2021 | | 2021 |
Formal Notions of Security for Verifiable Homomorphic Encryption J Klemsa, I Trummová Cryptology ePrint Archive, 2019 | | 2019 |
Planimetrické problémy řešené algebraickou geometrií I Trummová Univerzita Karlova, Matematicko-fyzikální fakulta, 2018 | | 2018 |