Overview (a.k.a what, eh?)
It is a basic law of the universe that all people who spend a
substantial chunk of their time writing will eventually create a
website. All websites are inexorably pulled towards being
blogs. All blogs must tend inevitably to the pointless whining
and barking, as is their inherent nature. I thought I would cut
out the middle man and head straight for the jugular with a
random collection of things,
curated here for posterity. Some part professional life, some
part personal and filled in with a medley of codes that may be
useful.
Bio (a.k.a The Who)
I started my career at the University of Bristol where a
combination of undergraduate degree, PhD and postdoc meant that
I stayed put for an inordinately long time. Since then I have
left the cider-stained hills of the West Country behind to
lecture at the Blekinge Institute of Technology (BTH,
confusingly to the English speaker). My PhD was excellently
masterminded by the advice of Henk Muller. The thesis was in the
area of Language Design and Program Analysis, specifically how
the former may be motivated by the latter. Since then I’ve
hidden inside a Cryptography group to look at how one may design
languages and compilers to aid the programmer in writing fiddly
low-level primitives that demand high-performance
implementations across a range of architectures. Along the way
I’ve looked at timing semantics, how they relate to underlying
architectures, and how one may automatically analyse programs to
infer their performance. The interesting problem in every case
may be seen as “how can this programming problem be phrased to
offload the work to a compiler?”
Publications
Automatic Listings:
DBLP,
Bristol DB,
BTH DB,
Google Scholar.
Manual listing (often out of date):
-
Robert Granger, Andrew Moss.
Generalised Mersenne numbers revisited.
Mathematics of Computation (to appear).
-
Andrew Moss, Elisabeth Oswald, Dan Page, Michael Tunstall.
Compiler Assisted Masking.
CHES 2012.
BTH
Springer
IACR pub rec
slides
-
M. Barbosa, A. Moss, D. Page, N. Rodrigues, P. Silva.
Type-Checking Cryptography Implementations.
FSEN 2011.
Author
-
Andrew Moss, Dan Page. Bridging the gap between symbolic and efficient AES implementations. PEPM 2010. ACM DL
-
Andrew Moss, Dan Page. Program interpolation. PEPM 2009. ACM DL
-
Manuel Barbosa, Andrew Moss, Dan Page.
Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography.
J. Cryptology 22(2). 2009. SpringerLink
-
Andrew Moss, Dan Page, Nigel P. Smart.
Toward Acceleration of RSA Using 3D Graphics Hardware.
IMA Int. Conf. 2007. SpringerLink.
-
Manuel Barbosa, Andrew Moss, Dan Page.
Compiler Assisted Elliptic Curve Cryptography.
OTM Conferences (2). 2007. SpringerLink
-
Henk L. Muller, Cliff Randell, Andrew Moss.
A 10mW Wearable Positioning System.
ISWC 2006. IEEE
-
Andrew Moss, Henk L. Muller.
Efficient Code Generation for a Domain Specific Language.
GPCE 2005. SpringerLink
-
Liqun Chen, Keith Harrison, Andrew Moss, David Soldera, Nigel P. Smart.
Certification of Public Keys within an Identity Based System.
ISC 2002. SpringerLink
-
Yvonne Rogers, Michael Scaife, Eric Harris, Ted Phelps, Sara Price, Hilary Smith, Henk L. Muller, Cliff Randell, Andrew Moss, Ian Taylor, Danae Stanton, Claire O'Malley, Greta Corke, Silvia Gabrielli.
Things aren't what they seem to be: innovation through technology inspiration.
Symposium on Designing Interactive Systems 2002.
ACM DL.
Tech Reports
-
Robert Granger, Andrew Moss.
Generalised Mersenne Numbers Revisited.
CoRR abs/1108.3054. 2011.
Arxiv
-
Andrew Moss, Elisabeth Oswald, Dan Page, Michael Tunstall.
Automatic Insertion of DPA Countermeasures.
Cryptology ePrint: 2011/412. ePrint.
Projects (a.k.a Bits of code written by various people)
Over the years I've worked on various bits of code that seemed like they
could be useful to other people, or that we rashly promised we would release
in papers. Although it takes time to clean things up for public release
various things will appear here as time goes on.
-
CAO - There is a version on the CACE servers although I'm not sure it can
be downloaded. A new version will appear once codestew is a bit more stable.
- Codestew - still a work in
progress.
- Timing - going to be rewritten using codestew.