Automated Symbolic Proofs of Observational Equivalence - Research Collection

Metadata only

Author

Date

2015

Type

Conference Paper

Citations

Cited 39 times in Scopus

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1145/2810103.2813662

Book title

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security (CCS 2015)

Pages / Article No.

1144 - 1155

Publisher

ACM

Event

22nd ACM SIGSAC Conference on Computer and Communications Security (CCS 2015), Denver, CO, USA, October 13-15, 2015

Subject

Protocol verification; Observational equivalence; Symbolic model

Organisational unit

03634 - Basin, David / Basin, David

More

Show all metadata

Citations

Cited 39 times in Scopus

ETH Bibliography

yes

Altmetrics