Sciweavers

2372 search results - page 20 / 475
» is 2012
Sort
View
EUROCRYPT
2012
Springer
12 years 11 days ago
Standard Security Does Not Imply Security against Selective-Opening
Mihir Bellare, Rafael Dowsley, Brent Waters, Scott...
TOCL
2012
241views Formal Methods» more  TOCL 2012»
12 years 11 days ago
Model Checking of Recursive Probabilistic Systems
Kousha Etessami, Mihalis Yannakakis