POPL
2000
ACM
13 years 11 months ago
2000
ACM
POPL
2000
ACM
13 years 11 months ago
2000
ACM
POPL
2000
ACM
13 years 11 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
In 1998 Asperti and Mairson proved that the cost of reducing a lambda-term using an optimal lambda-reducer (a la L´evy) cannot be bound by any elementary function in the number o...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
It has been shown that secret information can be leaked to external observers through covert timing channels. In this paper we are concerned with a kind of timing attack that want...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
