Brian Wilkes, CFA1 talk by Brian Wilkes, CFAZK Proof Performance and Security Characteristics by Brian Wilkes, CFA | Devcon Bogotá