1116 search results - page 195 / 224 » Applying Predicate Abstraction to Abstract State Machines |
CONCUR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
ICALP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
IPOM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. On the inter-domain Internet today, the address prefix origin in our BGP operations has become a major security concern. This critical problem can be stated simply as ...
SACRYPT
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Side-channel collision attacks were proposed in [1] and applied to AES in [2]. These are based on detecting collisions in certain positions of the internal state after th...
100
click to vote
DAGM
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper presents the integration of 3D shape knowledge into a variational model for level set based image segmentation and tracking. Having a 3D surface model of an ob...