32032 search results - page 141 / 6407 » Verified programming in Guru |
134
click to vote
IEEEARES
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a practical verifiable e-voting protocol which guarantees e-voting requirements: privacy, eligibility, uniqueness, uncoercibility, fairness, accuracy, robustness, indiv...
147
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose a method to verify the result of attacks detected by signature-based network intrusion detection systems using lightweight protocol analysis. The observation is that ne...
152
click to vote
EUROCRYPT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...
160
click to vote
FCS
2006
15 years 6 months ago
2006
Secret sharing schemes are methods for distributing a secret among n participants in such a way that any qualified subsets of participants can recover the secret, and unqualified ...
128
click to vote
ECEASST
2008
15 years 4 months ago
2008
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...