Long Ngo

Automated Proofs for Computational Indistinguishability

Colin Boyd, Juan Manuel González Nieto, Long Ngo, 2014, Comput. J..

An approach to representation of type-2 fuzzy sets using computational methods of computer graphics

Long Ngo, L. Ngo, 2012 .

Term Identification Methods for Consumer Health Vocabulary Development

Alla Keselman, Allen C. Browne, Guy Divita, 2007, Journal of medical Internet research.

Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library

Peeter Laud, Long Ngo, Peeter Laud, 2008, ProvSec.

Automated Proofs for Diffie-Hellman-Based Key Exchanges

Colin Boyd, Juan Manuel González Nieto, Long Ngo, 2011, 2011 IEEE 24th Computer Security Foundations Symposium.

Automating Computational Proofs for Public-Key-Based Key Exchange

Colin Boyd, Juan Manuel González Nieto, Long Ngo, 2010, ProvSec.

Computationally sound automated proofs of cryptographic schemes

Long Ngo, 2012 .