1599 search results - page 61 / 320 » Program Analysis for Security and Privacy |
115
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
103
Voted
SP
2008
IEEE
15 years 10 months ago
2008
IEEE
Many basic tasks in computational biology involve operations on individual DNA and protein sequences. These sequences, even when anonymized, are vulnerable to re-identification a...
141
Voted
ISI
2008
Springer
15 years 3 months ago
2008
Springer
Terrorist or criminal social network analysis is helpful for intelligence and law enforcement force in investigation. However, individual agency usually has part of the complete te...
107
Voted
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider ...
123
Voted
OOPSLA
1991
Springer
15 years 7 months ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...