Sciweavers

11909 search results - page 160 / 2382
» The Scheme Programming Language
Sort
View
ESOP
2010
Springer
16 years 3 months ago
Functional Programming in Sublinear Space
Ugo Dal Lago, Ulrich Schöpp
CCS
2006
ACM
15 years 10 months ago
Secure information flow with random assignment and encryption
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
Geoffrey Smith
ICALP
2007
Springer
16 years 19 days ago
Ring Signatures of Sub-linear Size Without Random Oracles
Ring signatures, introduced by Rivest, Shamir and Tauman, enable a user to sign a message anonymously on behalf of a “ring”. A ring is a group of users, which includes the sign...
Nishanth Chandran, Jens Groth, Amit Sahai