Address to French Law Enforcement Officials
An address to France's law enforcement officials on Internet surveillance policy in France.
10 min readWriting.
Audit reports, security advisories, software releases, research, and essays.
Native Labs Smart-Contract Audit
The public report from our review of the Native Labs smart contracts.
1 min readOne Year of Verifpal
Understanding Verifpal's relationship with cryptographic protocol security.
5 min readBetter Queries for Verifpal
Towards new queries, automated model translation and formalized semantics in Verifpal.
6 min readModeling DP-3T With Verifpal
How Verifpal sped up the formal modeling efforts for a new pandemic-tracing Protocol.
8 min read