Computational Soundness Results for ProVerif - Bridging the Gap from Trace Properties to Uniformity

Backes, Michael and Mohammadi, Esfandiar and Ruffing, Tim
(2014) Computational Soundness Results for ProVerif - Bridging the Gap from Trace Properties to Uniformity.
In: Proceedings of the 3rd Conference on Principles of Security and Trust (POST).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item