5476 search results - page 227 / 1096 » Resettably Secure Computation |
155
click to vote
DIMVA
2010
15 years 8 months ago
2010
Computer security competitions and challenges are a way to foster innovation and educate students in a highly-motivating setting. In recent years, a number of different security co...
170
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Security underpins Grids and e-Research. Without a robust, reliable and simple Grid security infrastructure combined with commonly accepted security practices, large portions of th...
197
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
190
click to vote
STOC
2004
ACM
16 years 7 months ago
2004
ACM
We propose a modification to the framework of Universally Composable (UC) security [3]. Our new notion, involves comparing the protocol executions with an ideal execution involvin...
185
click to vote
ICDCSW
2003
IEEE
15 years 12 months ago
2003
IEEE
Smart Messages (SMs) are migratory execution units used to describe distributed computations over mobile ad hoc networks of embedded systems. The main benefits provided by SMs ar...