1914 search results - page 287 / 383 » Verification by Abstract Interpretation |
88
Voted
CONCUR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper presents SOAR: the first oblivious atomicity assertion with polynomial complexity. SOAR enables to check atomicity of a single-writer multi-reader register imp...
104
click to vote
CRYPTO
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper discusses key recovery and universal forgery attacks on several MAC algorithms based on universal hash functions. The attacks use a substantial number of verif...
134
Voted
CSL
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
101
click to vote
ESORICS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Recently, operators of public transportation in many countries started to roll out electronic tickets (e-tickets). E-tickets offer several advantages to transit enterpris...
92
Voted
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...