4513 search results - page 501 / 903 » Logic programming with satisfiability |
141
click to vote
DRM
2007
Springer
15 years 11 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
169
click to vote
POPL
2012
ACM
14 years 16 days ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
126
click to vote
TRUST
2010
Springer
15 years 10 months ago
2010
Springer
All practical software hardening schemes, as well as practical encryption schemes, e.g., AES, were not proven to be secure. One technique to enhance security is robust combiners. A...
146
Voted
JALC
2006
15 years 4 months ago
2006
Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. We study the case where mobile programs are executed by a host system in a secured environm...
262
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...