718 search results - page 42 / 144 » Operational Semantics of Security Protocols |
CCS
2008
ACM
13 years 10 months ago
2008
ACM
We present FairplayMP (for "Fairplay Multi-Party"), a system for secure multi-party computation. Secure computation is one of the great achievements of modern cryptograp...
SOSP
2003
ACM
14 years 4 months ago
2003
ACM
In this paper, we present STP, a system in which communicating end hosts use untrusted mobile code to remotely upgrade each other with the transport protocols that they use to com...
CRYPTO
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Cryptographic systems often involve running multiple concurrent instances of some protocol, where the instances have some amount of joint state and randomness. (Examples ...
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
ADBIS
2004
Springer
13 years 11 months ago
2004
Springer
Trend analysis and forecasting applications (e.g., securities trading, stock market, and after-the-fact diagnosis) need event detection along a moving time window. Event-driven app...