-
-
-
pyAPDUFuzzer Public
A fuzzer for APDU-based smartcard interfaces
-
sec-certs Public
Forked from crocs-muni/sec-certsTool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
Jupyter Notebook MIT License UpdatedJan 23, 2025 -
graphsense-tagpack-tool Public
Forked from graphsense/graphsense-tagpack-toolGraphSense TagPack Management Tool
Python MIT License UpdatedDec 10, 2024 -
sifatools Public
Forked from jogolden/sifatoolsSIFA-based attacks on AES
Python MIT License UpdatedDec 9, 2024 -
awesome-threshold-policies Public
Forked from mseckar/awesome-threshold-policiesA curated list of awesome Threshold Policies
Creative Commons Zero v1.0 Universal UpdatedDec 1, 2024 -
scrutiny Public
Forked from crocs-muni/scrutinyAn automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level frameworks to build and later verify profiles against reference and p…
Python MIT License UpdatedNov 24, 2024 -
-
OptimizedJCAlgs Public
Forked from crocs-muni/OptimizedJCAlgsCollection of open-source JavaCard crypto algorithms. Optimized for memory and speed with unified interface
-
MS-DOS Public
Forked from microsoft/MS-DOSThe original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes
Assembly MIT License UpdatedApr 25, 2024 -
csv-to-html-table Public
Forked from derekeder/csv-to-html-table🔽 Display any CSV (comma separated values) file as a searchable, filterable, pretty HTML table
CSS MIT License UpdatedMar 8, 2024 -
-
state_enforcer Public
Visualize program states transitions and generates enforcing methods (from provided yaml model)
-
hotp_via_ndef Public
Implementation of HMAC-based One Time Passwords via URL tag of NDEF applet
-
JCProfilerNext Public
Forked from lzaoral/JCProfilerNextProfiler for JavaCard code and a rewrite of OpenCryptoProject/JCProfiler with easier usage and much more!
Java GNU General Public License v3.0 UpdatedJul 25, 2022 -
nfc-laboratory Public
Forked from josevcm/nfc-laboratoryNFC signal and protocol analyzer using SDR receiver
C++ MIT License UpdatedFeb 14, 2022 -
TempestSDR Public
Forked from martinmarinov/TempestSDRRemote video eavesdropping using a software-defined radio platform
C GNU General Public License v3.0 UpdatedNov 15, 2021 -
JavaPresso Public
Automatically compresses multiple Java classes into a single source code file
-
JCMathLib Public
Forked from OpenCryptoProject/JCMathLibImplementation of mathematical operations with big numbers and elliptic curve points for smart cards with JavaCard platform.
-
-
-
-
TPM_PCR Public
A tool for collection of Trusted Platform Module data for the research purposes
-
jc_curve25519 Public
Forked from david-oswald/jc_curve25519Javacard implementation of Curve25519 (prototype, work-in-progress)
-
specter-javacard Public
Forked from cryptoadvance/specter-javacardJavaCard applets for Specter-DIY secrets storage
-
jcAIDScan Public
An automated scanner for installed JavaCard packages
-
GlobalPlatformPro Public
Forked from martinpaljak/GlobalPlatformPro🌐 🔐 Manage applets and keys on JavaCard-s like a pro (via command line or from your Java project)
Java GNU Lesser General Public License v3.0 UpdatedSep 21, 2020 -
-
awesome-mpc Public
Forked from rdragos/awesome-mpcA curated list of multi party computation resources and links.
UpdatedAug 25, 2020
{{ message }}