Sciweavers

2372 search results - page 20 / 475
» is 2012
Sort
View
81
Voted
EUROCRYPT
2012
Springer
13 years 2 months 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»
13 years 2 months ago
Model Checking of Recursive Probabilistic Systems
Kousha Etessami, Mihalis Yannakakis