3228 search results - page 28 / 646 » Computationally Sound Proofs |
FSTTCS
2007
Springer
14 years 1 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...
HUC
2003
Springer
14 years 22 days ago
2003
Springer
We propose audio networking: using ubiquitously available sound hardware (i.e. speakers, sound-cards and microphones) for lowbandwidth, wireless networking. A variety of location- ...
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
DAIS
2009
13 years 8 months ago
2009
Ubiquitous computing architectures enable interaction and collaboration in multi-user applications. We explore the challenges of integrating the disparate services required in such...
ICALP
2010
Springer
13 years 9 months ago
2010
Springer
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...