1901 search results - page 235 / 381 » Predicting Program Properties from |
107
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
127
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
143
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
113
Voted
CCS
2005
ACM
15 years 8 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
102
click to vote
TPHOL
2003
IEEE
15 years 8 months ago
2003
IEEE
MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative p...