252 search results - page 13 / 51 » Information-Flow Security for Interactive Programs |
175
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
IPPS
2008
IEEE
15 years 3 months ago
2008
IEEE
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...
92
Voted
STVR
2010
14 years 7 months ago
2010
Failures triggered by hard to debug defects usually involve complex interactions between many program elements. We hypothesize that information flows present a good model for such ...
MIDDLEWARE
2001
Springer
15 years 1 months ago
2001
Springer
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
CSFW
2007
IEEE
15 years 1 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...