4211 search results - page 588 / 843 » Types as Abstract Interpretations |
155
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...
194
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Practical computer (in)security is largely driven by the existence of and knowledge about vulnerabilities, which can be exploited to breach security mechanisms. Although ...
202
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Object models capture key properties of object-oriented architectures, and they can highlight relationships between types, occurrences of sharing, and object encapsulatio...
166
click to vote
FC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce the notion of tamper-evidence for mix networks in order to defend against attacks aimed at covertly leaking secret information held by corrupted mix servers....
184
click to vote
ASIACRYPT
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Group signature schemes are fundamental cryptographic tools that enable unlinkably anonymous authentication, in the same fashion that digital signatures provide the basis...