Pinned Loading

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

   a patch is a proof of exploit mitigation

   Solidity 4

2. trustingtrust-go trustingtrust-go Public

   demo of backdoored go compiler

   Shell

3. zobs zobs Public

   Sync a Zotero collection and your notes into your latex workspace

   Python

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

   Results of PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts (https://arxiv.org/abs/2511.02780)

   Solidity