@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 = {joc}, 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 = {PEPM}, } @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 = {iiswc}, } @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 = {GPCE}, } @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 = {ima}, } @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 = {otm}, } @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 = {iiswc}, } @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 = {ACMdis}, } @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 = {PEPM}, }