Mechanized Network Origin and Path Authenticity Proofs

Metadata only

Author

Date

2014

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Journal / series

Proceedings of the ACM Conference on Computer and Communications Security (CCS 2014)

Pages / Article No.

346 - 357

Publisher

ACM

Event

21st ACM Conference on Computer and Communications Security, CSS 2014, Scottsdale, AZ, USA, November 3-7, 2014

Subject

Origin authenticity; Path authenticity; Formal methods; Mechanized proofs

Organisational unit

03975 - Perrig, Adrian / Perrig, Adrian

More

ETH Bibliography

yes

Altmetrics

Research Collection