Block or report user

Report or block petrs

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@crocs-muni @EnigmaBridge @OpenCryptoProject @TrojanTolerantHardware

Curated list of open-source TPM (Trusted Platform Module) applications

2 1 Updated Oct 2, 2018

A web app for ranking computer science departments according to their research output in selective venues.

Python 755 614 Updated Nov 17, 2018

Config and tools for rpi testbed

Python 1 Updated Aug 1, 2018

JavaCard project template for building CAP and running JCardSim with gradle + coverage

Java 2 3 Updated Apr 5, 2018

Oracle JavaCard Classic SDK-s for using as a Git submodule for ant-javacard projects

Batchfile 29 13 Updated Aug 16, 2018

Small library for JavaCard CAP file parsing and verification

Java 6 2 Updated Oct 19, 2018

PC/SC inspection and manipulation tool

C++ 8 7 Updated Sep 30, 2018

A fuzzer for APDU-based smartcard interfaces

Python 3 4 Updated Jun 22, 2018

A dynamic symbolic analysis tool for Java

Java 45 23 Updated Sep 17, 2018

Web application as a tool for classification RSA public keys in ASCII armored format or extracted from X509 certificates of HTTPS servers.

PHP 1 1 Updated May 14, 2018

ACSAC 2017 paper - dataset tools

Python 1 Updated Dec 4, 2017

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 4 5 Updated Oct 19, 2018

Reads EMV cards, extract public keys, checks them for ROCA vulnerability (https://crocs.fi.muni.cz/public/papers/rsa_ccs17). Uses code from https://github.com/devnied/EMV-NFC-Paycard-Enrollment for…

Java 4 1 Updated Nov 19, 2017

Distributed Privacy Guard (DKGPG) implements Distributed Key Generation (DKG) and Threshold Cryptography for OpenPGP

C++ 6 Updated Nov 17, 2018

JavaCard project template for building CAP and running JCardSim with gradle + coverage

Java 9 4 Updated Apr 5, 2018

Automatically compresses multiple Java classes into a single source code file

Java 3 Updated Oct 24, 2017

ROCA: Infineon RSA key vulnerability

Python 398 83 Updated Oct 31, 2018

Teacher's Reflective Diary (developed by the Teacing Lab community at the Faculty of Informatics, Masaryk University)

TeX 12 Updated Nov 8, 2018

Performance profiler for Java Card code

Java 6 3 Updated Nov 1, 2018

Implementation of mathematical operations with big numbers and elliptic curve points for smart cards with JavaCard platform.

Java 32 5 Updated Oct 16, 2018

Implementation of HMAC-based One Time Passwords via URL tag of NDEF applet

Java 4 3 Updated Jan 9, 2018

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

66 18 Updated Sep 4, 2018

The Web eID app

18 2 Updated Jan 17, 2018

Research prototype tool for modular formal verification of C and Java programs

OCaml 107 27 Updated Nov 13, 2018

Tool for generating Elliptic curve domain parameters

C 10 1 Updated Jul 16, 2018

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

Java 7 3 Updated Nov 14, 2018

🐛 The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Groovy and Scala projects)

Java 817 206 Updated Nov 17, 2018
Java 6 Updated Dec 4, 2017

The Suite of software reimplementations of selected cryptographic algorithms potentially missing on your smartcard with JavaCard platform. Optimized for speed and small memory footprint.

Java 1 5 Updated Mar 2, 2018

Approach to mitigate the privacy concerns related to Smart Meters

Java 1 2 Updated Jul 15, 2013