Curriculum Vitae
- Person-Related Identification Information
-
- Department
- Department of Computer Systems and Communications - Faculty of Informatics
- Employment - Position
-
- Education and Academic Qualifications
- 2019: Associate professor, Informatics, Examining and exploiting randomness for cryptography, Faculty of Informatics, Masaryk university
-
2009: doctoral degree programme,Informatics,Ph.D.,The link key security in wireless sensor networks,Faculty of Informatics, Masaryk university
-
2008: RNDr.,Applied Informatics,RNDr.,Key distribution and authentication protocols for wireless sensor networks,Faculty of Informatics, Masaryk university
-
2004: Master's degree programme,Informatics,Mgr.,Digital Rights Management,Faculty of Informatics, Masaryk university
- Employment
- 2009 – today: Faculty of informatics, Masaryk university
-
2015 – 2017: EnigmaBridge, smartcard developer and researcher
2001 – 2004: SodatSW, software security developer
- Teaching Activities
- Programming in C/C++, Security technologies, Secure coding principles, Principles of low-level programming, Secure network design
- Scientific and Research Activities
- - Implementation security of cryptographic implementations (smartcards, Trusted Platform Modules, cryptolibs)
- Threshold cryptographic implementations in cryptographic hardware
- Analysis of privacy CoinJoin protocols
- Internship
- 2023 – 2024: six-month research stay at the Turing Institute, London, UK
-
2015: six-month research stay at the IdeaSpace, Cambridge, UK
-
2008 – 2009: six-month stay at TU Dresden, Germany
- Major Publications
- ŠVENDA, Petr, Antonín DUFKA, Milan BROŽ, Roman LACKO, Tomáš JAROŠ, Daniel ZAŤOVIČ and Josef POSPISIL. TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips. Online. In IACR Transactions on Cryptographic Hardware and Embedded Systems. Bochum: Ruhr-University of Bochum, 2024, p. 714-734. ISSN 2569-2925. Available from: https://dx.doi.org/10.46586/tches.v2024.i2.714-734. URL info
- SEDLÁČEK, Vladimír, Ján JANČÁR and Petr ŠVENDA. Fooling primality tests on smartcards. In Liqun Chen, Ninghui Li, Kaitai Liang and Steve Schneider. 25th European Symposium on Research in Computer Security (ESORICS) 2020. Švýcarsko: Springer, 2020, p. 209-229. ISBN 978-3-030-59012-3. Available from: https://dx.doi.org/10.1007/978-3-030-59013-0_11. Website info
- JANOVSKÝ, Adam, Matúš NEMEC, Petr ŠVENDA, Peter SEKAN and Václav MATYÁŠ. Biased RSA private keys: Origin attribution of GCD-factorable keys. In Liqun Chen and Ninghui Li and Kaitai Liang and Steve Schneider. Computer Security – ESORICS 2020. Cham, Switzerland: Springer, 2020, p. 505-524. ISBN 978-3-030-59012-3. Available from: https://dx.doi.org/10.1007/978-3-030-59013-0_25. URL info
- JANČÁR, Ján, Vladimír SEDLÁČEK, Petr ŠVENDA and Marek SÝS. Minerva: The curse of ECDSA nonces. Online. In Amir Moradi, Mehdi Tibouchi. IACR Transactions on Cryptographic Hardware and Embedded Systems. Německo: Ruhr-University of Bochum, 2020, p. 281-308. ISSN 2569-2925. Available from: https://dx.doi.org/10.13154/tches.v2020.i4.281-308. Website info
- MAVROUDIS, Vasilios and Petr ŠVENDA. JCMathLib: Wrapper Cryptographic Library for Transparent and Certifiable JavaCard Applets. Online. In 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). Genoa, Italy: IEEE, 2020, p. 89-96. ISBN 978-1-7281-8597-2. Available from: https://dx.doi.org/10.1109/EuroSPW51379.2020.00022. URL info
- SÝS, Marek, Dušan KLINEC, Karel KUBÍČEK and Petr ŠVENDA. BoolTest: The Fast Randomness Testing Strategy Based on Boolean Functions with Application to DES, 3-DES, MD5, MD6 and SHA-256. In E-Business and Telecommunications 14th International Joint Conference, ICETE 2017. Madrid: Springer, 2019, p. 123-149. ISBN 978-3-030-11038-3. Available from: https://dx.doi.org/10.1007/978-3-030-11039-0_7. Webpage with paper supplementary materials info
- MRAZEK, Vojtech, Lukas SEKANINA, Roland DOBAI, Marek SÝS and Petr ŠVENDA. Efficient On-Chip Randomness Testing Utilizing Machine Learning Techniques. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. IEEE, 2019, vol. 27, No 12, p. 2734-2744. ISSN 1063-8210. Available from: https://dx.doi.org/10.1109/TVLSI.2019.2923848. URL info
- MAVROUDIS, Vasilios, Andrea CERULLI, Petr ŠVENDA, Daniel CVRČEK, Dušan KLINEC and George DANEZIS. A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components. Online. In ACM. CCS '17: Proceedings of the 24th ACM SIGSAC Conference on Computer and Communications Security. Dallas, TX, USA: ACM, 2017, p. 1583-1600. ISBN 978-1-4503-4946-8. Available from: https://dx.doi.org/10.1145/3133956.3133961. info
- SÝS, Marek, Dušan KLINEC and Petr ŠVENDA. The Efficient Randomness Testing using Boolean Functions. In Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017) - Volume 4: SECRYPT, Madrid, Spain, July 24-26, 2017. Madrid, Spain: SCITEPRESS, 2017, p. 92-103. ISBN 978-989-758-259-2. Available from: https://dx.doi.org/10.5220/0006425100920103. URL info
- ŠVENDA, Petr, Matúš NEMEC, Peter SEKAN, Rudolf KVAŠŇOVSKÝ, David FORMÁNEK, David KOMÁREK and Václav MATYÁŠ. The Million-Key Question – Investigating the Origins of RSA Public Keys. Online. In Thorsten Holz, Stefan Savage. Proceedings of 25th USENIX Security Symposium. Austin, Texas: USENIX Association, 2016, p. 893-910. ISBN 978-1-931971-32-4. URL info
- MATYÁŠ, Václav, Petr ŠVENDA, Andriy STETSKO, Dušan KLINEC, Filip JURNEČKA and Martin STEHLÍK. WSNProtectLayer – security middleware for wireless sensor networks. In Al-Sakib Khan Pathan. Securing Cyber-Physical Systems. USA: CRC Press, 2015, p. 119-162. CRC Press. ISBN 978-1-4987-0098-6. URL info
- CVRČEK, Daniel and Petr ŠVENDA. Architecture Considerations for Massively Parallel Hardware Security Platform. In Rajat Subhra Chakraborty, Peter Schwabe, Jon Solworth. Lecture Notes in Computer Science 9354. Berlin: Springer, 2015, p. 269-288. ISBN 978-3-319-24125-8. Available from: https://dx.doi.org/10.1007/978-3-319-24126-5_16. info
- OŠŤÁDAL, Radim, Petr ŠVENDA and Václav MATYÁŠ. A New Approach to Secrecy Amplification in Partially Compromised Networks. In Rajat Subhra Chakraborty. Security, Privacy, and Applied Cryptography Engineering - 4th International Conference. Heidelberg: Springer, 2014, p. 92-109. ISBN 978-3-319-12059-1. Available from: https://dx.doi.org/10.1007/978-3-319-12060-7_7. info
- ŠVENDA, Petr, Martin UKROP and Václav MATYÁŠ. Determining Cryptographic Distinguishers for eStream and SHA-3 Candidate Functions with Evolutionary Circuits. In Mohammad S. Obaidat, Joaquim Filipe. E-Business and Telecommunications. Berlin: Springer Berlin Heidelberg, 2014, p. 290-305. ISBN 978-3-662-44787-1. Available from: https://dx.doi.org/10.1007/978-3-662-44788-8_17. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44788-8_17 info
- SMOLKA, Tobiáš, Petr ŠVENDA, Lukáš SEKANINA and Václav MATYÁŠ. Evolutionary Design of Message Efficient Secrecy Amplification Protocols. In Alberto Moraglio, Sara Silva, Krzysztof Krawiec, Penousal Machado, Carlos Cotta. LNCS 7244, Proceedings of the 15th European Conference on Genetic Programming, EuroGP 2012. Berlin: Springer Verlag, 2012, p. 194-205. ISBN 978-3-642-29138-8. Available from: https://dx.doi.org/10.1007/978-3-642-29139-5_17. info
- KŮR, Jiří, Václav MATYÁŠ, Andriy STETSKO and Petr ŠVENDA. Attack Detection vs. Privacy - How to Find the Link or How to Hide it? In B. Christianson et al. Security Protocols XIX - 19th International Workshop, Cambridge, UK, March 2011, Revised Selected Papers. Neuveden: Springer Heidelberg Dordrecht London New York, 2011, p. 189-199. ISBN 978-3-642-25866-4. Available from: https://dx.doi.org/10.1007/978-3-642-25867-1_18. info
- KÖPSELL, Stefan and Petr ŠVENDA. Law enforcement and data retention in the light of an anonymisation services. Masaryk University Journal of Law and Technology. Brno: Masarykova univerzita, 2011, 2/2011, Fall, p. 305-320. ISSN 1802-5951. URL info
- KÖPSELL, Stefan and Petr ŠVENDA. Secure Logging of Retained Data for an Anonymity Service. In M. Bessi et al. Privacy and Identity Management for Life. Berlin: Springer, 2010, p. 284-296, 15 pp. ISBN 978-3-642-14281-9. Available from: https://dx.doi.org/10.1007/978-3-642-14282-6_24. info
- SEKANINA, Lukáš and Petr ŠVENDA. Evoluční návrh protokolů pro amplifikaci bezpečnosti (Evolutionary Design of Secrecy Amplification Protocols). In Evoluční hardware. Praha: Academia, 2010, p. 298-315, 17 pp. Gerstner. ISBN 978-80-200-1729-1. URL info
- ŠVENDA, Petr, Lukáš SEKANINA and Václav MATYÁŠ. Evolutionary Design of Secrecy Amplification Protocols for Wireless Sensor Networks. In Proceedings of the second ACM conference on Wireless network security. New York, NY, USA: ACM, 2009, p. 225-236, 268 pp. ISBN 978-1-60558-460-7. info
- ŠVENDA, Petr and Václav MATYÁŠ. Authenticated Key Exchange with Group Support for Wireless Sensor Networks. In From Problem to Solution: Wireless Sensor Networks Security. New York, USA: Nova Science Publishers, 2009, p. 285-311, 23 pp. Distributed, Cluster and Grid Computing book serie. ISBN 978-1-60456-457-0. info
- KRHOVJÁK, Jan, Petr ŠVENDA and Václav MATYÁŠ. The Sources of Randomness in Mobile Devices. In Proceeding of the 12th Nordic Workshop on Secure IT Systems. Kringlan 1, 103 Reykjavik: Reykjavik University, 2007, p. 73-84, 163 pp. ISBN 978-9979948346. info
2024/08/08