Colin Boyd

Comput. Commun., 2006

The importance of proofs of security for key establishment protocols: Formal analysis of Jan-Chen, Yang-Shen-Shieh, Kim-Huh-Hwang-Lee, Lin-Sun-Hwang, and Yeh-Sun protocols.

[BibT_eX]

[DOI]

Comput. Commun., 2006

Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2006

A Secure E-Tender Submission Protocol.

[BibT_eX]

[DOI]

Rong Du

Proceedings of the Trust and Privacy in Digital Business, Third International Conference, 2006

Sealed-Bid Micro Auctions.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Dynamic Environments, 2006

Security-Mediated Certificateless Cryptography.

[BibT_eX]

[DOI]

Sherman S. M. Chow

Proceedings of the Public Key Cryptography, 2006

Examining the DoS Resistance of HIP.

[BibT_eX]

[DOI]

Suratose Tritilanunt

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Efficient CCA-Secure Public-Key Encryption Schemes from RSA-Related Assumptions.

[BibT_eX]

[DOI]

Jaimee Brown

Proceedings of the Progress in Cryptology, 2006

LRMAP: Lightweight and Resynchronous Mutual Authentication Protocol for RFID System.

[BibT_eX]

[DOI]

Proceedings of the Ubiquitous Convergence Technology, First International Conference, 2006

Concrete Chosen-Ciphertext Secure Encryption from Subgroup Membership Problems.

[BibT_eX]

[DOI]

Jaimee Brown

Proceedings of the Cryptology and Network Security, 5th International Conference, 2006

Modelling denial of service attacks on JFK with Meadows's cost-based framework.

[BibT_eX]

[DOI]

Jason Smith

Proceedings of the proceedings of the Fourth Australasian Symposium on Grid Computing and e-Research (AusGrid 2006) and the Fourth Australasian Information Security Workshop (Network Security) (AISW 2006), 2006

Formal analysis of secure contracting protocol for e-tendering.

[BibT_eX]

[DOI]

Rong Du

SKMA: a key management architecture for SCADA systems.

[BibT_eX]

[DOI]

Robert Dawson

Password Based Server Aided Key Exchange .

[BibT_eX]

[DOI]

Yvonne Cliff

Proceedings of the Applied Cryptography and Network Security, 4th International Conference, 2006

A Novel Range Test.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy, 11th Australasian Conference, 2006

An Extension to Bellare and Rogaway (1993) Model: Resetting Compromised Long-Term Keys.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy, 11th Australasian Conference, 2006

2005

Preface to the special issue on ISC 2003.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2005

Errors in Computational Complexity Proofs for Protocols.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2005

Examining Indistinguishability-Based Proof Models for Key Establishment Protocols.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2005

On Session Key Construction in Provably-Secure Key Establishment Protocols: Revisiting Chen & Kudla (2003) and McCullagh & Barreto (2005) ID-Based Protocols.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2005

A Public Key Cryptosystem Based On A Subgroup Membership Problem.

[BibT_eX]

[DOI]

Des. Codes Cryptogr., 2005

Two models of efficient Mixnet-based receipt-free voting using (threshold) re-encryption.

[BibT_eX]

Comput. Syst. Sci. Eng., 2005

Designing Secure E-Tendering Systems.

[BibT_eX]

[DOI]

Rong Du

Proceedings of the Trust, 2005

Optimization of Electronic First-Bid Sealed-Bid Auction Based on Homomorphic Secret Sharing.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2005

On Session Key Construction in Provably-Secure Key Establishment Protocols.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2005

Security of Two-Party Identity-Based Key Agreement.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2005

A Multiplicative Homomorphic Sealed-Bid Auction Based on Goldwasser-Micali Encryption.

[BibT_eX]

[DOI]

Proceedings of the Information Security, 8th International Conference, 2005

Ciphertext Comparison, a New Solution to the Millionaire Problem.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, 7th International Conference, 2005

Simple and Efficient Shuffling with Provable Correctness and ZK Privacy.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2005

2004

On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2004

An Efficient Mixnet-Based Voting Scheme Providing Receipt-Freeness.

[BibT_eX]

[DOI]

Proceedings of the Trust and Privacy in Digital Business, First International Conference, 2004

Private Reputation Schemes for P2P systems.

[BibT_eX]

Proceedings of the Security In Information Systems, 2004

An Efficient Off-Line Reputation Scheme Using Articulated Certificates.

[BibT_eX]

Proceedings of the Security In Information Systems, 2004

A Correct, Private, and Efficient Mix Network.

[BibT_eX]

[DOI]

Proceedings of the Public Key Cryptography, 2004

A Secure Framework for User Privacy in Heterogeneous Location Networks.

[BibT_eX]

[DOI]

Proceedings of the Mobility Aware Technologies and Applications, 2004

Multiplicative Homomorphic E-Voting.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2004

Tripartite Key Exchange in the Canetti-Krawczyk Proof Model.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2004

Design of Secure Key Establishment Protocols: Successes, Failures and Prospects.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2004

Complementing Computational Protocol Analysis with Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

An Efficient and Verifiable Solution to the Millionaire Problem.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology, 2004

A Secure and Efficient Mix-Network using Extended Binary Mixing Gate.

[BibT_eX]

Proceedings of the Cryptographic Algorithms and their Uses, 2004

Secure Key Issuing in ID-based Cryptography.

[BibT_eX]

[DOI]

Proceedings of the ACSW Frontiers 2004, 2004 ACSW Workshops, 2004

Defining Security Services for Electronic Tendering.

[BibT_eX]

[DOI]

Proceedings of the ACSW Frontiers 2004, 2004 ACSW Workshops, 2004

Key Agreement Using Statically Keyed Authenticators.

[BibT_eX]

[DOI]

Kenneth G. Paterson

Proceedings of the Applied Cryptography and Network Security, 2004

Batch Verification for Equality of Discrete Logarithms and Threshold Decryptions.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2004

Protocols with Security Proofs for Mobile Applications.

[BibT_eX]

[DOI]

Harikrishna Vasanta

Proceedings of the Information Security and Privacy: 9th Australasian Conference, 2004

2003

Protocols for Authentication and Key Establishment

[BibT_eX]

[DOI]

Information Security and Cryptography, Springer, ISBN: 978-3-642-07716-6, 2003

Efficient Implementation of Relative Bid Privacy in Sealed-Bid Auction.

[BibT_eX]

[DOI]

Proceedings of the Information Security Applications, 4th International Workshop, 2003

Deniable Authenticated Key Establishment for Internet Protocols.

[BibT_eX]

[DOI]

Kenneth G. Paterson

Proceedings of the Security Protocols, 2003

Round-Optimal Contributory Conference Key Agreement.

[BibT_eX]

[DOI]

Proceedings of the Public Key Cryptography, 2003

A Password-Based Authenticator: Security Proof and Applications.

[BibT_eX]

[DOI]

Paul Montague

Proceedings of the Progress in Cryptology, 2003

Providing Receipt-Freeness in Mixnet-Based Voting Protocols.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology, 2003

Secure e-Voting for Preferential Elections.

[BibT_eX]

[DOI]

Proceedings of the Electronic Government, Second International Conference, 2003

A Security Architecture for Reputation Systems.

[BibT_eX]

[DOI]

Proceedings of the E-Commerce and Web Technologies, 4th International Conference, 2003

Provably Secure Key Exchange: An Engineering Approach.

[BibT_eX]

[DOI]

Juanma González Nieto

Proceedings of the ACSW Frontiers 2003, 2003 ACSW Workshops, 2003

Five Sealed-bid Auction Models.

[BibT_eX]

[DOI]

Proceedings of the ACSW Frontiers 2003, 2003 ACSW Workshops, 2003

Provably Secure Mobile Key Exchange: Applying the Canetti-Krawczyk Approach.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy, 8th Australasian Conference, 2003

2002

Key recovery for the commercial environment.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2002

Compliant cryptologic protocols.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2002

Hybrid Key Escrow: A New Paradigm.

[BibT_eX]

[DOI]

Comput. Secur., 2002

A Provably Secure Restrictive Partially Blind Signature Scheme.

[BibT_eX]

[DOI]

Proceedings of the Public Key Cryptography, 2002

Non-interactive Auction Schemewith Strong Privacy.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology, 2002

Robust, Privacy Protecting and Publicly Verifiable Sealed-Bid Auction.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, 4th International Conference, 2002

Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Security, First International Conference, 2002

Co-operatively Formed Group Signatures.

[BibT_eX]

[DOI]

Proceedings of the Topics in Cryptology, 2002

2001

An Analysis of Integrity Services in Protocols.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2001

Fair Electronic Cash Based on a Group Signature Scheme.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, Third International Conference, 2001

Attacks Based on Small Factors in Various Group Structures.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy, 6th Australasian Conference, 2001

Cryptographic Salt: A Countermeasure against Denial-of-Service Attacks.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy, 6th Australasian Conference, 2001

Elliptic Curve Based Password Authenticated Key Exchange Protocols.

[BibT_eX]

[DOI]

Paul Montague

Khanh Quoc Nguyen

Proceedings of the Information Security and Privacy, 6th Australasian Conference, 2001

2000

Key establishment protocols for secure mobile communications: a critical survey.

[BibT_eX]

[DOI]

Comput. Commun., 2000

Forward Secrecy and Its Application to Future Mobile Communications Security.

[BibT_eX]

[DOI]

Sang-Jae Moon

Proceedings of the Public Key Cryptography, 2000

Key Recovery in Third Generation Wireless Communication Systems.

[BibT_eX]

[DOI]

Juanma González Nieto

Proceedings of the Public Key Cryptography, 2000

Classification of Authentication Protocols: A Practical Approach.

[BibT_eX]

[DOI]

Proceedings of the Information Security, Third International Workshop, 2000

Linkability in Practical Electronic Cash Design.

[BibT_eX]

[DOI]

Proceedings of the Information Security, Third International Workshop, 2000

Exploring Fair Exchange Protocols Using Specification Animation.

[BibT_eX]

[DOI]

Peter Kearney

Proceedings of the Information Security, Third International Workshop, 2000

Micropayments for Wireless Communications.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology, 2000

Attacking and Repairing Batch Verification Schemes.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2000

A Three Phased Schema for Sealed Bid Auction System Design.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy, 5th Australasian Conference, 2000

Key Recovery System for the Commercial Environment.

[BibT_eX]

[DOI]

Juanma González Nieto

Proceedings of the Information Security and Privacy, 5th Australasian Conference, 2000

Passive Entities: A Strategy for Electronic Payment Design.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy, 5th Australasian Conference, 2000

1999

A Unified Code.

[BibT_eX]

[DOI]

Xian Liu

Patrick Guy Farrell

Proceedings of the Cryptography and Coding, 1999

Strong Binding for Software Key Escrow.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Parallel Processing Workshops, 1999

Secure Selection Protocols.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Cryptology, 1999

Signature Scheme for Controlled Environments.

[BibT_eX]

[DOI]

Proceedings of the Information and Communication Security, Second International Conference, 1999

Detachable Electronic Coins.

[BibT_eX]

[DOI]

Proceedings of the Information and Communication Security, Second International Conference, 1999

Publicly Verifiable Key Escrow with Limited Time Span.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy, 4th Australasian Conference, 1999

Efficient Electronic Cash Using Batch Signatures.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy, 4th Australasian Conference, 1999

1998

A security architecture for third generation wireless systems.

[BibT_eX]

Proceedings of the 1st International Conference on Information Security and Cryptology, 1998

Public key protocols for wireless communications.

[BibT_eX]

Proceedings of the 1st International Conference on Information Security and Cryptology, 1998

A Payment Scheme Using Vouchers.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography, 1998

Off-Line Fair Payment Protocols Using Convertible Signatures.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 1998

Key Establishment Protocols for Secure Mobile Communications: A Selective Survey.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy, Third Australasian Conference, 1998

1997

Integrating error detection into arithmetic coding.

[BibT_eX]

[DOI]

John G. Cleary

Sean A. Irvine

Ingrid Rinsma-Melchert

Ian H. Witten

IEEE Trans. Commun., 1997

A taxonomy of electronic cash schemes.

[BibT_eX]

Proceedings of the Information Security in Research and Business, 1997

Resisting the Bergen-Hogan Attack on Adaptive Arithmetic Coding.

[BibT_eX]

[DOI]

Xian Liu

Patrick Guy Farrell

Proceedings of the Cryptography and Coding, 1997

Enforcing traceability in software.

[BibT_eX]

[DOI]

Proceedings of the Information and Communication Security, First International Conference, 1997

Digital signature and public key cryptosystems in a prime order subgroup of Z<sub>n</sub><sup>*</sup>.

[BibT_eX]

[DOI]

Proceedings of the Information and Communication Security, First International Conference, 1997

Cryptanalysis of Adaptive Arithmetic Coding Encryption Schemes.

[BibT_eX]

[DOI]

Jen Lim

Proceedings of the Information Security and Privacy, Second Australasian Conference, 1997

On Key Agreement and Conference Key Agreement.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy, Second Australasian Conference, 1997

1996

A Class of Flexible and Efficient Key Management Protocols.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE Computer Security Foundations Workshop, March 10, 1996

A Framework for Design of Key Establishment Protocols.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy, First Australasian Conference, 1996

1995

An Elliptic Curve Analogue of McCurley's Key Agreement Scheme.

[BibT_eX]

[DOI]

Andrew Smith

Proceedings of the Cryptography and Coding, 1995

Towards a classification of key agreement protocols.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE Computer Security Foundations Workshop (CSFW '95), 1995

1994

On Strengthening Authentication Protocols to Foil Cryptanalysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 1994

Designing Secure Key Exchange Protocols.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 1994

Development of Authentication Protocols: Some Misconceptions and a New Approach.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE Computer Security Foundations Workshop, 1994

Design and Analysis of Key Exchange Protocols via Secure Channel Identification.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT '94, 4th International Conference on the Theory and Applications of Cryptology, Wollongong, Australia, November 28, 1994

1993

Security Architectures Using Formal Methods.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 1993

On a Limitation of BAN Logic.

[BibT_eX]

[DOI]