Dr. Rene Peralta
I AM NOW AT
(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.
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.
Atacama desert 2012 (slide show)
Friends in Tsukuba