5484 search results - page 223 / 1097 » Almost-Everywhere Secure Computation |
145
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
127
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Speck1 is a system that accelerates powerful security checks on commodity hardware by executing them in parallel on multiple cores. Speck provides an infrastructure that allows se...
168
Voted
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
135
click to vote
CCR
2007
15 years 4 months ago
2007
We analyze a secure routing protocol, Secure Path Vector (SPV), proposed in SIGCOMM 2004. SPV aims to provide authenticity for route announcements in the Border Gateway Protocol (...
168
click to vote
TMC
2011
14 years 11 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...