Dr. Rene Peralta

I AM NOW AT NIST.
(This page lives on a guest account courtesy of Yale's Computer Science Department.)

Current areas of research

Circuit complexity and applications to security (go to the Circuit Minimization Team page)

Cryptography, security and electronic commerce.

Electronic/Internet voting.

Automatic verification of cryptoprotocols.

Computation by "passively" mobile finite-state sensors.

Algorithmics, particularly interested in the concrete complexity of number theoretic problems.

Discreet non-interactive proofs.