32032 search results - page 125 / 6407 » Verified programming in Guru |
102
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the T...
130
click to vote
AAAI
1998
15 years 5 months ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
147
Voted
INFORMATICALT
2010
15 years 1 months ago
2010
In 2007, Kancharla et al. proposed an identity-based strong designated verifier signature (IBSDVS) scheme based on bilinear pairings, and claimed it unforgeable and non-delegatable...
148
click to vote
ISCC
2009
IEEE
15 years 11 months ago
2009
IEEE
A directly public verifiable signcryption scheme is introduced in this paper that provides the security attributes of message confidentiality, authentication, integrity, non-repud...
139
Voted
IADIS
2004
15 years 6 months ago
2004
We propose in this paper a new voting scheme where the voter, while receiving a receipt for his/her vote allowing further contestations, cannot use it to reveal the vote to other u...