A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. - Malcolm Tyrrell; Joseph M. Morris; Andrew Butterfield; Arthur Hughes (ICTAC, 2006)

Polytypic programming in COQ. - Wendy Verbruggen; Edsko de Vries; Arthur Hughes (ICFP-WGP, 2008)

Polytypic properties and proofs in Coq. - Wendy Verbruggen; Edsko de Vries; Arthur Hughes (WGP@ICFP, 2009)

Annotation and Retrieval of Cell Images. - Maria F. O'Connor; Arthur Hughes; Chaoxin Zheng; Anthony Davies; Dermot Kelleher; Khurshid Ahmad 001 (IDEAL, 2010)

Formal polytypic programs and proofs. - Wendy Verbruggen; Edsko de Vries; Arthur Hughes (J. Funct. Program., 2010)

An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker. - Colm Bhandal; Mélanie Bouroche; Arthur Hughes (EUC, 2011)

A Process Algebraic Description of a Temporal Wireless Network Protocol. - Colm Bhandal; Mélanie Bouroche; Arthur Hughes (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Collaboration-Preserving Authenticated Encryption for Operational Transformation Systems. - Michael Clear; Karl Reid; Desmond Ennis; Arthur Hughes; Hitesh Tewari (ISC, 2012)

Homomorphic Encryption with Access Policies: Characterization and New Constructions. - Michael Clear; Arthur Hughes; Hitesh Tewari (AFRICACRYPT, 2013)

Spectral Convolution Networks. - Maria Francesca; Arthur Hughes; David Gregg (CoRR, 2016)

Fully Anonymous Transferable Ecash. - Hitesh Tewari; Arthur Hughes (IACR Cryptol. ePrint Arch., 2016)

X509CLOUD - Framework for a Ubiquitous PKI. - Hitesh Tewari; Arthur Hughes; Stefan Weber 003; Tomas Barry (IACR Cryptol. ePrint Arch., 2017)