32032 search results - page 154 / 6407 » Verified programming in Guru |
127
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
134
Voted
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
144
Voted
ACMICEC
2006
ACM
15 years 8 months ago
2006
ACM
We present a practical protocol based on homomorphic cryptography for conducting provably fair sealed-bid auctions. The system preserves the secrecy of the bids, even after the an...
152
click to vote
CRYPTO
2006
Springer
15 years 8 months ago
2006
Springer
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...
153
click to vote
CISC
2008
Springer
15 years 6 months ago
2008
Springer
Anonymity is one of the main concerns in group-oriented cryptography. However, most efforts, for instance, group signatures and ring signatures, are only made to provide anonymity ...