2137 search results - page 86 / 428 » Proving Abstract Non-interference |
146
Voted
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...
138
Voted
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
158
Voted
TLCA
1995
Springer
15 years 6 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
130
Voted
CTRSA
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Multi-signatures allow multiple signers to jointly authenticate a message using a single compact signature. Many applications however require the public keys of the signe...
148
Voted
EUC
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Signcryption is a cryptographic primitive that aims at providing confidentiality and authentication simultaneously. Recently in May 2008, a scheme for identity based thre...