Juanma González Nieto

Publication Activity (10 Years)

Years Active: 2000-2014
Publications (10 Years): 0

Top Topics

Biometric Systems

Human Recognition

Building Blocks

Top Venues

Publications

Kenneth Radke, Colin Boyd, Juanma González Nieto, Mark Manulis, Douglas Stebila
Formalising Human Recognition: a Fundamental Building Block for Security Proofs. AISC (2014)
Long Ngo, Colin Boyd, Juanma González Nieto
Automated Proofs for Diffie-Hellman-Based Key Exchanges. CSF (2011)
Lakshmi Kuppusamy, Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juanma González Nieto
Towards a Provably Secure DoS-Resilient Key Exchange Protocol with Perfect Forward Secrecy. INDOCRYPT (2011)
Colin Boyd, Juanma González Nieto
On Forward Secrecy in One-Round Key Exchange. IMACC (2011)
Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juanma González Nieto
An integrated approach to cryptographic mitigation of denial-of-service attacks. AsiaCCS (2011)
Georg Lippold, Juanma González Nieto
Certificateless Key Agreement in the Standard Model. AISC (2010)
Kun Peng, Ed Dawson, Juanma González Nieto, Eiji Okamoto, Javier López
A Novel Method to Maintain Privacy in Mobile Agent Applications. CANS (2005)
Praveen Gauravaram, William Millan, Juanma González Nieto
Some thoughts on Collision Attacks in the Hash Functions MD5, SHA-0 and SHA-1. IACR Cryptol. ePrint Arch. 2005 (2005)
Praveen Gauravaram, William Millan, Juanma González Nieto, Ed Dawson
3C- A Provably Secure Pseudorandom Function and Message Authentication Code.A New mode of operation for Cryptographic Hash Function. IACR Cryptol. ePrint Arch. 2005 (2005)
Yiu Shing Terry Tin, Colin Boyd, Juanma González Nieto
Provably Secure Key Exchange: An Engineering Approach. ACSW (2003)
Juanma González Nieto, Kapali Viswanathan, Colin Boyd, Ed Dawson
Key Recovery System for the Commercial Environment. ACISP (2000)
Juanma González Nieto, DongGook Park, Colin Boyd, Ed Dawson
Key Recovery in Third Generation Wireless Communication Systems. Public Key Cryptography (2000)