Galois
@galois
Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
ID: 16264539
http://galois.com 12-09-2008 22:09:13
1,1K Tweet
5,5K Takipçi
659 Takip Edilen
In an article published in IEEE S&P, Mike Dodds discusses Galois's approach to formal verification of cryptographic systems, focusing on the challenges of building and deploying proofs in demanding industry environments. Thanks to Joey Dodds for contributing. ieeexplore.ieee.org/document/97331…