enlighten5's starred repositories
TensorFlow-Course
:satellite: Simple and ready-to-use tutorials for TensorFlow
smart-contract-best-practices
A guide to smart contract security best practices
spectre-meltdown-checker
Reptar, Downfall, Zenbleed, ZombieLoad, RIDL, Fallout, Foreshadow, Spectre, Meltdown vulnerability/mitigation checker for Linux & BSD
firmware-analysis-toolkit
Toolkit to emulate firmware and analyse it for security vulnerabilities
awesome-fuzzing
A curated list of awesome Fuzzing(or Fuzz Testing) for software security
symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
laser-ethereum
Symbolic virtual machine for Ethereum
spectector
Automatic detection of speculative information flows
speculator
Tool to Analyze Speculative Execution Attacks and Mitigations