CRoCS
- Faculty of Informatics, Masaryk University, Brno
- https://crocs.fi.muni.cz
Grow your team on GitHub
GitHub is home to over 50 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Sign up
Pinned repositories
Repositories
ECTester
Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected software libraries.
usable-cert-validation
Research initiative to make TLS certificate validation usable.
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 90+ cards.
cert-validation-stats
CEVAST: SSL Certificate Validation and Statistics tool
tls-warning-collector
Automated tool for collecting screenshots of browser SSL/TLS warnings
fooling-primality-tests
Artifacts for the "Fooling primality tests on smartcards" paper at ESORICS 2020
open-source-development-course-hw02-1
Second homework of the Open source development course (part 1)
Whitebox-crypto-AES
Forked from ph4r05/Whitebox-crypto-AESWhitebox AES implementation in C++. Chow, Karroumi.
minerva
Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020
javacard-gradle-template-edu
JavaCard project template for building CAP and running JCardSim with gradle + coverage
open-source-development-course
Open Source Development Course
randomness-testing-toolkit
Randomness testing toolkit automates running and evaluating statistical testing batteries
RTTWebInterface
Web interface for Randomness Testing Toolkit.
rtt-deployment
Set of scripts automating deployment of randomness-testing-toolkit on remote servers.
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.
tpm2-algtest
A tool for testing and measuring TPM 2.0 crypto functionality.
eacirc-utils
Utils for experiment creation and result postprocessing
booltest
Forked from ph4r05/polynomial-distinguishersopen-source-development-course-hw02-2
Second homework of the Open source development course (part 2)
SPA-Cryptographic-Operations-Extractor
Program to extract cryptographic operations from power traces.
SPA-JavaCard-Applet
JavaCard test applet with cryptographic operations like AES encryption, DES encryption, RSA or ECC key generation or data signing...
smpc-implementations
Documents and codes relevant for practical secure multi-party implementation of crypto algorithms (RSA, ECDSA)
roca
ROCA: Infineon RSA key vulnerability
cm_factorization
Complex multiplication based factorization
booltest-tools
Supporting tools for BoolTest randomness testing

