Publications

Filters: Author is Silvia S. Pelozo [Clear All Filters]

2013

S. S. Pelozo and D'Argenio, P. R., “Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability”, in Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers, 2013, vol. 8191, pp. 182-197.

paper-304.pdf (329.79 KB)