Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups.

Zhengqin Luo

Browse the full ProvSec paper archive.