598 search results - page 16 / 120 » Efficient and User-Friendly Verification |
EURODAC
1994
IEEE
15 years 1 months ago
1994
IEEE
100
click to vote
ISPEC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Undeniable signatures, introduced by Chaum and van Antwerpen, require a verifier to interact with the signer to verify a signature, and hence allow the signer to control ...
DBSEC
2004
14 years 11 months ago
2004
IEICET
2010
14 years 8 months ago
2010
75
Voted
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...