182 search results - page 3 / 37 » The Secret Art of Computer Programming |
CSUR
2011
12 years 12 months ago
2011
high-level programming abstractions, capable of simplifying the programming chore without sacrificing efficiency, has been long recognized and several solutions have been hitherto...
FSTTCS
2007
Springer
14 years 2 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
INDOCRYPT
2003
Springer
14 years 1 months ago
2003
Springer
We consider both information-theoretic and cryptographic settings for Multi-Party Computation (MPC), based on the underlying linear secret sharing scheme. Our goal is to study the ...
ECOOPW
2000
Springer
14 years 23 hour ago
2000
Springer
Previous workshops on reflection both in ECOOP and in OOPSLA have pointed out the growing interest and importance of Reflection and Metalevel Architectures in the fields of program...
CTRSA
2007
Springer
14 years 10 days ago
2007
Springer
Abstract. The task of developing protocols for humans to securely authenticate themselves to a remote server has been an interesting topic in cryptography as a replacement for the ...