Innokentii Sennovskii's repositories

risky-immunefi

Bug bounty projects with public grievances from bounty hunters

AFLplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:2Issues:0

Angora

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0
Language:C++Stargazers:0Issues:2Issues:0

binnavi

BinNavi is a binary analysis IDE that allows to inspect, navigate, edit and annotate control flow graphs and call graphs of disassembled code.

Language:JavaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

bleichenbacher-in-microcontrollers

Archive with PoC for Bleichenbacher's Padding Oracle attack on microcontroller libraries

Stargazers:0Issues:2Issues:0

blog

Temporary repository for the blog

Language:HTMLStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:1Issues:0
Language:C++Stargazers:0Issues:2Issues:0

ctf_archive

Hosting awesome cryptography CTF challenges from past CTFs

License:MITStargazers:0Issues:0Issues:0

CTFArch

Everything for CTF. From Strategies for solving to previous CTF WriteUps

Language:PythonStargazers:0Issues:2Issues:0

curv

Rust language general purpose elliptic curve cryptography.

License:MITStargazers:0Issues:0Issues:0

diaphora

Diaphora, a program diffing plugin for, at the moment, IDA Pro

Language:PythonLicense:GPL-2.0Stargazers:0Issues:2Issues:0

flairdatabase

Automatically exported from code.google.com/p/flairdatabase

Stargazers:0Issues:1Issues:1

libBLS

Solidity-compatible BLS signatures, threshold encryption, distributed key generation library in modern C++. Actively maintained and used by SKALE for consensus, distributed random number gen, inter-chain communication and protection of transactions. BLS threshold signatures can be verified in Solidity, and used as random beacon (common coin)

Language:C++License:AGPL-3.0Stargazers:0Issues:0Issues:0

qemu_stm32

QEMU with an STM32 microcontroller implementation

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

sgxwallet

sgxwallet is the first-ever opensource high-performance hardware secure crypto wallet that is based on Intel SGX technology. First opensource product on Intel SGX whitelist. Scales to 100,000+ transactions per second. Currently supports ETH and SKALE, and will support BTC in the future. Sgxwallet is under heavy development and use by SKALE network.

License:AGPL-3.0Stargazers:0Issues:0Issues:0

stm32_p103_demos

A suite of demo applications for the Olimex STM32 P103 Development Kit

Language:CStargazers:0Issues:2Issues:0

zk-benchmark

Benchmark of multiple zk implementations.

Language:GoStargazers:0Issues:0Issues:0

zk-benchmarking

comparing the performance of different zero-knowledge proof libraries

Language:RustStargazers:0Issues:0Issues:0