519 search results - page 42 / 104 » Control flow obfuscation with information flow tracking |
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassific...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
JLP
2010
14 years 6 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
WCE
2007
15 years 28 days ago
2007
—In this paper we propose a multi-agent approach for traffic-light control. According to this approach, our system consists of agents and their world. In this context, the world ...
112
click to vote
EMMCVPR
2009
Springer
15 years 3 months ago
2009
Springer
An edge-sensitive variational approach for the restoration of optical flow fields is presented. Real world optical flow fields are frequently corrupted by noise, reflection artifac...