4 search results - page 1 / 1 » Comparison Based Semantic Security is Probabilistic Polynomi... |
IJNSEC
2008
15 years 3 months ago
2008
145
Voted
CJ
2010
15 years 29 days ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
134
Voted
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
As of today no solely software-based solution that a priori protects the computation of any mobile code and/or mobile agent was presented. Furthermore, Algesheimer et al. [1], arg...
129
Voted
JAIR
2008
15 years 3 months ago
2008
Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Multi-Valued Decision Diagrams (MDD) with AND nodes, in order to capture function ...