Popular repositories Loading

1. DATF DATF Public

   C++ 1

2. MILP_SHA-3 MILP_SHA-3 Public

   This is the source code repository for the paper "Internal Differential Collision Attacks against Round-Reduced SHA-3", including the code for MILP modeling for internal differential characteristic.

   C++ 1

3. klee klee Public

   Forked from klee/klee

   KLEE Symbolic Execution Engine

   C++

4. llvm-project llvm-project Public

   Forked from llvm/llvm-project

   Modify clang with a branch forked from 'release/13.x'

   C++

5. bonc bonc Public

   An implementation-oriented cryptanalysis framework

   C++

6. FSE26_Cube_Attack_Elimination FSE26_Cube_Attack_Elimination Public

   Codes for 2025_TOSC_4_Cube_attack_on_Trivium

   Python