Abstract. In this paper we describe an efficient implementation of the Tate and Ate pairings using Barreto-Naehrig pairing-friendly curves, on both a standard 32-bit PC and on a 32-bit smartcard. First we introduce a sub-family of such curves with a particularly simple representation. Next we consider the issues that arise in the efficient implementation of field arithmetic in F p 12 , which is crucial to good performance. Various optimisations are suggested, including a novel approach to the 'final exponentiation', which is faster and requires less memory than the methods previously recommended.
Although fair exchange protocols are being widely implemented, there are few formal methods able to verify them. This work introduces the strand spaces method for verifying certified mail delivery protocols, a subclass of fair exchange protocols. Three fair exchange properties are verified: effectiveness, verifiability of TTP and timeliness. For effectiveness and verifiability we used the FPH protocol [Ferrer-Gomila et al. 2000]; for timeliness we use the ZDB protocol [Zhou et al. 1999]. We show that strand spaces can be applied to fair exchange protocols, and present an additional attack to the FPH protocol which was not previously reported.
Nós descrevemos a implementação de um protocolo desafio-resposta para uso em servidores e navegadores Web que prescinde do modo de autenticação em resumo padronizado pelo HTTP. Esta implementação utiliza primitivas (números pseudo-randômicos, funções resumo) facilmente implementáveis em servidores Web e permite a um desenvolvedor de aplicações Web manter sua própria base de informações de autenticação.
Apresentamos o Farnel, um protocolo criptográfico para esquemas de votação eletrônica, que utiliza redes de misturadores, assinatura cega e escrutinadores para permitir a execução de votações seguras sobre redes de computadores. O Farnel foi desenvolvido tendo como base o processo eleitoral brasileiro tradicional, utilizado antes da introdução das urnas eletrônicas.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.