1599 search results - page 140 / 320 » Program Analysis for Security and Privacy |
144
click to vote
MICRO
2008
IEEE
15 years 10 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
115
Voted
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
The economics of information security has recently become a thriving and fast-moving discipline. As distributed systems are assembled from machines belonging to principals with div...
127
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
123
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
153
click to vote
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...