Juanma González Nieto

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