2 points by runxiyu
I'd appreciate any comments, or learning paths to formal verification (how to express the properties of KEMs, resources for applied pi-calculus, etc). Thanks!