Sciweavers

27119 search results - page 285 / 5424
» Languages
Sort
View
IFIP
2010
Springer
15 years 1 months ago
Towards Automatic Analysis of Election Verifiability Properties
Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourji...
IFIP
2010
Springer
15 years 1 months ago
Security Analysis of the MPLS Label Distribution Protocol
Daniel Guernsey, Aaron Engel, Jonathan Butts, Suje...