quapka's repositories
javus
JavaCard Vulnerability Scanner is a framework for testing the security of JavaCards. It does so by executing several POC attacks directly on the JavaCard. The potential for locking/bricking the JavaCard during the process is high, therefore it should be ran on spare JavaCards dedicated for testing and research.
actions
GitHub Actions by Extenda Retail
actions-1
Github actions for Haskell CI
cpython
The Python programming language
cryptoki-bridge
Implementation of the Cryptoki library defined by the PKCS#11 standard that utilizes Meesign for asymmetric cryptography.
ECTester
Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected software libraries.
ehn-sign-verify-python-trivial
Extremely minimal python implementation of the eHN-S protocol.
expecto-anything
Testing repo for general use.
grammarinator
ANTLR v4 grammar-based test generator
high-assurance-crypto
This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorithms.
jupyter_contrib_nbextensions
A collection of various notebook extensions for Jupyter
libxcrypt
Extended crypt library for descrypt, md5crypt, bcrypt, and others
logging-log4j2
Apache Log4j 2 is an upgrade to Log4j that provides significant improvements over its predecessor, Log4j 1.x, and provides many of the improvements available in Logback while fixing some inherent problems in Logback's architecture.
MFKDF
JavaScript Implementation of a Multi-Factor Key Derivation Function (MFKDF)
pycryptodome
A self-contained cryptographic library for Python
RSA
RSA implementation in pure Rust
runner
The Runner for GitHub Actions :rocket:
shoup
A prototype implementation of Shoup's threshold RSA
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)
tpm2-algtest
A tool for testing and measuring TPM 2.0 crypto functionality.
wycheproof
Project Wycheproof tests crypto libraries against known attacks.
X-Road
Source code of the X-Road® data exchange layer software
xroad-threshold-signatures
This repository explains how to deploy threshold signatures through the PKCS#11 interface to the data exchange system X-Road.