177 search results - page 6 / 36 » A Practical Generic Privacy Language |
POPL
1999
ACM
15 years 2 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable,...
CSFW
2002
IEEE
15 years 2 months ago
2002
IEEE
Privacy is an increasing concern in the marketplace. Although enterprises promise sound privacy practices to their customers, there is no technical mechanism to enforce them inter...
CSFW
2004
IEEE
15 years 1 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
The development processes of open source software are different from traditional closed source development processes. Still, open source software is frequently of high quality. Th...