Chensheng Yu's starred repositories

joycontrol

Emulate Nintendo Switch Controllers over Bluetooth

Language:PythonLicense:GPL-3.0Stargazers:1229Issues:0Issues:0

SoK

Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.

Language:C++Stargazers:72Issues:0Issues:0

py-spy

Sampling profiler for Python programs

Language:RustLicense:MITStargazers:12276Issues:0Issues:0

COM-Code-Helper

Two IDAPython Scripts help you to reconstruct Microsoft COM (Component Object Model) Code

Language:PythonStargazers:177Issues:0Issues:0

ida-kallsyms

IDA script for parsing kallsyms

Language:PythonStargazers:59Issues:0Issues:0

stacks-project

Repository for the Stacks Project

Language:TeXLicense:NOASSERTIONStargazers:840Issues:0Issues:0

awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

License:CC0-1.0Stargazers:1291Issues:0Issues:0

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

Language:JavaStargazers:520Issues:0Issues:0

crc32

CRC32 Demystified

Language:C++Stargazers:185Issues:0Issues:0

malfunction

Malfunctional Programming

Language:OCamlLicense:NOASSERTIONStargazers:325Issues:0Issues:0

SmmExploit

The report and the exploit of CVE-2021-26943, the kernel-to-SMM local privilege escalation vulnerability in ASUS UX360CA BIOS version 303.

License:MITStargazers:126Issues:0Issues:0

mathematics-roadmap

A Comprehensive Roadmap to Mathematics

Stargazers:2012Issues:0Issues:0

coppersmith

Coppersmith's method for multivariate polynomials

Language:SageStargazers:148Issues:0Issues:0

SchnorrGate

Testing Schnorr's factorization claim in Sage

Language:SageStargazers:302Issues:0Issues:0

MP-SPDZ

Versatile framework for multi-party computation

Language:C++License:NOASSERTIONStargazers:890Issues:0Issues:0

sqisign-ac20-obsolete

SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)

Language:CLicense:MITStargazers:26Issues:0Issues:0

geneva

automated censorship evasion for the client-side and server-side

Language:PythonLicense:BSD-3-ClauseStargazers:1875Issues:0Issues:0

decuda

Decuda and cudasm, the CUDA binary utilities package. Low-level tools for NVidia G80 GPUs.

Language:PythonLicense:BSD-3-ClauseStargazers:95Issues:0Issues:0

i10-implementation

i10 kernel implementation (NSDI'20)

Language:CStargazers:51Issues:0Issues:0

retrowrite

RetroWrite -- Retrofitting compiler passes through binary rewriting

Language:PythonLicense:NOASSERTIONStargazers:656Issues:0Issues:0

e9AFL

A binary-only coverage-guided fuzzer based on AFL and e9patch

Language:CStargazers:17Issues:0Issues:0

Tools-for-Cryptanalysis

A repository that aims to provide tools for cryptography and cryptanalysis

Language:HTMLLicense:UnlicenseStargazers:198Issues:0Issues:0

rCore

Rust version of THU uCore OS. Linux compatible.

Language:RustLicense:MITStargazers:3391Issues:0Issues:0

elvm

EsoLangVM Compiler Infrastructure

Language:CLicense:MITStargazers:1121Issues:0Issues:0

Karta

Karta - source code assisted fast binary matching plugin for IDA

Language:PythonLicense:MITStargazers:851Issues:0Issues:0

idaplugins-list

A list of IDA Plugins

Stargazers:3456Issues:0Issues:0

awesome-quantum-computing

A curated list of awesome quantum computing learning and developing resources.

License:CC0-1.0Stargazers:2471Issues:0Issues:0

bsc

Bluespec Compiler (BSC)

Language:HaskellLicense:NOASSERTIONStargazers:912Issues:0Issues:0

math-comp

Mathematical Components

Language:CoqStargazers:562Issues:0Issues:0

windows-rs

Rust for Windows

Language:RustLicense:Apache-2.0Stargazers:10169Issues:0Issues:0