Symbolically Analyzing Security Protocols using TAMARIN - Research Collection

Metadata only

Author

Date

2017-10

Type

Journal Article

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1145/3157831.3157835

Journal / series

ACM SIGLOG News

Volume

4(4)

Pages / Article No.

19 - 30

Publisher

Association for Computing Machinery

Organisational unit

03634 - Basin, David / Basin, David

More

Show all metadata

ETH Bibliography

yes

Altmetrics