3115 search results - page 225 / 623 » Synthesizing Secure Protocols |
146
click to vote
ITCC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes efforts underway within Internet2 to create a secure federated IP based videoconferencing model. The objective is to create an environment that is user-friend...
143
click to vote
FC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract We propose several variants of a secure multiparty computation protocol for AES encryption. The best variant requires 2200 + 400 255 expected elementary operations in expe...
151
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
147
click to vote
ACSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Methods are presented to increase resiliency to server failures by migrating long running, secure TCP-based connections to backup servers, thus mitigating damage from servers disa...
171
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
The Border Gateway Protocol (BGP) is the de facto interdomain routing protocol on the Internet. While the serious vulnerabilities of BGP are well known, no security solution has b...