There are no reviews yet. Be the first to send feedback to the community and the maintainers!
roca
ROCA: Infineon RSA key vulnerabilityjavacard-curated-list
Curated list of open-source Java Card applets and related applications for cryptographic smartcardsJCAlgTest
Automated testing tool for algorithms from JavaCard API supported by particular smart card. Performance testing of almost all available methods. The results for more than 100+ cards.ECTester
Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected software libraries.APDUPlay
PC/SC inspection and manipulation toolcm_factorization
Complex multiplication based factorizationminerva
Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020open-source-development-course
Open Source Development Coursejavacard-gradle-template-edu
JavaCard project template for building CAP and running JCardSim with gradle + coverageusable-cert-validation
Research initiative to make TLS certificate validation usable.randomness-testing-toolkit
Randomness testing toolkit automates running and evaluating statistical testing batteriesDiSSECT
Distinguisher of Standard & Simulated Elliptic Curves via Traits.sec-certs
Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).CryptoStreams
Tool for generation of data from cryptoprimitives (block and stream ciphers, hash functions). Cryptoprimitives are round-reduced and the data can be configured for multiple testing scenarios.classifyRSAkey
OptimizedJCAlgs
Collection of open-source JavaCard crypto algorithms. Optimized for memory and speed with unified interfaceeacirc
Automatic problem solver based on circuit-like representation and genetic programmingct-tools
A repository of tools for verifying constant-timenessmeesign-client
meesign-server
ddos-vault
Collection of samples, attack tools and support files for experimenting with Denial-of-Service attacks.efd
An export of the Explicit-Formulas Database.smpc-implementations
Documents and codes relevant for practical secure multi-party implementation of crypto algorithms (RSA, ECDSA)tpm2-algtest
A tool for testing and measuring TPM 2.0 crypto functionality.rtt-statistical-batteries
Set of statistical batteries used by randomness-testing-toolkit.JCAppStore
RSABias
Python tool for black-box analysis of RSA key generation in cryptographic libraries and for RSA key classification.SPA-Cryptographic-Operations-Extractor
Program to extract cryptographic operations from power traces.JCFROST
JavaCard implementation of FROST threshold signature scheme relying only on public JavaCard API.Arduino_EntropyAssesment
Implementation of NIST Entropy assesment tests as specified in SP800-90B in form of Arduino library.SPA-JavaCard-Applet
JavaCard test applet with cryptographic operations like AES encryption, DES encryption, RSA or ECC key generation or data signing...scrutiny
An automated toolkit to analyze secure hardware, and build user-verifiable hardware profiles. SCRUTINY provides high-level frameworks to verify profiles against reference and produce detailed HTML reports. For now, SCRUTINY is capable of Java Card analysis and verification.git-ci-demo
The demo integration of GitHub and TravicCI.coinjoin-emulator
CryptoStreams_CAESAR
CAESAR (Competition for Authenticated Encryption) candidates for CryptoStreams projectpd
BoolTest paper related tools, random number generators, referencesGANet
The GANet project provides possibility to setup virtual image with target application, which is then tested by the attacks generated using genetic programming.APDULogger
Logging setup for analysis of APDU commands exchanged between blackbox terminal and blackbox smarcardacsac2017-data-tools
ACSAC 2017 paper - dataset toolsfooling-primality-tests
Artifacts for the "Fooling primality tests on smartcards" paper at ESORICS 2020cevast
CEVAST: SSL Certificate Validation and Statistics toolJCMemProfiler
RAM and EEPROM memory profiling tool for JavaCard platformopal-toolset
A set of tools for managing and analysing Opal devices.acsac2017-certificate-transparency-java
Whitebox-crypto-HMAC
eacirc-utils
Utils for experiment creation and result postprocessingpi-apdu-logger
Passive ISO7816 APDU logger for Raspberry Pirtt-deployment
Set of scripts automating deployment of randomness-testing-toolkit on remote servers.eacirc-core
scrutiny-power-traces-analyzer
SCRUTINY power traces analyzing moduleDDoSaaS_Research
Research information about DDoSaaS providersArduino_IoT_Demo
WSNProtectLayer
TinyOS layer for configurable protection of message privacy and intrusion detectionWSNProtectLayer_Arduino
bitcoin-keys-analysis
A set of tools for extraction and analysis of Bitcoin ECDSA and Schnorr keysbiometrics-utils
Utilities for assignments on biometric authenticationGetKeysFromOpenSSL
Attempts to retrieve RSA keys from as many OpenSSL versions as possibleEdu-hoc
Experimental and educational platform for wireless ad-hoc networkingsec_amplif
jcalgtest_results
Datasets with results collected from JCAlgTest benchmarking toolRTTWebInterface
Web interface for Randomness Testing Toolkit.tls-warning-collector
Automated tool for collecting screenshots of browser SSL/TLS warningsoneclick
JeeTool
Arduino WSN network management toolSHINE
Researchers_Night_Game
SHINE-mediator
DiSSECT-gen
bitcoin-keys-analysis-results-
Results collected by https://github.com/crocs-muni/bitcoin-keys-analysis repositorydata-generation
data generation of the given formformula-for-disaster
Artifacts for the "A formula for disaster: a unified approach to elliptic curve special-point-based attacks" paper at ASIACRYPT 2021Love Open Source and this site? Check out how you can help us