1599 search results - page 167 / 320 » Program Analysis for Security and Privacy |
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
This report is a companion to the paper “Refactoring References for Library Migration” published at the ACM SIGPLAN International Conference on Systems, Programming, Languages...
149
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
We present a framework that provides concurrency-enhanced versions of the GOF object-oriented design patterns. The main benefit of our work is that if programmers improve program...
125
click to vote
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
The issue of information security has attracted increasing attention in recent years. In network attack and defense scenarios, attackers and defenders constantly change their resp...
121
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
136
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
Device attestation is an essential feature in many security protocols and applications. The lack of dedicated hardware and the impossibility to physically access devices to be att...