@article{BarbosaMP09, title = {Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography}, author = {Manuel Bernardo Barbosa and Andrew Moss and Dan Page}, year = {2009}, doi = {10.1007/s00145-008-9023-0}, url = {http://dx.doi.org/10.1007/s00145-008-9023-0}, tags = {rule-based, ECC, language engineering, software language engineering, software engineering, model-driven engineering, cryptography, compiler cryptography ECC, security, compiler, context-aware, domain-specific language}, researchr = {https://researchr.org/publication/BarbosaMP09}, cites = {0}, citedby = {0}, journal = {J. Cryptology}, volume = {22}, number = {2}, pages = {259-281}, } @inproceedings{MossP09, title = {Program interpolation}, author = {Andrew Moss and Dan Page}, year = {2009}, doi = {10.1145/1480945.1480951}, url = {http://doi.acm.org/10.1145/1480945.1480951}, tags = {programming languages, model-to-model transformation, meta programming, data-flow language, meta-model, modeling language, instruction scheduling, transformation language, program optimisation, architecture, language modeling, functional programming, data-flow programming, data-flow, source-to-source, compiler, model transformation, DSL, programming, Meta-Environment, dynamic feedback, transformation, program transformation, domain-specific language}, researchr = {https://researchr.org/publication/MossP09}, cites = {0}, citedby = {0}, pages = {31-40}, booktitle = {Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009}, editor = {Germán Puebla and Germán Vidal}, publisher = {ACM}, isbn = {978-1-60558-327-3}, } @inproceedings{MullerRM06, title = {A 10mW Wearable Positioning System}, author = {Henk L. Muller and Cliff Randell and Andrew Moss}, year = {2006}, doi = {10.1109/ISWC.2006.286341}, url = {http://dx.doi.org/10.1109/ISWC.2006.286341}, tags = {ultrasonics}, researchr = {https://researchr.org/publication/MullerRM06}, cites = {0}, citedby = {0}, pages = {47-50}, booktitle = {Tenth IEEE International Symposium on Wearable Computers (ISWC 2006), 11-14 October 2006, Montreux, Switzerland}, publisher = {IEEE}, } @inproceedings{MossM05, title = {Efficient Code Generation for a Domain Specific Language}, author = {Andrew Moss and Henk L. Muller}, year = {2005}, doi = {10.1007/11561347_5}, url = {http://dx.doi.org/10.1007/11561347_5}, tags = {code generation, domain-specific language}, researchr = {https://researchr.org/publication/MossM05}, cites = {0}, citedby = {0}, pages = {47-62}, booktitle = {Generative Programming and Component Engineering, 4th International Conference, GPCE 2005}, editor = {Robert Glück and Michael R. Lowry}, volume = {3676}, series = {Lecture Notes in Computer Science}, address = {Tallinn, Estonia}, publisher = {Springer}, isbn = {3-540-29138-5}, } @inproceedings{MossPS07, title = {Toward Acceleration of RSA Using 3D Graphics Hardware}, author = {Andrew Moss and Dan Page and Nigel P. Smart}, year = {2007}, doi = {10.1007/978-3-540-77272-9_22}, url = {http://dx.doi.org/10.1007/978-3-540-77272-9_22}, researchr = {https://researchr.org/publication/MossPS07}, cites = {0}, citedby = {0}, pages = {364-383}, booktitle = {Cryptography and Coding, 11th IMA International Conference, Cirencester, UK, December 18-20, 2007, Proceedings}, editor = {Steven D. Galbraith}, volume = {4887}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-77271-2}, } @inproceedings{BarbosaMP07, title = {Compiler Assisted Elliptic Curve Cryptography}, author = {Manuel Barbosa and Andrew Moss and Dan Page}, year = {2007}, doi = {10.1007/978-3-540-76843-2_46}, url = {http://dx.doi.org/10.1007/978-3-540-76843-2_46}, tags = {compiler}, researchr = {https://researchr.org/publication/BarbosaMP07}, cites = {0}, citedby = {0}, pages = {1785-1802}, booktitle = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II}, editor = {Robert Meersman and Zahir Tari}, volume = {4804}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-76835-7}, } @inproceedings{ChenHMSS02, title = {Certification of Public Keys within an Identity Based System}, author = {L. Chen and Keith Harrison and Andrew Moss and David Soldera and Nigel P. Smart}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2433/24330322.htm}, tags = {rule-based, certification}, researchr = {https://researchr.org/publication/ChenHMSS02}, cites = {0}, citedby = {0}, pages = {322-333}, booktitle = {Information Security, 5th International Conference, ISC 2002 Sao Paulo, Brazil, September 30 - October 2, 2002, Proceedings}, editor = {Agnes Hui Chan and Virgil D. Gligor}, volume = {2433}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-44270-7}, } @inproceedings{RogersSHPPSMRMTSOCG02, title = {Things aren t what they seem to be: innovation through technology inspiration}, author = {Yvonne Rogers and Michael Scaife and Eric Harris and Ted Phelps and Sara Price and Hilary Smith and Henk L. Muller and Cliff Randell and Andrew Moss and Ian Taylor and Danae Stanton and Claire O Malley and Greta Corke and Silvia Gabrielli}, year = {2002}, doi = {10.1145/778712.778766}, url = {http://doi.acm.org/10.1145/778712.778766}, researchr = {https://researchr.org/publication/RogersSHPPSMRMTSOCG02}, cites = {0}, citedby = {0}, pages = {373-378}, booktitle = {Symposium on Designing Interactive Systems}, } @inproceedings{Moss:PEPM:2010, title = {Bridging the Gap Between Symbolic and Efficient AES Implementations}, author = {Andrew Moss and Dan Page}, tags = {programming languages, model-to-model transformation, memoisation, data-flow language, transformation language, data-flow programming, data-flow, source-to-source, cryptography, AES, compiler, model transformation, systematic-approach, open-source, transformation, program transformation}, researchr = {https://researchr.org/publication/Moss%3APEPM%3A2010}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the {ACM SIGPLAN} 2010 Workshop on Partial Evaluation and Program Manipulation}, editor = {John P. Gallagher and Janis Voigtländer}, publisher = {ACM}, }