POPL
2000
ACM
13 years 9 months ago
2000
ACM
POPL
2000
ACM
13 years 9 months ago
2000
ACM
POPL
2000
ACM
13 years 9 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 9 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 9 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 9 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 9 months ago
2000
ACM
