Petr Svenda's repositories
hotp_via_ndef
Implementation of HMAC-based One Time Passwords via URL tag of NDEF applet
pyAPDUFuzzer
A fuzzer for APDU-based smartcard interfaces
JavaPresso
Automatically compresses multiple Java classes into a single source code file
javus
JavaCard Vulnerability Scanner is a framework for testing the security of JavaCard. It does so by executing several POCs directly on the JavaCard. The potential for locking/bricking the JavaCard during the process is high, therefore it should be ran on spare JavaCard dedicated for testing and research.
jc_curve25519
Javacard implementation of Curve25519 (prototype, work-in-progress)
EMV-NFC-Paycard-Enrollment
A Java library used to read and extract data from NFC EMV credit cards (Android/PCSC).
specter-javacard
JavaCard applets for Specter-DIY secrets storage
awesome-mpc
A curated list of multi party computation resources and links.
GlobalPlatformPro
🌐 🔐 Manage applets and keys on JavaCard-s like a pro (via command line or from your Java project)
hwsec_lecture_notes
Lecture notes for the Hardware and Embedded Systems Security lecture
JCProfilerNext
Profiler for JavaCard code and a rewrite of OpenCryptoProject/JCProfiler with easier usage and much more!
lascar
Ledger's Advanced Side-Channel Analysis Repository
MS-DOS
The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes
nfc-laboratory
NFC signal and protocol analyzer using SDR receiver
stack-cs-activities
A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
state_enforcer
Visualize program states transitions and generates enforcing methods (from provided yaml model)
TempestSDR
Remote video eavesdropping using a software-defined radio platform
tpm-js
Learn how to use your Trusted Platform Module (TPM)