Pinned Loading

1. ASSERT-KTH/Proof-of-Patch ASSERT-KTH/Proof-of-Patch Public

   a patch is a proof of exploit mitigation

   Solidity 6

2. ASSERT-KTH/PoCo-public ASSERT-KTH/PoCo-public Public

   Results of PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts (https://dl.acm.org/doi/abs/10.1145/3816704)

   Solidity 5

3. chains-project/GoSurf chains-project/GoSurf Public

   Static analyzer to find locations to hide malicious code in Go

   HTML 9 1

4. zobs zobs Public

   Sync Zotero into your LaTeX paper repo: PDFs, refs.bib, and auto-completed bib entries

   Python