A Kleene Theorem for Higher-Dimensional Automata | 0 | 0.34 | 2022 |
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. | 0 | 0.34 | 2022 |
Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus | 0 | 0.34 | 2022 |
Languages of higher-dimensional automata. | 0 | 0.34 | 2021 |
Generating Posets Beyond N. | 0 | 0.34 | 2020 |
InfoInternet for Education in the Global South: A Study of Applications Enabled by Free Information-only Internet Access in Technologically Disadvantaged Areas (authors' version). | 0 | 0.34 | 2018 |
The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications (authors' version). | 0 | 0.34 | 2018 |
Automated Verification of Dynamic Root of Trust Protocols. | 0 | 0.34 | 2017 |
Automated verification of dynamic root of trust protocols (long version). | 0 | 0.34 | 2017 |
DEMO: OffPAD - Offline Personal Authenticating Device with Applications in Hospitals and e-Banking. | 1 | 0.35 | 2016 |