3 search results - page 1 / 1 » Quantifying Timing Leaks and Cost Optimisation |
CORR
2008
Springer
13 years 5 months 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...
IFL
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. We discuss a new optimisation for recursive functions yielding multiple results in tuples for lazy functional languages, like Clean and Haskell. This optimisation improve...
ASPLOS
2006
ACM
13 years 11 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...