CUZA
2010
13 years 6 months ago
2010
CUZA
2010
13 years 6 months ago
2010
In this paper, we describe a symbolic synthesis method which given an algebraic expression that specifies a bitstream function f, constructs a (minimal) Mealy machine that realise...
CRYPTOLOGIA
2010
13 years 6 months ago
2010
This paper presents an improved protocol for Internet voting that allows recasting of ballots to eliminate voting errors, encourages early voting and provides an opportunity for c...
CRYPTOLOGIA
2010
13 years 6 months ago
2010
Abstract. We describe a single framework in which to view the endto-end-independently-verifiable (E2E) polling-place voting systems with a mixnet back-end. We use the framework to ...
CRYPTO
2010
Springer
13 years 6 months ago
2010
Springer
We show that the widely deployed RSA-OAEP encryption scheme of Bellare and Rogaway (Eurocrypt 1994), which combines RSA with two rounds of an underlying Feistel network whose hash...
CANS
2010
Springer
13 years 6 months ago
2010
Springer
CANS
2010
Springer
13 years 6 months ago
2010
Springer
ASIACRYPT
2010
Springer
13 years 6 months ago
2010
Springer
We consider the round complexity of a basic cryptographic task: verifiable secret sharing (VSS). This well-studied primitive provides a good "test case" for our understan...
ICISC
2009
13 years 6 months ago
2009
Abstract. Automatic recognition of human faces is becoming increasingly popular in civilian and law enforcement applications that require reliable recognition of humans. However, t...
ICISC
2009
13 years 6 months ago
2009
Abstract. We give a direct construction of a certificateless key encapsulation mechanism (KEM) in the standard model that is more efficient than the generic constructions proposed ...