127 search results - page 8 / 26 » Quantifying information leaks in software |
FSTTCS
2007
Springer
14 years 2 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
ICISC
2009
13 years 6 months ago
2009
Abstract. The design of embedded processors demands a careful tradeoff between many conflicting objectives such as performance, silicon area and power consumption. Finding such a t...
IRI
2007
IEEE
14 years 2 months ago
2007
IEEE
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
VEE
2012
ACM
12 years 4 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
In the application domain of online information services such as online census information, health records and real-time stock quotes, there are at least two fundamental challenge...