Similar Items: Discovering ePassport Vulnerabilities using Bisimilarity
- Using core components in process evaluation: Passport skills for life
- On-the-Fly Computation of Bisimilarity Distances
- Conditional Bisimilarity for Reactive Systems
- Bisimilarity in fresh-register automata
- A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
- On Bisimilarity for Quasi-discrete Closure Spaces