CryptoBAP — Demo

Guided example: Basic Access Control protocol

This page simulates a small run of CryptoBAP analyzing Basic Access Control protocol used in e-passports. For detailed methodology and case studies, see our latest paper.