1268 search results - page 64 / 254 » One Logic to Use Them All |
IACR
2011
12 years 9 months ago
2011
Abstract—In this work we consider two protocols for performing cryptanalysis and security enhancement. The first one by Song, is a password authentication scheme based on smart ...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
FUZZIEEE
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper we present information about our experiment with a social network of students from one school class. Each pupil has characterized his/her relationships to all sch...
TCS
2008
13 years 9 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
DATE
2004
IEEE
2004
IEEE
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements
14 years 1 months ago
We show how to automatically verify that complex XScale-like pipelined machine models satisfy the same safety and liveness properties as their corresponding instruction set archit...