• Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language
    Jupyter Notebook
  • License
    MIT License
  • Created about 5 years ago
  • Updated about 2 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).

More Repositories

1

roca

ROCA: Infineon RSA key vulnerability
Python
481
star
2

javacard-curated-list

Curated list of open-source Java Card applets and related applications for cryptographic smartcards
407
star
3

JCAlgTest

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.
Java
101
star
4

ECTester

Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected software libraries.
Java
62
star
5

APDUPlay

PC/SC inspection and manipulation tool
C++
59
star
6

cm_factorization

Complex multiplication based factorization
Jupyter Notebook
35
star
7

minerva

Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020
Python
27
star
8

open-source-development-course

Open Source Development Course
24
star
9

javacard-gradle-template-edu

JavaCard project template for building CAP and running JCardSim with gradle + coverage
Java
19
star
10

usable-cert-validation

Research initiative to make TLS certificate validation usable.
Java
19
star
11

randomness-testing-toolkit

Randomness testing toolkit automates running and evaluating statistical testing batteries
C++
17
star
12

DiSSECT

Distinguisher of Standard & Simulated Elliptic Curves via Traits.
Python
14
star
13

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.
C
13
star
14

classifyRSAkey

Java
13
star
15

OptimizedJCAlgs

Collection of open-source JavaCard crypto algorithms. Optimized for memory and speed with unified interface
Java
12
star
16

eacirc

Automatic problem solver based on circuit-like representation and genetic programming
C++
12
star
17

ct-tools

A repository of tools for verifying constant-timeness
Shell
11
star
18

meesign-client

Dart
8
star
19

meesign-server

Rust
7
star
20

ddos-vault

Collection of samples, attack tools and support files for experimenting with Denial-of-Service attacks.
AutoHotkey
7
star
21

efd

An export of the Explicit-Formulas Database.
7
star
22

smpc-implementations

Documents and codes relevant for practical secure multi-party implementation of crypto algorithms (RSA, ECDSA)
6
star
23

tpm2-algtest

A tool for testing and measuring TPM 2.0 crypto functionality.
C
6
star
24

rtt-statistical-batteries

Set of statistical batteries used by randomness-testing-toolkit.
C
5
star
25

JCAppStore

Java
5
star
26

PowerTraceSimulator

Simulator and processor of power traces in the domain of cryptographic smart cards. Tools for performing Simple Power Analysis and Differential Power Analysis including preprocessing.
C++
5
star
27

RSABias

Python tool for black-box analysis of RSA key generation in cryptographic libraries and for RSA key classification.
Python
5
star
28

SPA-Cryptographic-Operations-Extractor

Program to extract cryptographic operations from power traces.
Java
5
star
29

JCFROST

JavaCard implementation of FROST threshold signature scheme relying only on public JavaCard API.
Java
4
star
30

Arduino_EntropyAssesment

Implementation of NIST Entropy assesment tests as specified in SP800-90B in form of Arduino library.
C++
4
star
31

SPA-JavaCard-Applet

JavaCard test applet with cryptographic operations like AES encryption, DES encryption, RSA or ECC key generation or data signing...
Java
4
star
32

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.
Python
4
star
33

git-ci-demo

The demo integration of GitHub and TravicCI.
C++
4
star
34

coinjoin-emulator

Python
3
star
35

CryptoStreams_CAESAR

CAESAR (Competition for Authenticated Encryption) candidates for CryptoStreams project
C++
3
star
36

pd

BoolTest paper related tools, random number generators, references
C
3
star
37

GANet

The GANet project provides possibility to setup virtual image with target application, which is then tested by the attacks generated using genetic programming.
Python
3
star
38

APDULogger

Logging setup for analysis of APDU commands exchanged between blackbox terminal and blackbox smarcard
Java
3
star
39

acsac2017-data-tools

ACSAC 2017 paper - dataset tools
Python
3
star
40

fooling-primality-tests

Artifacts for the "Fooling primality tests on smartcards" paper at ESORICS 2020
Java
3
star
41

cevast

CEVAST: SSL Certificate Validation and Statistics tool
Python
3
star
42

JCMemProfiler

RAM and EEPROM memory profiling tool for JavaCard platform
3
star
43

opal-toolset

A set of tools for managing and analysing Opal devices.
C
3
star
44

acsac2017-certificate-transparency-java

Java
2
star
45

Whitebox-crypto-HMAC

2
star
46

eacirc-utils

Utils for experiment creation and result postprocessing
Python
2
star
47

pi-apdu-logger

Passive ISO7816 APDU logger for Raspberry Pi
C++
2
star
48

rtt-deployment

Set of scripts automating deployment of randomness-testing-toolkit on remote servers.
Python
2
star
49

eacirc-core

C++
2
star
50

scrutiny-power-traces-analyzer

SCRUTINY power traces analyzing module
Java
2
star
51

DDoSaaS_Research

Research information about DDoSaaS providers
2
star
52

Arduino_IoT_Demo

C++
2
star
53

WSNProtectLayer

TinyOS layer for configurable protection of message privacy and intrusion detection
nesC
2
star
54

WSNProtectLayer_Arduino

C++
1
star
55

bitcoin-keys-analysis

A set of tools for extraction and analysis of Bitcoin ECDSA and Schnorr keys
Python
1
star
56

biometrics-utils

Utilities for assignments on biometric authentication
Python
1
star
57

GetKeysFromOpenSSL

Attempts to retrieve RSA keys from as many OpenSSL versions as possible
C
1
star
58

Edu-hoc

Experimental and educational platform for wireless ad-hoc networking
Arduino
1
star
59

sec_amplif

nesC
1
star
60

jcalgtest_results

Datasets with results collected from JCAlgTest benchmarking tool
HTML
1
star
61

RTTWebInterface

Web interface for Randomness Testing Toolkit.
Python
1
star
62

tls-warning-collector

Automated tool for collecting screenshots of browser SSL/TLS warnings
Python
1
star
63

oneclick

C++
1
star
64

JeeTool

Arduino WSN network management tool
Java
1
star
65

SHINE

Java
1
star
66

Researchers_Night_Game

nesC
1
star
67

SHINE-mediator

Rust
1
star
68

DiSSECT-gen

Python
1
star
69

bitcoin-keys-analysis-results-

Results collected by https://github.com/crocs-muni/bitcoin-keys-analysis repository
1
star
70

data-generation

data generation of the given form
Python
1
star
71

formula-for-disaster

Artifacts for the "A formula for disaster: a unified approach to elliptic curve special-point-based attacks" paper at ASIACRYPT 2021
Python
1
star