1599 search results - page 11 / 320 » Program Analysis for Security and Privacy |
103
Voted
PAISI
2010
Springer
15 years 1 months ago
2010
Springer
101
Voted
OOPSLA
2010
Springer
15 years 19 days ago
2010
Springer
104
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
146
Voted
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
182
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...