Petr Svenda

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 39

Top Topics

Wireless Sensor Networks

Boolean Functions

Top Venues

Security Protocols Workshop

Publications

Adam Janovsky, Jan Jancar, Petr Svenda, Lukasz Chmielewski, Jiri Michalik, Vashek Matyas
sec-certs: Examining the security certification practice for better vulnerability mitigation. Comput. Secur. 143 (2024)
Mariia Bakhtina, Jan Kvapil, Petr Svenda, Raimundas Matulevicius
The Power of Many: Securing Organisational Identity Through Distributed Key Management. CAiSE (2024)
Adam Janovsky, Lukasz Chmielewski, Petr Svenda, Jan Jancar, Vashek Matyas
Chain of trust: Unraveling references among Common Criteria certified products. CoRR (2024)
Antonin Dufka, Jakub Janku, Petr Svenda
Trust-minimizing BDHKE-based e-cash mint using secure hardware and distributed computation. ARES (2024)
Petr Svenda, Antonin Dufka, Milan Broz, Roman Lacko, Tomas Jaros, Daniel Zatovic, Josef Pospisil
TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024 (2) (2024)
Mariia Bakhtina, Kin Long Leung, Raimundas Matulevicius, Ahmed Awad, Petr Svenda
A Decentralised Public Key Infrastructure for X-Road. ARES (2023)
Adam Janovsky, Jan Jancar, Petr Svenda, Lukasz Chmielewski, Jiri Michalik, Vashek Matyas
sec-certs: Examining the security certification practice for better vulnerability mitigation. CoRR (2023)
Lukás Zaoral, Antonin Dufka, Petr Svenda
The Adoption Rate of JavaCard Features by Certified Products and Open-Source Projects. CARDIS (2023)
Lukas Malina, Petr Muzikant, Martin Nohava, Jan Hajny, Antonin Dufka, Petr Svenda, Václav Stupka
Secure Cloud Storage System for Digital Evidence. ICUMT (2023)
Antonin Dufka, Petr Svenda
Enabling Efficient Threshold Signature Computation via Java Card API. ARES (2023)
Antonin Dufka, Vladimir Sedlacek, Petr Svenda
SHINE: Resilience via Practical Interoperability of Multi-party Schnorr Signature Schemes. SECRYPT (2022)
Petr Svenda, Rudolf Kvasnovský, Imrich Nagy, Antonin Dufka
JCAlgTest: Robust Identification Metadata for Certified Smartcards. SECRYPT (2022)
Dusan Klinec, Marek Sýs, Karel Kubícek, Petr Svenda, Vashek Matyás
Large-scale Randomness Study of Security Margins for 100+ Cryptographic Functions. SECRYPT (2022)
Lukas Nemec, Vashek Matyas, Radim Ostádal, Petr Svenda
Practical approach to re-securing compromised wireless sensor networks. FNC/MobiSPC (2021)
Adam Janovsky, Matús Nemec, Petr Svenda, Peter Sekan, Vashek Matyas
Biased RSA private keys: Origin attribution of GCD-factorable keys. CoRR (2020)
Vladimir Sedlacek, Jan Jancar, Petr Svenda
Fooling Primality Tests on Smartcards. ESORICS (2) (2020)
Vladimir Sedlacek, Jan Jancar, Petr Svenda
Fooling primality tests on smartcards. IACR Cryptol. ePrint Arch. 2020 (2020)
Adam Janovsky, Matús Nemec, Petr Svenda, Peter Sekan, Vashek Matyas
Biased RSA Private Keys: Origin Attribution of GCD-Factorable Keys. ESORICS (2) (2020)
Jan Jancar, Vladimir Sedlacek, Petr Svenda, Marek Sýs
Minerva: The curse of ECDSA nonces Systematic analysis of lattice attacks on noisy leakage of bit-length of ECDSA nonces. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2020 (4) (2020)
Vasilios Mavroudis, Petr Svenda
JCMathLib: Wrapper Cryptographic Library for Transparent and Certifiable JavaCard Applets. EuroS&P Workshops (2020)
Jan Jancar, Vladimir Sedlacek, Petr Svenda, Marek Sýs
Minerva: The curse of ECDSA nonces. IACR Cryptol. ePrint Arch. 2020 (2020)
Vladimir Sedlacek, Dusan Klinec, Marek Sýs, Petr Svenda, Vashek Matyas
I Want to Break Square-free: The 4p - 1 Factorization Method and Its RSA Backdoor Viability. ICETE (2) (2019)
Radim Ostádal, Vashek Matyas, Petr Svenda, Lukas Nemec
Crowdsourced Security Reconstitution for Wireless Sensor Networks: Secrecy Amplification. Sensors 19 (22) (2019)
Lukas Nemec, Vashek Matyas, Radim Ostádal, Petr Svenda, Pierre-Louis Palant
Evaluating Dynamic Approaches to Key (Re-)Establishment in Wireless Sensor Networks. Sensors 19 (4) (2019)
Vojtech Mrazek, Lukás Sekanina, Roland Dobai, Marek Sýs, Petr Svenda
Efficient On-Chip Randomness Testing Utilizing Machine Learning Techniques. IEEE Trans. Very Large Scale Integr. Syst. 27 (12) (2019)
Lukas Nemec, Radim Ostádal, Vashek Matyas, Petr Svenda
Adaptive Secrecy Amplification with Radio Channel Key Extraction. DCOSS (2018)
Lukas Nemec, Radim Ostádal, Vashek Matyas, Petr Svenda
Entropy Crowdsourcing - Protocols for Link Key Updates in Wireless Sensor Networks. Security Protocols Workshop (2018)
Vasilios Mavroudis, Petr Svenda
Towards Low-level Cryptographic Primitives for JavaCards. CoRR (2018)
Matús Nemec, Dusan Klinec, Petr Svenda, Peter Sekan, Vashek Matyas
Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans. ACSAC (2017)
Marek Sýs, Dusan Klinec, Petr Svenda
The Efficient Randomness Testing using Boolean Functions. SECRYPT (2017)
Vasilios Mavroudis, Andrea Cerulli, Petr Svenda, Dan Cvrcek, Dusan Klinec, George Danezis
A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components. CoRR (2017)
Matús Nemec, Marek Sýs, Petr Svenda, Dusan Klinec, Vashek Matyas
The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli. CCS (2017)
Marek Sýs, Dusan Klinec, Karel Kubícek, Petr Svenda
BoolTest: The Fast Randomness Testing Strategy Based on Boolean Functions with Application to DES, 3-DES, MD5, MD6 and SHA-256. ICETE (Selected Papers) (2017)
Vasilios Mavroudis, Andrea Cerulli, Petr Svenda, Dan Cvrcek, Dusan Klinec, George Danezis
A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components. CCS (2017)
Petr Svenda, Matús Nemec, Peter Sekan, Rudolf Kvasnovský, David Formánek, David Komárek, Vashek Matyás
The Million-Key Question - Investigating the Origins of RSA Public Keys. USENIX Security Symposium (2016)
Martin Ukrop, Petr Svenda
Avalanche Effect in Improperly Initialized CAESAR Candidates. MEMICS (2016)
Radim Ostádal, Petr Svenda, Vashek Matyás
Reconsidering Attacker Models in Ad-Hoc Networks. Security Protocols Workshop (2016)
Petr Svenda
Reconsidering Attacker Models in Ad-Hoc Networks (Transcript of Discussion). Security Protocols Workshop (2016)
Radim Ostádal, Petr Svenda, Vashek Matyás
Attackers in Wireless Sensor Networks Will Be Neither Random Nor Jumping - Secrecy Amplification Case. CANS (2016)
Vit Bukac, Radim Ostádal, Petr Svenda, Tatevik Baghdasaryan, Vashek Matyas
Challenges of Fiction in Network Security - Perspective of Virtualized Environments. Security Protocols Workshop (2015)
Dan Cvrcek, Petr Svenda
Architecture Considerations for Massively Parallel Hardware Security Platform - Building a Workhorse for Cryptography as a Service. SPACE (2015)
Radim Ostádal, Petr Svenda, Vashek Matyás
On Secrecy Amplification Protocols. WISTP (2015)
Marek Sýs, Petr Svenda, Martin Ukrop, Vashek Matyas
Constructing Empirical Tests of Randomness. SECRYPT (2014)
Radim Ostádal, Petr Svenda, Václav Matyás
A New Approach to Secrecy Amplification in Partially Compromised Networks (Invited Paper). SPACE (2014)
Petr Svenda, Martin Ukrop, Vashek Matyas
Towards Cryptographic Function Distinguishers with Evolutionary Circuits. SECRYPT (2013)
Petr Svenda, Martin Ukrop, Vashek Matyás
Determining Cryptographic Distinguishers for eStream and SHA-3 Candidate Functions with Evolutionary Circuits. ICETE (Selected Papers) (2013)
Petr Svenda
On the Origin of Yet another Channel (Transcript of Discussion). Security Protocols Workshop (2013)
Petr Svenda, Václav Matyás
On the Origin of Yet another Channel. Security Protocols Workshop (2013)
Jirí Kur, Vashek Matyás, Petr Svenda
Two Improvements of Random Key Predistribution for Wireless Sensor Networks. SecureComm (2012)
Tobiás Smolka, Petr Svenda, Lukás Sekanina, Vashek Matyás
Evolutionary Design of Message Efficient Secrecy Amplification Protocols. EuroGP (2012)
Jirí Kur, Vashek Matyas, Andriy Stetsko, Petr Svenda
Attack Detection vs. Privacy - How to Find the Link or How to Hide It? Security Protocols Workshop (2011)
Petr Svenda, Lukás Sekanina, Václav Matyás
Evolutionary design of secrecy amplification protocols for wireless sensor networks. WISEC (2009)
Stefan Köpsell, Petr Svenda
Secure Logging of Retained Data for an Anonymity Service. PrimeLife (2009)
Václav Matyás, Petr Svenda
Security and Robustness of Wireless Sensor Networks. ERCIM News 2009 (76) (2009)
Petr Svenda
Evolutionary Design of Attack Strategies. Security Protocols Workshop (2009)
Jirí Kur, Václav Matyás, Petr Svenda
Evolutionary Design of Attack Strategies. Security Protocols Workshop (2009)
Jan Bouda, Jan Krhovjak, Vashek Matyas, Petr Svenda
Towards True Random Number Generation in Mobile Environments. NordSec (2009)
Petr Svenda, Václav Matyás
Authenticated key exchange with group support for wireless sensor networks. MASS (2007)
Daniel Cvrcek, Petr Svenda
Smart Dust Security - Key Infection Revisited. Electron. Notes Theor. Comput. Sci. 157 (3) (2006)