5255 search results - page 772 / 1051 » Formal Methods for Privacy |
161
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
162
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
145
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
153
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
159
Voted
PRIB
2009
Springer
16 years 1 months ago
2009
Springer
Discovery of molecular markers for efficient identification of living organisms remains a challenge of high interest. The diversity of species can now be observed in details with ...