1599 search results - page 62 / 320 » Program Analysis for Security and Privacy |
162
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
144
Voted
CCS
2003
ACM
15 years 9 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
207
click to vote
IHI
2012
13 years 11 months ago
2012
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...
123
click to vote
IEEEIAS
2007
IEEE
15 years 10 months ago
2007
IEEE
CardSpace (formerly known as InfoCard) is a Digital Identity Management system that has recently been adopted by Microsoft. In this paper we identify two security flaws in CardSp...
120
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...