1599 search results - page 39 / 320 » Program Analysis for Security and Privacy |
124
click to vote
IEEEARES
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Despite a long standing need to incorporate human factors into security risk analysis, taking a balanced approach to analysing security and usability concerns remains a ...
TRUST
2010
Springer
15 years 7 months ago
2010
Springer
All practical software hardening schemes, as well as practical encryption schemes, e.g., AES, were not proven to be secure. One technique to enhance security is robust combiners. A...
142
click to vote
CSFW
2007
IEEE
15 years 5 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
139
click to vote
CSFW
2007
IEEE
15 years 5 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
ETRICS
2006
15 years 5 months ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...