4 ms·Security Protocol Specification and Verification with AnBx [pdf]2 points by nickpsecurity 10y ago