Researcher
Kim-Kwang Raymond Choo
University of Texas at San Antonio
Statistics
151 papers found
Papers authored by Kim-Kwang Raymond Choo
Refreshing results…
,
Colin Boyd,
Yvonne Hitchcock
Errors in Computational Complexity Proofs for Protocols
Download from www.researchgate.net
,
Colin Boyd,
Yvonne Hitchcock
On Session Key Construction in Provably-Secure Key Establishment Protocols
Download from www.researchgate.net
,
Colin A. Boyd,
Yvonne Hitchcock
Examining Indistinguishability-Based Proof Models for Key Establishment Protocols
Download from link.springer.com
,
Mark Looi
A user-centric anonymous authorisation framework in e-commerce environment
Upload
,
Colin Boyd,
Yvonne Hitchcock,
Greg M. Maitland
Download from www.researchgate.net
A Proof of Revised Yahalom Protocol in the Bellare and Rogaway (1993) Model
Download from www.researchgate.net
Refuting security proofs for tripartite key exchange with model checker in planning problem setting
Download from dx.doi.org
Security of Two-Party Identity-Based Key Agreement
Download from www.researchgate.net
,
Colin A. Boyd,
Yvonne Hitchcock,
Greg M. Maitland
Complementing Computational Protocol Analysis with Formal Specifications
Download from link.springer.comMissing publications? Search for publications with a matching author name.