3780 search results - page 85 / 756 » Algorithms for Game Metrics |
89
Voted
IEEECIT
2010
IEEE
14 years 9 months ago
2010
IEEE
94
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
d Abstract) Alexander Langer, Peter Rossmanith, and Somnath Sikdar RWTH Aachen University, 52074 Aachen, Germany. We present an alternative proof of a theorem by Courcelle, Makowsk...
38
Voted
JAMDS
2010
14 years 7 months ago
2010
SCP
2008
15 years 12 days ago
2008
In [5] we build a formal verification technique for game based correctness proofs of cryptograhic algorithms based on a probabilistic Hoare style logic [10]. An important step towa...