CRoCS
Centre for Research on Cryptography and Security
Faculty of Informatics, Masaryk University, Brno
Pinned Repositories
APDUPlay
PC/SC inspection and manipulation tool
booltest
cm_factorization
Complex multiplication based factorization
ECTester
Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected software libraries.
javacard-curated-list
Curated list of open-source Java Card applets and related applications for cryptographic smartcards
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.
minerva
Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020
open-source-development-course
Open Source Development Course
roca
ROCA: Infineon RSA key vulnerability
usable-cert-validation
Research initiative to make TLS certificate validation usable.
CRoCS's Repositories
crocs-muni/APDUPlay
PC/SC inspection and manipulation tool
crocs-muni/classifyRSAkey
crocs-muni/eacirc
Automatic problem solver based on circuit-like representation and genetic programming
crocs-muni/Arduino_EntropyAssesment
Implementation of NIST Entropy assesment tests as specified in SP800-90B in form of Arduino library.
crocs-muni/SPA-Cryptographic-Operations-Extractor
Program to extract cryptographic operations from power traces.
crocs-muni/SPA-JavaCard-Applet
JavaCard test applet with cryptographic operations like AES encryption, DES encryption, RSA or ECC key generation or data signing...
crocs-muni/acsac2017-data-tools
ACSAC 2017 paper - dataset tools
crocs-muni/CryptoStreams_CAESAR
CAESAR (Competition for Authenticated Encryption) candidates for CryptoStreams project
crocs-muni/fooling-primality-tests
Artifacts for the "Fooling primality tests on smartcards" paper at ESORICS 2020
crocs-muni/JCMemProfiler
RAM and EEPROM memory profiling tool for JavaCard platform
crocs-muni/pd
BoolTest paper related tools, random number generators, references
crocs-muni/acsac2017-certificate-transparency-java
crocs-muni/Arduino_IoT_Demo
crocs-muni/eacirc-utils
Utils for experiment creation and result postprocessing
crocs-muni/rpi-testbed-config
Config and tools for rpi testbed
crocs-muni/rtt-deployment
Set of scripts automating deployment of randomness-testing-toolkit on remote servers.
crocs-muni/certificate-transparency
Auditing for TLS certificates.
crocs-muni/Edu-hoc
Experimental and educational platform for wireless ad-hoc networking
crocs-muni/GetKeysFromOpenSSL
Attempts to retrieve RSA keys from as many OpenSSL versions as possible
crocs-muni/JeeTool
Arduino WSN network management tool
crocs-muni/Researchers_Night_Game
crocs-muni/RTTWebInterface
Web interface for Randomness Testing Toolkit.
crocs-muni/sec_amplif
crocs-muni/testbed-ansible
crocs-muni/tls-warning-collector
Automated tool for collecting screenshots of browser SSL/TLS warnings
crocs-muni/Whitebox-crypto-AES-java
Whitebox AES implementation in Java. Chow scheme.
crocs-muni/WSNProtectLayer_Arduino
crocs-muni/booltest-tools
Supporting tools for BoolTest randomness testing
crocs-muni/eanet
ANN version of EACirc
crocs-muni/open-source-development-course-hw02-2
Second homework of the Open source development course (part 2)