3931 search results - page 578 / 787 » Separation logic and abstraction |
188
click to vote
CHES
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. The general trend in semiconductor industry to separate design from fabrication leads to potential threats from untrusted integrated circuit foundries. In particular, mal...
200
click to vote
TCC
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. Protocols for deniable authentication achieve seemingly paradoxical guarantees: upon completion of the protocol the receiver is convinced that the sender authenticated th...
233
click to vote
PKC
2009
Springer
16 years 8 months ago
2009
Springer
Abstract.We introduce the notion of distributed password-based publickey cryptography, where a virtual high-entropy private key is implicitly dened as a concatenation of low-entrop...
203
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Abstract. We present a Context Ultra-Sensitive Approach based on two-step Recommender systems (CUSA-2step-Rec). Our approach relies on a committee of profile-specific neural networ...
214
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
We study the problem of transforming a multichromosomal genome into another using Double-Cut-and-Join (DCJ) operations. We introduce the notion of DCJ scenario that does not break ...