1833 search results - page 157 / 367 » Mechanized Verification with Sharing |
168
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
189
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
187
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. When designing password-authenticated key exchange protocols (as opposed to key exchange protocols authenticated using cryptographically secure keys), one must not allow ...
165
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
204
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...