1599 search results - page 96 / 320 » Program Analysis for Security and Privacy |
137
click to vote
ACSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
138
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
117
click to vote
CSFW
2000
IEEE
15 years 8 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
118
click to vote
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Many systems execute untrusted programs in virtual machines (VMs) to limit their access to system resources. Sun introduced the Java VM in 1995, primarily intended as a lightweigh...
162
click to vote
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to lowchine code. Full abstraction is achieved by relying on a fine-grain...