506 search results - page 26 / 102 » Where Is the Value in a Program Verifier |
110
Voted
IJCAI
2007
15 years 1 months ago
2007
A key problem in reinforcement learning is finding a good balance between the need to explore the environment and the need to gain rewards by exploiting existing knowledge. Much ...
144
click to vote
OL
2011
14 years 6 months ago
2011
Abstract. We propose a privacy-preserving formulation of a linear program whose constraint matrix is partitioned into groups of columns where each group of columns and its correspo...
111
click to vote
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values,...
87
Voted
CORR
2008
Springer
15 years 16 days ago
2008
Springer
We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of...
103
click to vote
CRYPTO
2008
Springer
15 years 2 months 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...