Blog

The scientific research community reacts to formalized semantics and other improvements in Verifpal.

Towards Freshness Queries, Unlinkability Queries, Automated Model Translation and Formalized Semantics in Verifpal

For the past few weeks, repeated requests have appeared for Verifpal to provide more analysis features in the way of detecting replay attacks and also in supporting the analysis of the unlinkability of values in protocols. Friedrich Wiemer pointed out that Verifpal was not flexible enough to detect replay attacks in Needham-Schroeder, while Anders N.Continue reading “Towards Freshness Queries, Unlinkability Queries, Automated Model Translation and Formalized Semantics in Verifpal”

How Verifpal Dramatically Sped Up the Formal Modeling Efforts for a New Pandemic-Tracing Protocol

Last week, numerous researchers published the timely fruits of their recent collaboration to provide a proximity-tracking solution that can help during pandemics while still being privacy-preserving: the result, Decentralized Privacy-Preserving Proximity Tracing (DP-3T), provides a promising first step in bringing real-world cryptography into the effort to combat the COVID-19 pandemic. As mentioned in Troncoso etContinue reading “How Verifpal Dramatically Sped Up the Formal Modeling Efforts for a New Pandemic-Tracing Protocol”


Follow My Blog

Get new content delivered directly to your inbox.

%d bloggers like this: