2257 search results - page 272 / 452 » Secure program partitioning |
130
Voted
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
127
Voted
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...
109
click to vote
OOPSLA
2010
Springer
15 years 17 days ago
2010
Springer
General purpose object-oriented programs typically aren’t embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To ...
121
click to vote
OOPSLA
2010
Springer
15 years 1 days ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
190
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...