3115 search results - page 166 / 623 » Synthesizing Secure Protocols |
154
Voted
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
121
click to vote
CONEXT
2008
ACM
15 years 5 months ago
2008
ACM
Until recently, the design of packet dropping adversary identification protocols that are robust to both benign packet loss and malicious behavior has proven to be surprisingly el...
132
Voted
COLCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Distributed sensor network protocols, such as routing, time synchronization or data aggregation protocols make use of collaborative techniques to minimize the consumption of sc...
105
Voted
CRYPTO
2000
Springer
15 years 8 months ago
2000
Springer
Secure Function Evaluation (SFE) protocols are very hard to design, and reducibility has been recognized as a highly desirable property of SFE protocols. Informally speaking, reduc...
135
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...