This is an old revision of the document!
RNDr. Petr Švenda, Ph.D., assistant professor
<columns 100% 21% 79%>
Security researcher at
CRoCS laboratory at
Faculty of Informatics at
Masaryk University in
Brno, Czech Republic.
Mail: svenda@fi.muni.cz
ORCID: 0000-0002-9784-7624
Twitter: @rngsec
PGP: 0x89CEB31C
Office: FIMU A406
My social links
Google Scholar
ResearchGate
Academia.edu
MUNI portal
LinkedIn
Twitter @rngsec
GitHub @petrs
Courses I teach
Low-level programming in C
Security technologies
Secure coding
Secure network design
Domain-specific devel C/C++
My coding and other projects
JCAlgTest (smartcards)
JCMathLib (smartcards)
RSA key classifier (crypto)
WSNProtectLayer (wsn/IoT)
EACirc (randomness)
APDUPlay (smartcards)
Secure MPC (smartcards)
My astrophotography (astro)
<newcolumn>
See full list of my publications. Read about research topics in CRoCS lab here. My older homepage is still available.
Secure hardware
I have a strong passion for cryptographic smartcards, both for the research and development topics. I was involved in the laboratory testing of the resilience of smartcards hardware against power and fault analysis, reverse engineering of JavaCard bytecode from the power trace (paper), security code review of JavaCard applets and applications development. I worked on data retention compliant logging for AN.ON anonymity service at TU Dresden (paper) and massively parallel cloud security hardware platform (paper). We analyzed millions RSA keys extracted from smartcards to detect biases in generated public keys (USENIXSec'16, best paper award). I started and still maintain the largest open-source database of performance and algorithmic support tests of smartcards with JavaCard platform (JCAlgTest project). I co-developed library for Bignat and ECPoint for JavaCard platform which requires no vendor proprietary API JCMathLib (BlackHat 2017) and compromise-resistant signing and key generation via secure multiparty computation protocol on a grid of smartcards (DEFCON 2017).
Randomness and entropy extraction
We work on non-tradition randomness testing battery based on genetic programming (EACirc project) with statistical tests continually adapted to analyzed binary sequence to find defects in cryptographic functions (paper). Additionally, we aim to provide guidance which part of an analyzed function is responsible for the observed defect. I was involved in practical entropy extractors from hardware sources available on mobile devices, especially from the microphone and camera input (paper, paper).
Wireless Sensor Networks (WSNs)
WSNs were my main Ph.D. research topic with thesis defended in 2009 (The link key security in wireless sensor networks, thesis). We inspect security protocols for networks with the assumption of an inevitability of partial compromise. We proposed several techniques how to maintain reasonably functional and secure network ranging from the node capture resilient key establishment (paper) over key strengthening mechanism called secrecy amplification (paper) to automatic protocol generation (paper). We developed transparent security platform via virtualized radio stack for TinyOS (WSNProtectLayer project).
Teaching and thesis supervision
I teach mostly security and applied cryptography focused courses (see list on the left), commonly with programming as the important component for deeper understanding. I really value feedback and participation - don't leave for yourself what you are happy and unhappy with.
I do supervise bc. and mgr. thesis - read first the list of available topics here and projects we work on. Then ask for a personal meeting - the majority of a thesis I supervise are customized based on a discussion with you. And don't be shy to approach me with your own favorite topic.
</columns>
My publications
2016
2010 - 2015
2004 - 2009
See full list of my publications.