Address to French Law Enforcement Officials
An address to France's law enforcement officials on Internet surveillance policy in France.
From 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.
-
One Year of Verifpal
Understanding Verifpal's relationship with cryptographic protocol security.
-
Better Queries for Verifpal
Towards new queries, automated model translation and formalized semantics in Verifpal.
-
Modeling DP-3T With Verifpal
How Verifpal sped up the formal modeling efforts for a new pandemic-tracing Protocol.