1629 search results - page 218 / 326 » Infeasible Code Detection |
123
click to vote
SOSP
2009
ACM
15 years 10 months ago
2009
ACM
RESIN is a new language runtime that helps prevent security vulnerabilities, by allowing programmers to specify application-level data flow assertions. RESIN provides policy obje...
118
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
In a typical client-server scenario, a trusted server provides valuable services to a client, which runs remotely on an untrusted platform. Of the many security vulnerabilities th...
ERLANG
2008
ACM
15 years 3 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...
117
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
113
click to vote
VTC
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract—It is widely recognized that differential decode-andforward (DDF) cooperative transmission scheme is capable of providing a superior performance compared to classic dire...