Formal Verification of Secure Forwarding Protocols

Download
Full text (accepted version) (PDF, 413.7Kb)
Thumbnail
Open access
Author
Klenze, Tobias
Basin, Davidcc
Sprenger, Christoph
Date
2021-06-21
Type
    Conference Paper
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000468370
Publication status
published
Event
34th IEEE Computer Security Foundations Symposium (CSF 2021), online, June 21-25, 2021
Organisational unit
03634 - Basin, David / Basin, David
More
Show all metadata
ETH Bibliography
yes
Altmetrics