Pieter Hartel

Identifiers

No identifiers captured yet.

Papers (4)

1. Truffle tests for free -- Replaying Ethereum smart contracts for transparency cs.SE · 2019 · author #1
2. Rethinking Blockchain Security: Position Paper cs.CR · 2018 · author #2
3. Poseidon: a 2-tier Anomaly-based Intrusion Detection System cs.CR · 2005 · author #4
4. A Trace Logic for Local Security Properties cs.CR · 2004 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Mark van Staalduinen 2 shared papers
• Sandro Etalle 2 shared papers
• Antonio Durante 1 shared papers
• Damiano Bolzoni 1 shared papers
• Daniel Reijsbergen 1 shared papers
• Emmanuele Zambon 1 shared papers
• Georgios Piliouras 1 shared papers
• Pawel Szalachowski 1 shared papers
• Qingze Hum 1 shared papers
• Ricardo Corin 1 shared papers
• Sebastian Ma 1 shared papers
• Vincent Chia 1 shared papers