Sciweavers

1599 search results - page 2 / 320
» Program Analysis for Security and Privacy
Sort
View
119
Voted
OOPSLA
2010
Springer
15 years 3 months ago
Concurrent programming with revisions and isolation types
Sebastian Burckhardt, Alexandro Baldassin, Daan Le...
CCS
2003
ACM
15 years 10 months ago
Buffer overrun detection using linear programming and static analysis
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
Vinod Ganapathy, Somesh Jha, David Chandler, David...
119
Voted
IEEEARES
2010
IEEE
15 years 11 months ago
Multi-dimensional Uncertainty Analysis in Secure and Dependable Domain
Yudistira Asnar, Paolo Giorgini
118
Voted
STORAGESS
2006
ACM
15 years 11 months ago
A statistical analysis of disclosed storage security breaches
Ragib Hasan, William Yurcik