• 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: Georgio Nicolas

April 5, 2020 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

Continue reading

Create a website or blog at WordPress.com