Marcin Bury's repositories
IoTSecurity101
From IoT Pentesting to IoT Security
AD-Attack-Defense
Attack and defend active directory using modern post exploitation adversary tradecraft activity
How2Kernel
This Repository aims at giving a basic idea about Kernel Exploitation.
audit-checklist
Aggregated audit checklist
badger-onchain-rewards
Generalized onChain reward contract that allows to retroactively reward depositors with any token
CertoraTutorialsDone
Practical tutorials of Certora Prover
ethGatheringBarcelona_worksop
Source code for Certora workshop at ETH Gathering in Barcelona
linux-exploit-development-tutorial
a series tutorial for linux exploit development to newbie.
properties
Pre-built security properties for common Ethereum operations
pyrometer
A tool for analyzing the security and parameters of a solidity smart contract
raw-packet
Raw-packet Project
routersploit
Exploitation Framework for Embedded Devices
slither
Static Analyzer for Solidity
solidity-examples
example contracts
transfer-learning-image-classifier
Simple transfer learning image classifier in tensorflow.js.