Arthur Hughes

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 4

Top Topics

Multiresolution

Homomorphic Encryption

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Hitesh Tewari, Arthur Hughes, Stefan Weber, Tomas Barry
X509CLOUD - Framework for a Ubiquitous PKI. IACR Cryptol. ePrint Arch. 2017 (2017)
Hitesh Tewari, Arthur Hughes, Stefan Weber, Tomas Barry
X509Cloud - Framework for a ubiquitous PKI. MILCOM (2017)
Hitesh Tewari, Arthur Hughes
Fully Anonymous Transferable Ecash. IACR Cryptol. ePrint Arch. 2016 (2016)
Maria Francesca, Arthur Hughes, David Gregg
Spectral Convolution Networks. CoRR (2016)
Michael Clear, Arthur Hughes, Hitesh Tewari
Homomorphic Encryption with Access Policies: Characterization and New Constructions CoRR (2013)
Michael Clear, Arthur Hughes, Hitesh Tewari
Homomorphic Encryption with Access Policies: Characterization and New Constructions. AFRICACRYPT (2013)
Michael Clear, Karl Reid, Desmond Ennis, Arthur Hughes, Hitesh Tewari
Collaboration-Preserving Authenticated Encryption for Operational Transformation Systems. ISC (2012)
Colm Bhandal, Mélanie Bouroche, Arthur Hughes
An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker. EUC (2011)
Colm Bhandal, Mélanie Bouroche, Arthur Hughes
A Process Algebraic Description of a Temporal Wireless Network Protocol. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Maria F. O'Connor, Arthur Hughes, Chaoxin Zheng, Anthony Davies, Dermot Kelleher, Khurshid Ahmad
Annotation and Retrieval of Cell Images. IDEAL (2010)
Wendy Verbruggen, Edsko de Vries, Arthur Hughes
Formal polytypic programs and proofs. J. Funct. Program. 20 (3-4) (2010)
Wendy Verbruggen, Edsko de Vries, Arthur Hughes
Polytypic properties and proofs in Coq. WGP@ICFP (2009)
Wendy Verbruggen, Edsko de Vries, Arthur Hughes
Polytypic programming in COQ. ICFP-WGP (2008)
Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. ICTAC (2006)