Arthur Hughes

According to our database, Arthur Hughes authored at least 12 papers between 2006 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

X509CLOUD - Framework for a Ubiquitous PKI.

Hitesh Tewari, Arthur Hughes, Stefan Weber, Tomas Barry

IACR Cryptol. ePrint Arch., 2017

2016

Fully Anonymous Transferable Ecash.

Hitesh Tewari, Arthur Hughes

IACR Cryptol. ePrint Arch., 2016

Spectral Convolution Networks.

Maria Francesca, Arthur Hughes, David Gregg

CoRR, 2016

2013

Homomorphic Encryption with Access Policies: Characterization and New Constructions.

Michael Clear, Arthur Hughes, Hitesh Tewari

Proceedings of the Progress in Cryptology, 2013

2012

Collaboration-Preserving Authenticated Encryption for Operational Transformation Systems.

Michael Clear, Karl Reid, Desmond Ennis, Arthur Hughes, Hitesh Tewari

Proceedings of the Information Security - 15th International Conference, 2012

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

An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker.

Colm Bhandal, Mélanie Bouroche, Arthur Hughes

Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011

2010

Formal polytypic programs and proofs.

Wendy Verbruggen, Edsko de Vries, Arthur Hughes

J. Funct. Program., 2010

Annotation and Retrieval of Cell Images.

Maria F. O'Connor, Arthur Hughes, Chaoxin Zheng, Anthony Davies, Dermot Kelleher, Khurshid Ahmad

Proceedings of the Intelligent Data Engineering and Automated Learning, 2010

2009

Polytypic properties and proofs in Coq.

Wendy Verbruggen, Edsko de Vries, Arthur Hughes

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009

2008

Polytypic programming in COQ.

Wendy Verbruggen, Edsko de Vries, Arthur Hughes

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2008

2006

A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.

Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes

Proceedings of the Theoretical Aspects of Computing, 2006