| Title: |
Automated Symbolic Proofs of Observational Equivalence |
| Article URLs: |
|
| Alternative Article URLs: |
https://www.ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/information-security-group-dam/research/publications/pub2015/ASPObsEq_full.pdf |
| Authors: |
David A. Basin |
-
ETH Zurich, Switzerland, Inst. of Information Security Dept. of Computer Science
|
| Jannik Dreier |
-
ETH Zurich, Switzerland, Inst. of Information Security Dept. of Computer Science
|
| Ralf Sasse |
-
ETH Zurich, Switzerland, Inst. of Information Security Dept. of Computer Science
|
| Sharing: |
Research produced artifacts
|
| Verification: |
Authors have
verified
information
|
| Artifact Evaluation Badge: |
none
|
| Artifact URLs: |
|
| Artifact Correspondence Email Addresses: |
|
| NSF Award Numbers: |
|
| DBLP Key: |
conf/ccs/BasinDS15
|
| Author Comments: |
|