Robuta

https://tidsskrift.dk/brics/issue/view/2746 No. 8 (2001): RS-8 Checking for Open Bisimilarity in the pi-Calculus | BRICS Report Series in the pi calculus checking open bisimilarity https://lmcs.episciences.org/7537 #7537 - Discovering ePassport Vulnerabilities using Bisimilarity We uncover privacy vulnerabilities in the ICAO 9303 standard implemented by ePassports worldwide. These vulnerabilities, confirmed by ICAO, enable an ePassport... discovering epassport vulnerabilities using bisimilarity