Arthur Hughes

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