Post #1546560

@regehr I thought the takeaways were cool: what was "proven" was remarkably secure, the edges around it had some issues. And the proof runtime 🤦 Great example of using two premier security technologies.