Address to French Law Enforcement Officials
An address to France's law enforcement officials on Internet surveillance policy in France.
11 min readFrom the blog.
Insights on cryptography, security research, and software engineering from Symbolic Software.
-
-
Native Labs: Audit Report
Our extensive audit for the Native Labs smart contracts.
2 min read -
One Year of Verifpal
Understanding Verifpal's relationship with cryptographic protocol security.
5 min read -
Better Queries for Verifpal
Towards new queries, automated model translation and formalized semantics in Verifpal.
6 min read -
Modeling DP-3T With Verifpal
How Verifpal sped up the formal modeling efforts for a new pandemic-tracing Protocol.
8 min read