3228 search results - page 426 / 646 » Computationally Sound Proofs |
191
click to vote
WPES
2005
ACM
16 years 24 days ago
2005
ACM
At the 2004 Workshop on Privacy in the Electronic Society (WPES), Borisov, Goldberg and Brewer, presented “Off the Record Messaging” (OTR), a protocol designed to add endto-e...
185
click to vote
CASSIS
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
193
click to vote
DSVIS
2005
Springer
16 years 23 days ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
170
click to vote
EDCC
2005
Springer
16 years 23 days ago
2005
Springer
We present a hybrid synthesis method for automatic addition of fault-tolerance to distributed programs. In particular, we automatically specify and add pre-synthesized fault-tolera...
174
click to vote
SPIN
2005
Springer
16 years 22 days ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...