154 search results - page 16 / 31 » Modeling and Analyzing Security in the Presence of Compromis... |
CSFW
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper we propose and analyze a generalized multiple-tree-based overlay architecture for peer-to-peer live streaming that employs multipath transmission and forward erro...
JSAC
2010
13 years 2 months ago
2010
Jamming-resistant communication is crucial for safety-critical applications such as emergency alert broadcasts or the dissemination of navigation signals in adversarial settings. I...
CSFW
2009
IEEE
13 years 11 months ago
2009
IEEE
Specification documents for real-world authentication protocols typically mandate some aspects of a protocol's behavior but leave other features optional or undefined. In add...
ASIACRYPT
2007
Springer
14 years 1 months ago
2007
Springer
We consider a new model for online secure computation on encrypted inputs in the presence of malicious adversaries. The inputs are independent of the circuit computed in the sense ...