1599 search results - page 129 / 320 » Program Analysis for Security and Privacy |
119
click to vote
WISTP
2009
Springer
15 years 10 months ago
2009
Springer
Since their publication in 1996, Fault Attacks have been widely studied from both theoretical and practical points of view and most of cryptographic systems have been shown vulnera...
148
click to vote
CSFW
2011
IEEE
14 years 3 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
121
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
126
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
fies a number of issues related to security information r semantics on different layers of abstraction. In particular it is difficult to express caller and target accurately in the...
156
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
With the recent rapid increase in interactive web applications that employ back-end database services, an SQL injection attack has become one of the most serious security threats....