3115 search results - page 202 / 623 » Synthesizing Secure Protocols |
152
click to vote
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—Receiver-location privacy is an important security requirement in privacy-preserving Vehicular Ad hoc Networks (VANETs), yet the unavailable receiver’s location information ma...
139
click to vote
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
Passive replication has been extensively studied in the literature. However, there is no comprehensive study yet with regard to its degree of communication synchrony. Therefore, w...
121
click to vote
USENIX
2008
15 years 6 months ago
2008
New single-machine environments are emerging from abundant computation available through multiple cores and secure virtualization. In this paper, we describe the research challeng...
102
Voted
CCS
2008
ACM
15 years 6 months ago
2008
ACM
We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the T...
135
Voted
CSREASAM
2006
15 years 5 months ago
2006
Multicast Security is one of the important problems to solve for the successful deployment of group communication applications, and source authentication of multicast data is a key...