Beast code in Giters

Lei Wang's repositories

Fast_SM4

Language:C2 20

OpenSSL-BS_SM4

Language:CNOASSERTION200

BS_SM4

Language:C1 20

CodingMaster

Coding Master系列教程配套代码。

Language:Assembly100

cryptominisat

An advanced SAT solver

Language:C++NOASSERTION100

JavaCollection

Java开源项目之「自学编程之路」：学习指南+面试指南+资源分享+技术文章

100

01_all_series_quickstart

Part I videos: Quick Start from weidongshan's Linux video Tutorials

Language:C010

aes-armcortexm

Fast, constant-time and masked AES assembly implementations for ARM Cortex-M3 and M4

CC0-1.0000

app-ethereum

Ethereum wallet application for Ledger Blue and Nano S

Apache-2.0000

CEJO-whitebox-AES

A Chow et al.'s white-box AES implementation.

Apache-2.0000

Compact_Sbox

Language:Python020

cryptosmt

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

Language:PythonMIT000

ctaes

Simple constant-time AES implementation

Language:CMIT010

DirectXMath

DirectXMath is an all inline SIMD C++ linear algebra library for use in games and graphics apps

Language:C++MIT010

libgcrypt

The GNU crypto library. Mirror from:

Language:CGPL-2.0010

libxsmm

Library targeting Intel Architecture for specialized dense and sparse matrix operations, and deep learning primitives.

Language:CBSD-3-Clause010

lingeling

Lingeling SAT Solver

MIT000

lwaes_isa

A Lightweight (RISC-V) ISA Extension for AES and SM4

Language:CBSD-2-Clause010

obsidian_vault_template_for_researcher

This is a vault template for researchers using obsidian.

GPL-3.0000

PLCT-Open-Reports

PLCT实验室的公开演讲，或者决定公开的组内报告

CC-BY-SA-4.0000

pzh-mcu-bi-weekly

痞子衡嵌入式半月刊，分享嵌入式领域有用有趣的工具或项目以及一些热点新闻，从2020庚子鼠年起，二十四节气每个交节之日发布一期

Apache-2.0000

sbox_test

Language:Assembly000

SM3_core

000

SM4_SIMD

Language:C++000

tightPROVE

tightPROVE (tight PRobing VErification): formal verification tool for the (tight) probing security of masked implementations

Language:Python010

Tornado

Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model

Language:C010

usuba

A programming language to write bitsliced ciphers

Language:CMIT010

usuba-nucleo

Benchmark framework for Usuba ciphers on Nucleo platform

MIT000

version2

Vector class library, latest version

Apache-2.0000

VGP

VGP (Very Good Privacy) E2E Encryption Library

NOASSERTION000