1599 search results - page 8 / 320 » Program Analysis for Security and Privacy |
OOPSLA
1997
Springer
13 years 11 months ago
1997
Springer
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...
SIGMOD
2012
ACM
11 years 10 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...
ACSAC
1999
IEEE
13 years 11 months ago
1999
IEEE
Many security breaches are caused by inappropriate inputs crafted by people with malicious intents. To enhance the system security, we need either to ensure that inappropriate inp...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...