1818 search results - page 262 / 364 » Granularity-Adaptive Proof Presentation |
101
Voted
CSFW
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
114
click to vote
FOCS
2000
IEEE
15 years 8 months ago
2000
IEEE
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...
129
Voted
ALT
1998
Springer
15 years 7 months ago
1998
Springer
An index for an r.e. class of languages (by definition) generates a sequence of grammars defining the class. An index for an indexed family of recursive languages (by definition) ...
157
Voted
HASKELL
2007
ACM
15 years 7 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
125
Voted
ECTEL
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we present a proof of concept application of a technique that is designed explicitly for face to face collaboration software architectures. The objective is to minim...