Sciweavers

27 search results - page 2 / 6
» Multiple facets for dynamic information flow
Sort
View
ESOP
2010
Springer
14 years 2 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
IPPS
2008
IEEE
13 years 11 months ago
Scalable dynamic information flow tracking and its applications
We are designing scalable dynamic information flow tracking techniques and employing them to carry out tasks related to debugging (bug location and fault avoidance), security (so...
Rajiv Gupta, Neelam Gupta, Xiangyu Zhang, Dennis J...
IEEEARES
2009
IEEE
13 years 11 months ago
Capturing Information Flow with Concatenated Dynamic Taint Analysis
Dynamic taint analysis (DTA) is a technique used for tracking information flow by propagating taint propagation across memory locations during program execution. Most implementat...
Hyung Chan Kim, Angelos D. Keromytis, Michael Covi...
CVPR
2003
IEEE
14 years 6 months ago
Using Multiple Cues for Hand Tracking and Model Refinement
We present a model based approach to the integration of multiple cues for tracking high degree of freedom articulated motions and model refinement. We then apply it to the problem...
Shan Lu, Dimitris N. Metaxas, Dimitris Samaras, Jo...
CVPR
2009
IEEE
14 years 12 months ago
Capturing Multiple Illumination Conditions using Time and Color Multiplexing
Many vision and graphics problems such as relighting, structured light scanning and photometric stereo, need im- ages of a scene under a number of different illumination conditi...
Bert De Decker (Hasselt University), Jan Kautz (Un...