RT @vclaTUwien: Chairs of #CAV2018, part of Federated Logic Conference #FLoC2018: Georg Weissenbacher, faculty of #LogiCS Doctoral College…
689 followers
705 followers
One of the first interns I worked with was Eric Mullen. He worked with us to create a Cryptol semantics in Coq. Then he used that to hook up one of our industrial proofs. We ended up co-authoring a CAV paper: https://t.co/BxsqpHk06D
705 followers
@ciphernyx Thanks for the suggestions, @pike7464 @atombeast and others proved an ASN.1 parser a few years back. I suspect x509 will be something of a white whale for me if I continue down my current line of work. https://t.co/CbRhwPSYLP
638 followers
@benhawkes Btw this is already being used in a industrial sized setting at Amazon AWS https://t.co/HWAW3z512I