1599 search results - page 92 / 320 » Program Analysis for Security and Privacy |
106
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
: To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level...
133
Voted
SP
2010
IEEE
15 years 7 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
161
click to vote
CCS
2007
ACM
15 years 7 months ago
2007
ACM
Administrative RBAC (ARBAC) policies specify how Role-Based Access Control (RBAC) policies may be changed by each administrator. It is often difficult to fully understand the effe...
132
click to vote
SP
2006
IEEE
15 years 9 months ago
2006
IEEE
Linux is the most popular open source project. The Linux random number generator is part of the kernel of all Linux distributions and is based on generating randomness from entrop...
164
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...