1717 search results - page 20 / 344 » A Computable Spectral Theorem |
133
Voted
TCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
121
Voted
TARK
2009
Springer
15 years 10 months ago
2009
Springer
Tennenholtz (GEB 2004) developed Program Equilibrium to model play in a finite twoplayer game where each player can base their strategy on the other player’s strategies. Tennen...
120
Voted
SEMCO
2009
IEEE
15 years 10 months ago
2009
IEEE
100
Voted
FOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
112
Voted
BROADNETS
2007
IEEE
15 years 3 months ago
2007
IEEE