HackerOne
#1130235 Hackers can reveal the names of private programs that have an external link and Enterprise Product Edition
#1132606 Attachment object in GraphQL continues to grant access to files, even if they are removed from rendering
#1276992 Disclosure handle private program with external link
#1139541 Enumerating HackerOne Pentests
0xsp | Red Teaming Toolkit Collection
armosec/kubescape: kubescape is the first tool for testing if Kubernetes is deployed securely as defined in Kubernetes Hardening Guidance by to NSA and CISA (https://www.nsa.gov/News-Features/Feature-Stories/Article-View/Article/2716980/nsa-cisa-release-kubernetes-hardening-guidance/)
dmaasland/proxyshell-poc
Using KLEE on Rust-for-Linux (part 1) | Rust Verification Tools
Using KLEE on Rust-for-Linux (part 2) | Rust Verification Tools
Using KLEE on Rust-for-Linux (part 3) | Rust Verification Tools