6355 search results - page 227 / 1271 » From Logic to Games |
165
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
183
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
Traditional economic models typically treat private information, or signals, as generated from some underlying state. Recent work has explicated alternative models, where signals ...
143
click to vote
ISPD
2003
ACM
15 years 12 months ago
2003
ACM
In this paper we present the Gain-based Logic Block Array (GLA), a new via-programmable regular fabric. GLA is an array of Gainbased Logic Blocks (GLBs). The GLB is a semi-univers...
307
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
164
click to vote
IWEC
2007
15 years 8 months ago
2007
Based on our experience using active learning methods to teach object-oriented software design we propose a game-based approach to take the classroom experience into a virtual envi...