bryanna-stanhope documents

TESTING CRYPTOGRAPHIC PROTOCOL IMPLEMENTATIONS. Verifying crypto protocols Lots of formal methods Good representative: Blanchet’s ProVerif Mainly
Documents TESTING CRYPTOGRAPHIC PROTOCOL IMPLEMENTATIONS. Verifying crypto protocols Lots of formal methods Good representative: Blanchet’s ProVerif Mainly