• Twitter
  • Back to Company Website
  • Home
  • Blog
Skip to content

Symbolic Software Blog

Insight into Symbolic Software's applied cryptography work and research.

  • Twitter
  • Back to Company Website

Author: Nadim Kobeissi

September 2, 2020 Verifpal

One Year of Verifpal: Understanding Verifpal’s Relationship With Cryptographic Protocol Security

Last week, Verifpal, our cryptographic protocol modeling and analysis framework, celebrated its one-year anniversary. In its first year, Verifpal has

Continue reading

The scientific research community reacts to formalized semantics and other improvements in Verifpal.
April 14, 2020 News / 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

Continue reading

Create a website or blog at WordPress.com