1816 search results - page 138 / 364 » Trace oblivious computation |
CRYPTO
2008
Springer
14 years 3 days ago
2008
Springer
Abstract. In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time program can be executed on a single input, who...
CRYPTO
2010
Springer
13 years 11 months ago
2010
Springer
Homomorphic encryption (HE) schemes enable computing functions on encrypted data, by means of a public Eval procedure that can be applied to ciphertexts. But the evaluated ciphert...
TACAS
2012
Springer
12 years 5 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
MT
1998
13 years 10 months ago
1998
The first proposals for various component tools of what is now called the ‘translator’s workstation’ or ‘workbench’ are traced back to the 1970s and early 1980s in vario...
SENSYS
2010
ACM
13 years 8 months ago
2010
ACM
Many participatory sensing applications use data collected by participants to construct a public model of a system or phenomenon. For example, a health application might compute a...