4690 search results - page 139 / 938 » An operational semantics for Scheme |
151
click to vote
CANS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We present a semantic extension to X.509 certificates that allows incorporating new anonymity signature schemes into the X.509 framework. This fact entails advantages to...
158
click to vote
ACSC
2005
IEEE
16 years 2 days ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
190
click to vote
CRYPTO
2012
Springer
13 years 9 months ago
2012
Springer
We construct a functional encryption scheme secure against an a-priori bounded polynomial number of collusions for the class of all polynomial-size circuits. Our constructions req...
166
click to vote
IJNSEC
2007
15 years 6 months ago
2007
In order to reduce key sizes and bandwidth, several LFSRbased (linear feedback shift register) public key cryptosystems and signature schemes have been proposed. Digital signature...
162
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...