1599 search results - page 176 / 320 » Program Analysis for Security and Privacy |
110
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
We present a novel solution for authenticating printed paper documents by utilizing the inherent non–repeatable randomness existing in the printing process. For a document print...
135
click to vote
TRUST
2010
Springer
15 years 9 months ago
2010
Springer
Virtualization has been purported to be a panacea for many security problems. We analyze the feasibility of constructing an integrity-protected hypervisor on contemporary x86 hardw...
120
click to vote
ACSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
Portable storage devices, such as key-chain USB devices, are ubiquitous. These devices are often used with impunity, with users repeatedly using the same storage device in open co...
159
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
119
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Security API analysis typically only considers a subset of an API’s functions, with results bounded by the number of function calls. Furthermore, attacks involving partial leakag...