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/cm_factorization
Complex multiplication based factorization
crocs-muni/minerva
Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020
crocs-muni/open-source-development-course
Open Source Development Course
crocs-muni/javacard-gradle-template-edu
JavaCard project template for building CAP and running JCardSim with gradle + coverage
crocs-muni/classifyRSAkey
crocs-muni/ddos-vault
Collection of samples, attack tools and support files for experimenting with Denial-of-Service attacks.
crocs-muni/smpc-implementations
Documents and codes relevant for practical secure multi-party implementation of crypto algorithms (RSA, ECDSA)
crocs-muni/JCAppStore
crocs-muni/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.
crocs-muni/SPA-Cryptographic-Operations-Extractor
Program to extract cryptographic operations from power traces.
crocs-muni/APDULogger
Logging setup for analysis of APDU commands exchanged between blackbox terminal and blackbox smarcard
crocs-muni/fooling-primality-tests
Artifacts for the "Fooling primality tests on smartcards" paper at ESORICS 2020
crocs-muni/eacirc-core
crocs-muni/eacirc-utils
Utils for experiment creation and result postprocessing
crocs-muni/rtt-deployment
Set of scripts automating deployment of randomness-testing-toolkit on remote servers.
crocs-muni/scrutiny-power-traces-analyzer
SCRUTINY power traces analyzing module
crocs-muni/DiSSECT-gen
crocs-muni/formula-for-disaster
Artifacts for the "A formula for disaster: a unified approach to elliptic curve special-point-based attacks" paper at ASIACRYPT 2021
crocs-muni/RTTWebInterface
Web interface for Randomness Testing Toolkit.
crocs-muni/SHINE-mediator
crocs-muni/std-curves
Standard curve database.
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/biometrics-utils
Utilities for assignments on biometric authentication
crocs-muni/info
crocs-muni/jcalgtest_web
Automatically generated web pages using data from JCAlgTest project https://github.com/crocs-muni/jcalgtest/
crocs-muni/open-source-development-course-hw02-1
Second homework of the Open source development course (part 1)
crocs-muni/open-source-development-course-hw02-2
Second homework of the Open source development course (part 2)
crocs-muni/the-codeless-code
Official repository for The Codeless Code translations.