A Formal Analysis of the SecureDrop Protocol


Author / Producer

Date

2025-01-13

Publication Type

Master Thesis

ETH Bibliography

yes

Citations

Altmetric

Data

Publication status

published

External links

Editor

Contributors

Examiner: Basin, David
Examiner : Veitch, Shannon

Book title

Journal / series

Volume

Pages / Article No.

Publisher

ETH Zurich

Event

Edition / version

Methods

Software

Geographic location

Date collected

Date created

Subject

Organisational unit

03634 - Basin, David / Basin, David

Notes

Funding

Related publications and datasets