1173 search results - page 224 / 235 » On the Compositionality of Round Abstraction |
202
click to vote
LICS
2009
IEEE
16 years 21 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
186
click to vote
WOLLIC
2009
Springer
16 years 19 days ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
153
click to vote
CCA
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. In this paper we study a reducibility that has been introduced by Klaus Weihrauch or, more precisely, a natural extension of this reducibility for multi-valued functions ...
174
click to vote
CRYPTO
2009
Springer
16 years 19 days ago
2009
Springer
Most of the work in the analysis of cryptographic schemes is concentrated in abstract adversarial models that do not capture side-channel attacks. Such attacks exploit various for...
155
click to vote
FC
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. We present a useful new mechanism that facilitates the atomic exchange of many large baskets of securities in a combinatorial exchange. Cryptography prevents information ...