Login / Signup
Silvia S. Pelozo
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Secure Electronic
Mutual Authentication
Encryption Algorithm
Security Analysis
Top Venues
TGC
</>
Publications
</>
Silvia S. Pelozo
,
Pedro R. D'Argenio
Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability.
TGC
(2012)