Juan Manuel González Nieto

Publication Activity (10 Years)

Years Active: 2001-2015
Publications (10 Years): 0

Top Topics

Automated Theorem Provers

Human Agent Interaction

Top Venues

Int. J. Inf. Sec.

Publications

Kenneth Radke, Colin Boyd, Juan Manuel González Nieto, Harry Bartlett
CHURNs: Freshness Assurance for Humans. Comput. J. 58 (10) (2015)
Long Ngo, Colin Boyd, Juan Manuel González Nieto
Automated Proofs for Computational Indistinguishability. Comput. J. 57 (10) (2014)
Aiiad Albeshri, Colin Boyd, Juan Manuel González Nieto
Enhanced GeoProof: improved geographic assurance for data in the cloud. Int. J. Inf. Sec. 13 (2) (2014)
Juan Manuel González Nieto, Mark Manulis, Dongdong Sun
Forward-Secure Hierarchical Predicate Encryption. Comput. J. 57 (4) (2014)
Juan Manuel González Nieto, Mark Manulis, Bertram Poettering, Jothi Rangasamy, Douglas Stebila
Publicly verifiable ciphertexts. J. Comput. Secur. 21 (5) (2013)
Kenneth Radke, Colin Boyd, Juan Manuel González Nieto, Laurie Buys
"Who decides?": security and privacy in the wild. OZCHI (2013)
Dongdong Sun, Colin Boyd, Juan Manuel González Nieto
Predicate encryption for multi-inner-products. Secur. Commun. Networks 6 (3) (2013)
Aiiad Albeshri, Colin Boyd, Juan Manuel González Nieto
GeoProof: Proofs of Geographic Location for Cloud Computing Environment. ICDCS Workshops (2012)
Juan Manuel González Nieto, Mark Manulis, Bertram Poettering, Jothi Rangasamy, Douglas Stebila
Publicly Verifiable Ciphertexts. SCN (2012)
Chuah Chai Wen, Ed Dawson, Juan Manuel González Nieto, Leonie Simpson
A Framework for Security Analysis of Key Derivation Functions. ISPEC (2012)
Hani Alzaid, Ernest Foo, Juan Manuel González Nieto, DongGook Park
A taxonomy of secure data aggregation in wireless sensor networks. Int. J. Commun. Networks Distributed Syst. 8 (1/2) (2012)
Hani Alzaid, Ernest Foo, Juan Manuel González Nieto, Ejaz Ahmed
Mitigating On-Off attacks in reputation-based secure data aggregation for wireless sensor networks. Secur. Commun. Networks 5 (2) (2012)
Juan Manuel González Nieto, Mark Manulis, Bertram Poettering, Jothi Rangasamy, Douglas Stebila
Publicly Verifiable Ciphertexts. IACR Cryptol. ePrint Arch. 2012 (2012)
Juan Manuel González Nieto, Mark Manulis, Dongdong Sun
Fully Private Revocable Predicate Encryption. ACISP (2012)
Ibrahim Mohammed Alseadoon, Taizan Chan, Ernest Foo, Juan Manuel González Nieto
Who is more susceptible to phishing emails?: A Saudi Arabian study. ACIS (2012)
Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juan Manuel González Nieto, Lakshmi Kuppusamy
Effort-Release Public-Key Encryption from Cryptographic Puzzles. ACISP (2012)
Juan Manuel González Nieto, Mark Manulis, Dongdong Sun
Forward-Secure Hierarchical Predicate Encryption. IACR Cryptol. ePrint Arch. 2012 (2012)
Kaleb Lee, Colin Boyd, Juan Manuel González Nieto
Minimizing Information Leakage of Tree-Based RFID Authentication Protocols Using Alternate Tree-Walking. ACISP (2012)
Kaleb Lee, Juan Manuel González Nieto, Colin Boyd
A State-Aware RFID Privacy Model with Reader Corruption. CSS (2012)
Juan Manuel González Nieto, Mark Manulis, Dongdong Sun
Forward-Secure Hierarchical Predicate Encryption. Pairing (2012)
Kaleb Lee, Juan Manuel González Nieto, Colin Boyd
Improving the Efficiency of RFID Authentication with Pre-Computation. AISC (2012)
Lakshmi Kuppusamy, Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juan Manuel González Nieto
Practical client puzzles in the standard model. AsiaCCS (2012)
Kenneth Radke, Colin Boyd, Juan Manuel González Nieto, Margot Brereton
Towards a Secure Human-and-Computer Mutual Authentication Protocol. AISC (2012)
Juan Manuel González Nieto, Mark Manulis, Dongdong Sun
Fully Private Revocable Predicate Encryption. IACR Cryptol. ePrint Arch. 2012 (2012)
Kenneth Radke, Margot Brereton, Seyed Hadi Mirisaee, Sunil Ghelawat, Colin Boyd, Juan Manuel González Nieto
Tensions in Developing a Secure Collective Information Practice - The Case of Agile Ridesharing. INTERACT (2) (2011)
Jothi Rangasamy, Douglas Stebila, Lakshmi Kuppusamy, Colin Boyd, Juan Manuel González Nieto
Efficient Modular Exponentiation-Based Puzzles for Denial-of-Service Protection. ICISC (2011)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto, Mark Manulis
Modeling key compromise impersonation attacks on group key exchange protocols. ACM Trans. Inf. Syst. Secur. 14 (4) (2011)
Jothi Rangasamy, Douglas Stebila, Lakshmi Kuppusamy, Colin Boyd, Juan Manuel González Nieto
Efficient Modular Exponentiation-based Puzzles for Denial-of-Service Protection. IACR Cryptol. ePrint Arch. 2011 (2011)
Douglas Stebila, Lakshmi Kuppusamy, Jothi Rangasamy, Colin Boyd, Juan Manuel González Nieto
Stronger Difficulty Notions for Client Puzzles and Denial-of-Service-Resistant Protocols. CT-RSA (2011)
Kenneth Radke, Colin Boyd, Juan Manuel González Nieto, Margot Brereton
Ceremony Analysis: Strengths and Weaknesses. SEC (2011)
Hani Alzaid, DongGook Park, Juan Manuel González Nieto, Ernest Foo
Mitigating Sandwich Attacks Against a Secure Key Management Scheme in Wireless Sensor Networks for PCS/SCADA. AINA (2010)
Craig Costello, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
Delaying Mismatched Field Multiplications in Pairing Computations. IACR Cryptol. ePrint Arch. 2010 (2010)
Long Ngo, Colin Boyd, Juan Manuel González Nieto
Automating Computational Proofs for Public-Key-Based Key Exchange. ProvSec (2010)
Douglas Stebila, Lakshmi Kuppusamy, Jothi Rangasamy, Colin Boyd, Juan Manuel González Nieto
Stronger difficulty notions for client puzzles and denial-of-service-resistant protocols. IACR Cryptol. ePrint Arch. 2010 (2010)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
Attribute-Based Authenticated Key Exchange. ACISP (2010)
Craig Costello, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
Delaying Mismatched Field Multiplications in Pairing Computations. WAIFI (2010)
Dongdong Sun, Colin Boyd, Juan Manuel González Nieto
Delegation in Predicate Encryption Supporting Disjunctive Queries. SEC (2010)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
Attribute-based Authenticated Key Exchange. IACR Cryptol. ePrint Arch. 2010 (2010)
Craig Costello, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
Avoiding Full Extension Field Arithmetic in Pairing Computations. IACR Cryptol. ePrint Arch. 2010 (2010)
Craig Costello, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
Avoiding Full Extension Field Arithmetic in Pairing Computations. AFRICACRYPT (2010)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
One Round Group Key Exchange with Forward Security in the Standard Model. IACR Cryptol. ePrint Arch. 2010 (2010)
Kenneth Radke, Colin Boyd, Margot Brereton, Juan Manuel González Nieto
How HCI design influences web security decisions. OZCHI (2010)
Yvonne Cliff, Colin Boyd, Juan Manuel González Nieto
How to Extract and Expand Randomness: A Summary and Explanation of Existing Results. ACNS (2009)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
Universally Composable Contributory Group Key Exchange. IACR Cryptol. ePrint Arch. 2009 (2009)
Yvonne Cliff, Colin Boyd, Juan Manuel González Nieto
How to Extract and Expand Randomness: A Summary and Explanation of Existing Results. IACR Cryptol. ePrint Arch. 2009 (2009)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
Modeling Key Compromise Impersonation Attacks on Group Key Exchange Protocols. IACR Cryptol. ePrint Arch. 2009 (2009)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
On the Connection between Signcryption and One-pass Key Establishment. IACR Cryptol. ePrint Arch. 2009 (2009)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto, Mark Manulis
Generic One Round Group Key Exchange in the Standard Model. ICISC (2009)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
Modeling Key Compromise Impersonation Attacks on Group Key Exchange Protocols. Public Key Cryptography (2009)
Georg Lippold, Colin Boyd, Juan Manuel González Nieto
Efficient Certificateless KEM in the Standard Model. IACR Cryptol. ePrint Arch. 2009 (2009)
Georg Lippold, Colin Boyd, Juan Manuel González Nieto
Efficient Certificateless KEM in the Standard Model. ICISC (2009)
Georg Lippold, Colin Boyd, Juan Manuel González Nieto
Strongly Secure Certificateless Key Agreement. IACR Cryptol. ePrint Arch. 2009 (2009)
Colin Boyd, Yvonne Cliff, Juan Manuel González Nieto, Kenneth G. Paterson
One-round key exchange in the standard model. Int. J. Appl. Cryptogr. 1 (3) (2009)
Georg Lippold, Colin Boyd, Juan Manuel González Nieto
Strongly Secure Certificateless Key Agreement. Pairing (2009)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
Universally composable contributory group key exchange. AsiaCCS (2009)
Craig Costello, Hüseyin Hisil, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
Faster Pairings on Special Weierstrass Curves. IACR Cryptol. ePrint Arch. 2009 (2009)
Craig Costello, Hüseyin Hisil, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
Faster Pairings on Special Weierstrass Curves. Pairing (2009)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
Strong Designated Verifier Signature in a Multi-user Setting. AISC (2009)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto, Mark Manulis
Generic One Round Group Key Exchange in the Standard Model. IACR Cryptol. ePrint Arch. 2009 (2009)
Hani Alzaid, DongGook Park, Juan Manuel González Nieto, Colin Boyd, Ernest Foo
A Forward and Backward Secure Key Management in Wireless Sensor Networks for PCS/SCADA. S-CUBE (2009)
Hani Alzaid, Ernest Foo, Juan Manuel González Nieto
Secure Data Aggregation in Wireless Sensor Network: a survey. AISC (2008)
Colin Boyd, Yvonne Cliff, Juan Manuel González Nieto, Kenneth G. Paterson
Efficient One-round Key Exchange in the Standard Model. IACR Cryptol. ePrint Arch. 2008 (2008)
Hani Alzaid, Ernest Foo, Juan Manuel González Nieto
RSDA: Reputation-Based Secure Data Aggregation in Wireless Sensor Networks. PDCAT (2008)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
ID-based One-pass Authenticated Key Establishment. AISC (2008)
Colin Boyd, Yvonne Cliff, Juan Manuel González Nieto, Kenneth G. Paterson
Efficient One-Round Key Exchange in the Standard Model. ACISP (2008)
JaeCheol Ha, Hwankoo Kim, JeaHoon Park, Sang-Jae Moon, Juan Manuel González Nieto, Colin Boyd
HGLAP - Hierarchical Group-Index Based Lightweight Authentication Protocol for Distributed RFID System. EUC Workshops (2007)
Raylin Tso, Juan Manuel González Nieto, Takeshi Okamoto, Colin Boyd, Eiji Okamoto
Verifier-Key-Flexible Universal Designated-Verifier Signatures. IMACC (2007)
JaeCheol Ha, Sang-Jae Moon, Juan Manuel González Nieto, Colin Boyd
Low-Cost and Strong-Security RFID Authentication Protocol. EUC Workshops (2007)
Mark Burdon, Juan Manuel González Nieto, Sharon Christensen, Ed Dawson, William D. Duncan, Bill Lane
Access Control in Federated Databases: How Legal Issues Shape Security. EGOV (2007)
JaeCheol Ha, Sang-Jae Moon, Juan Manuel González Nieto, Colin Boyd
Security Analysis and Enhancement of One-Way Hash Based Low-Cost Authentication Protocol (OHLCAP). PAKDD Workshops (2007)
Jason Smith, Suratose Tritilanunt, Colin Boyd, Juan Manuel González Nieto, Ernest Foo
Denial-of-service resistance in key establishment. Int. J. Wirel. Mob. Comput. 2 (1) (2007)
Jason Reid, Juan Manuel González Nieto, Tee Tang, Bouchra Senadji
Detecting relay attacks with timing-based protocols. AsiaCCS (2007)
Suratose Tritilanunt, Colin Boyd, Ernest Foo, Juan Manuel González Nieto
Toward Non-parallelizable Client Puzzles. CANS (2007)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
On the Connection Between Signcryption and One-Pass Key Establishment. IMACC (2007)
Suratose Tritilanunt, Colin Boyd, Ernest Foo, Juan Manuel González Nieto
Cost-Based Framework and Simulation of DoS-Resistant Protocols Using Coloured Petri Nets. ACSC (2007)
Jaimee Brown, Juan Manuel González Nieto, Colin Boyd
Efficient CCA-Secure Public-Key Encryption Schemes from RSA-Related Assumptions. INDOCRYPT (2006)
Sherman S. M. Chow, Colin Boyd, Juan Manuel González Nieto
Security-Mediated Certificateless Cryptography. Public Key Cryptography (2006)
Suratose Tritilanunt, Colin Boyd, Ernest Foo, Juan Manuel González Nieto
Examining the DoS Resistance of HIP. OTM Workshops (1) (2006)
Martin P. Betts, Peter Black, Sharon Christensen, Ed Dawson, Rong Du, William D. Duncan, Ernest Foo, Juan Manuel González Nieto
Towards Secure and Legal E-Tendering. J. Inf. Technol. Constr. 11 (2006)
Jason Smith, Juan Manuel González Nieto, Colin Boyd
Modelling denial of service attacks on JFK with Meadows's cost-based framework. ACSW (2006)
Robert Dawson, Colin Boyd, Ed Dawson, Juan Manuel González Nieto
SKMA: a key management architecture for SCADA systems. ACSW (2006)
Yvonne Hitchcock, Colin Boyd, Juan Manuel González Nieto
Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model. Appl. Algebra Eng. Commun. Comput. 16 (6) (2006)
Jaimee Brown, Juan Manuel González Nieto, Colin Boyd
Concrete Chosen-Ciphertext Secure Encryption from Subgroup Membership Problems. CANS (2006)
Kun Peng, Juan Manuel González Nieto, Yvo Desmedt, Ed Dawson
Klein Bottle Routing: An Alternative to Onion Routing and Mix Network. ICISC (2006)
Chris Steketee, Jaimee Brown, Juan Manuel González Nieto, Paul Montague
GBD Threshold Cryptography with an Application to RSA Key Recovery. ACISP (2005)
Juan Manuel González Nieto, Colin Boyd, Ed Dawson
A Public Key Cryptosystem Based On A Subgroup Membership Problem. Des. Codes Cryptogr. 36 (3) (2005)
Rong Du, Ernest Foo, Juan Manuel González Nieto, Colin Boyd
Designing Secure E-Tendering Systems. TrustBus (2005)
Harikrishna Vasanta, Yiu Shing Terry Tin, Colin Boyd, Mark Looi, Juan Manuel González Nieto
A Secure Framework for User Privacy in Heterogeneous Location Networks. MATA (2004)
Jaimee Brown, Ed Dawson, Juan Manuel González Nieto
Implementation of the GBD Cryptosystem. Cryptographic Algorithms and their Uses (2004)
Yiu Shing Terry Tin, Harikrishna Vasanta, Colin Boyd, Juan Manuel González Nieto
Protocols with Security Proofs for Mobile Applications. ACISP (2004)
Jason Reid, Andrew J. Clark, Juan Manuel González Nieto, Jason Smith, Kapali Viswanathan
Denial of Service Issues in Voice Over IP Networks. ICETE (2) (2004)
Yvonne Hitchcock, Colin Boyd, Juan Manuel González Nieto
Tripartite Key Exchange in the Canetti-Krawczyk Proof Model. INDOCRYPT (2004)
Yiu Shing Terry Tin, Colin Boyd, Juan Manuel González Nieto
Provably Secure Mobile Key Exchange: Applying the Canetti-Krawczyk Approach. ACISP (2003)
Colin Boyd, Juan Manuel González Nieto
Round-Optimal Contributory Conference Key Agreement. Public Key Cryptography (2003)
Yvonne Hitchcock, Yiu Shing Terry Tin, Juan Manuel González Nieto, Colin Boyd, Paul Montague
A Password-Based Authenticator: Security Proof and Applications. INDOCRYPT (2003)
Juan Manuel González Nieto, Ed Dawson, Eiji Okamoto
Privacy and Trusted Computing. DEXA Workshops (2003)
Juan Manuel González Nieto, Kapali Viswanathan, Colin Boyd, Andrew J. Clark, Ed Dawson
Key recovery for the commercial environment. Int. J. Inf. Sec. 1 (3) (2002)
Juan Manuel González Nieto, Colin Boyd, Ed Dawson
A Public Key Cryptosystem Based on the Subgroup Membership Problem. ICICS (2001)