Sciweavers

2 search results - page 1 / 1
» Multivariant Non-failure Analysis via Standard Abstract Inte...
Sort
View
58
Voted
FLOPS
2004
Springer
15 years 2 months ago
Multivariant Non-failure Analysis via Standard Abstract Interpretation
Francisco Bueno, Pedro López-García,...
155
Voted
CSFW
2011
IEEE
13 years 9 months ago
Dynamic Enforcement of Knowledge-Based Security Policies
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...
Piotr Mardziel, Stephen Magill, Michael Hicks, Mud...