1599 search results - page 210 / 320 » Program Analysis for Security and Privacy |
149
click to vote
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
152
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Harvard architecture CPU design is common in the embedded world. Examples of Harvard-based architecture devices are the Mica family of wireless sensors. Mica motes have limited me...
170
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
139
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
Automatic protocol reverse engineering has recently received significant attention due to its importance to many security applications. However, previous methods are all limited in...
158
click to vote
IDTRUST
2010
ACM
15 years 11 months ago
2010
ACM
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...