3228 search results - page 382 / 646 » Computationally Sound Proofs |
156
click to vote
SP
2006
IEEE
16 years 20 days ago
2006
IEEE
Simulatable security is a security notion for multi-party protocols that implies strong composability features. The main definitional flavours of simulatable security are standa...
216
click to vote
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...
156
Voted
TPHOL
2005
IEEE
16 years 7 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
178
click to vote
SACRYPT
2004
Springer
16 years 14 hour ago
2004
Springer
Addition-subtraction-chains obtained from signed digit recodings of integers are a common tool for computing multiples of random elements of a group where the computation of invers...
176
click to vote
FCT
1999
Springer
15 years 11 months ago
1999
Springer
Kleene’s theorem on recognizable languages in free monoids is considered to be of eminent importance in theoretical computer science. It has been generalized into various directi...