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
2,485 followers
Open Access UCL Research: Continuous formal verification of amazon s2n https://t.co/LBfzRUXfhf
705 followers
2,879 followers
RT @n1nj4: Aw yeah! Open access! Here's our paper on bringing formal verification to industry software. I'm biased, but it's a good read.…