siweisun Goto Github PK

caesar_benchmarks_secondround

cas-symmetric-q-lecture

A lecture on quantum computing and symmetric-key cryptography at Chinese Academy of Sciences

chatreviewer

ChatReviewer: 使用ChatGPT分析论文优缺点，提出改进建议

choco-solver

An open-source Java library for Constraint Programming

clusterfk

GUI tool for exploring semi-truncated differential characteristics of tweakable block ciphers.

cnf-convertor-and-sat-solver

cnf-satisfiability

Artificial Intelligence : Solution for Satisfiability Problem using DPLL

cost2018

Code samples for the COST Training School on Symmetric Cryptography and Blockchain

crypto

Crypto project (Super-efficient Aggregating History-independent Persistent Authenticated Dictionaries)

cryptocoding

Guidelines for low-level cryptography software

cryptohdl

A list of VHDL codes implementing cryptographic algorithms

cryptokitties-bounty

Bounty program for CryptoKitties smart contract

cryptol

Cryptol: The Language of Cryptography

cryptomobile

Cryptography for mobile network - C implementation and Python bindings

cryptosmt

An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.

ctiming

Measuring the Performance of C Implementations in CPU Clock Cycle

cube-higher

Cube Attacks and Higher Order Differentials.

cuda-cubeattack

CubeAttack framework implemented in CUDA (TRIVIUM & MICKEY as example targets)

cuzbeamer

A LaTeX beamer template to facilitate making slides for CUZ courses.

deadpool

Repository of various public white-box cryptographic implementations and their practical attacks.

drills

DRiLLS: Deep Reinforcement Learning for Logic Synthesis Optimization

drone-hijack

This Project uses a Panda board mounted on top of my drone (the attacker) to hijack other drones autonomously and fly them back to the station. The hijacking can be done autonomously. The flight control can also be done autonomously or remotely if we managed to connect to the Panda board from other network.

elegantbook

ElegantBook: An Elegant LaTeX Template for Books

espresso-logic

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

ethereumlab

excalidraw

Virtual whiteboard for sketching hand-drawn like diagrams

exchangeattack

expectation-cryptanalysis-on-round-reduced-aes

Experiments for expectation cryptanalysis on round-reduced AES and its small-scale version

extenddivprop

find-shortest-slp

Find the shortest SLP by transforming it to SAT