Automated Symbolic Proofs of Observational Equivalence - Research Collection

Metadata only

Author

Basin, David

Dreier, Jannik

Sasse, Ralf

Date

2015

Type

Conference Paper

Citations

Cited 32 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 32 times in Scopus

ETH Bibliography

yes

Altmetrics