2432 search results - page 66 / 487 » Cryptographic logical relations |
SIAMCOMP
2008
14 years 8 months ago
2008
We initiate the study of two-party cryptographic primitives with unconditional security, assuming that the adversary's quantum memory is of bounded size. We show that oblivio...
145
click to vote
ILP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Many reinforcement learning domains are highly relational. While traditional temporal-difference methods can be applied to these domains, they are limited in their capaci...
IOLTS
2006
IEEE
15 years 4 months ago
2006
IEEE
The early propagation effect found in many logic gates is a potential source of data-dependent power consumption. We show that the effect and the corresponding power dependency ca...
TCS
2008
14 years 10 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
108
click to vote
EUSFLAT
2009
14 years 7 months ago
2009
Connectivity analysis methodology is suitable to find representative symptoms of a disease. This methodology describes connections between symptoms in particular way and then choos...