Skip to content
View KatrixReloaded's full-sized avatar

Highlights

  • Pro

Block or report KatrixReloaded

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

Security

6 repositories

A 6-part series on how to use Echidna on real-world codebases

Solidity 102 38 Updated Jun 29, 2023

Practical tutorials of Certora Prover

Solidity 233 188 Updated Sep 27, 2023

A curated list of blockchain security Capture the Flag (CTF) competitions

1,530 242 Updated Mar 11, 2024

A curated list of awesome directed fuzzing research papers

1 Updated Jul 18, 2023

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

Rust 908 148 Updated Dec 25, 2024

Reproduce DeFi hacked incidents using Foundry.

Solidity 5,495 1,203 Updated Jan 20, 2025