305 search results - page 22 / 61 » From Sets to Bits in Coq |
INFOCOM
2010
IEEE
14 years 9 months ago
2010
IEEE
—In recent years, the famous wiretap channel has been revisited by many researchers and information theoretic secrecy has become an active area of research in this setting. In th...
135
Voted
CAL
2010
14 years 7 months ago
2010
Memory models like SC, TSO, and PC enforce load-load ordering, requiring that loads from any single thread appear to occur in program order to all other threads. Out-of-order execu...
85
Voted
ICPR
2008
IEEE
16 years 1 days ago
2008
IEEE
Fuzzy vault has been shown to be an effective technique for securing fingerprint minutiae templates. Its security depends on the difficulty in identifying the set of genuine minut...
ICDE
2006
IEEE
15 years 4 months ago
2006
IEEE
Organizing digital images into semantic categories is imperative for effective browsing and retrieval. In large image collections, an efficient algorithm is crucial to quickly cat...
103
click to vote
ACNS
2011
Springer
14 years 2 months ago
2011
Springer
A method for extracting cryptographic key material from DRAM used in modern computers has been recently proposed in [9]; the technique was called Cold Boot attacks. When considerin...