1440 search results - page 268 / 288 » Third-Party Flow Control |
SIGSOFT
2003
ACM
14 years 11 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
MOBISYS
2008
ACM
14 years 10 months ago
2008
ACM
Wireless interfaces are major power consumers on mobile systems. Considerable research has improved the energy efficiency of elongated idle periods or created more elongated idle ...
EUROSYS
2009
ACM
14 years 8 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...
VEE
2010
ACM
14 years 6 months ago
2010
ACM
Modern organizations face increasingly complex information management requirements. A combination of commercial needs, legal liability and regulatory imperatives has created a pat...
SACMAT
2006
ACM
14 years 4 months ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...