819 search results - page 97 / 164 » Fractal symbolic analysis |
PODS
2005
ACM
14 years 10 months ago
2005
ACM
Some promising recent schemes for XML access control employ encryption for implementing security policies on published data, avoiding data duplication. In this paper we study one ...
ICCAD
2008
IEEE
14 years 6 months ago
2008
IEEE
– Due to reduction in device feature size and supply voltage, the sensitivity of digital systems to transient faults is increasing dramatically. As technology scales further, the...
ICCAD
2005
IEEE
14 years 6 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
PEPM
2009
ACM
14 years 6 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
NDSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...