Bisimulation and Unwinding for Verifying Possibilistic Security Properties
No abstract available.
Related papers
- Verifying Concurrent Programs by Memory Unwinding TACAS 2015
- 2LS: Arrays and Loop Unwinding - (Competition Contribution) TACAS 2023
- Proofs Methods for Bisimulation Based Information Flow Security VMCAI 2002
- Constraining Control POPL 1985
- Embedding Continuations in Procedural Objects TOPLAS 1987
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- Leapfrog: certified equivalence for protocol parsers PLDI 2022
- Bisimulation for Quantum Processes TOPLAS 2012