5476 search results - page 256 / 1096 » Resettably Secure Computation |
183
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The common goals of the Grid and peer-to-peer communities have brought them in close proximity. Both the technologies overlay a collaborative resource-sharing infrastruct...
173
Voted
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
We analyze the relation between induction, co-induction and the presence of encryption cycles in the context of computationally sound symbolic equivalence of cryptographic express...
170
click to vote
TCC
2007
Springer
16 years 24 days ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
149
click to vote
CSFW
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
179
click to vote
IEEEARES
2006
IEEE
16 years 21 days ago
2006
IEEE
Authentication and Authorisation Infrastructures (AAIs) are gaining momentum throughout the Internet. Solutions have been proposed for various scenarios among them academia, GRID ...