2257 search results - page 201 / 452 » Secure program partitioning |
114
Voted
CGO
2006
IEEE
15 years 6 months ago
2006
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Algorithms have been proposed that automatically group similar portions of a program...
99
Voted
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
79
Voted
IJSN
2006
15 years 22 days ago
2006
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
121
Voted
SP
2008
IEEE
15 years 20 days ago
2008
IEEE
This paper provides a way to specify expressive declassification policies, in particular, when, what, and where policies that include conditions under which downgrading is allowed...
90
Voted
WWW
2006
ACM
16 years 1 months ago
2006
ACM
Through a variety of means, including a range of browser cache methods and inspecting the color of a visited hyperlink, client-side browser state can be exploited to track users a...