5510 search results - page 753 / 1102 » Mathematics |
198
click to vote
CCS
2005
ACM
16 years 10 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
157
click to vote
CHES
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
164
click to vote
CRYPTO
2005
Springer
16 years 10 days ago
2005
Springer
In many important applications, a collection of mutually distrustful parties must perform private computation over multisets. Each party’s input to the function is his private i...
190
click to vote
CSL
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
154
click to vote
DNA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract Self-assembly is a ubiquitous process in which small objects selforganize into larger and complex structures. In 2000, Rothemund and Winfree proposed a Tile Assembly Model...