182
Voted
LCPC
1999
Springer
15 years 11 months ago
1999
Springer
Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...
204
Voted
PET
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
181
Voted
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
