Search all IDs

A Cryptographic Library for the Automated Analysis of Symmetric Primitives

Awesome machine learning for combinatorial optimization papers.

Machine Learning for Combinatorial Optimization - NeurIPS'21 competition

A simple viewer and logger for data received by AIS-transponders or AIS-receivers.

Implementation of the DROWN attack on SSL2

Assignments of DIP

A database of block ciphers source codes in C

Produce redistributable builds of Python

A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.

Encrypted Socket Chat

A tool that can be used to learn state machines from implementations.

Poc of BEAST attack against SSL/TLS

Patched version of MatrixSSL for timing-based Bleichenbacher attacks against TLS.

a project for university

BTP Project

Computer Graphics Project