Lists (8)
Stars
Version of the PL Foundations and Security Foundations volumes that we use for Foundations course at Ruhr Uni Bochum in summer 2025
Version of the Logical Foundations and Security Foundations volumes that we use for Proofs are Programs course at Ruhr University Bochum in winter 2024/25.
A reading list for large models safety, security, and privacy (including Awesome LLM Security, Safety, etc.).
find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)
Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.
Awesome Lists for Tenure-Track Assistant Professors and PhD students. (助理教授/博士生生存指南)
ChatGPT 中文调教指南。各种场景使用指南。学习怎么让它听你的话。
The FLARE team's open-source tool to identify capabilities in executable files.
Demystifying Exploitable Bugs in Smart Contracts
Blockchain dark forest selfguard handbook. Master these, master the security of your cryptocurrency.
IDA plugin which queries language models to speed up reverse-engineering
All the deals for InfoSec related software/tools this Black Friday
Red Teaming Tactics and Techniques
A repository of links with advice related to grad school applications, research, phd etc
Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
A LLVM-based static analysis framework.
Framework for Automating Fuzzable Target Discovery with Static Analysis.
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
A Dynamic Binary Instrumentation framework based on LLVM.