This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
J. Murphy and A. Yakovlev. An Alternating Spacer AES Crypto-Processor, Proc. of ESSCIR 2006, Montreux, Switzerland, Sept. 2006, pp. 126-129
D. Shang, F.Burns, A. Bystrov, A. Koelmans, D. Sokolov and A. Yakovlev. High-security asynchronous circuit implementation of AES, IEE Proceedings, Computers and Digital Techniques, vol.153, No.2, March 2006, pp. 71-77.
J. Murphy, A. Yakovlev, "Power-balanced Asynchronous Logic", Proc. 17th European Conference on Circuit Theory and Design (ECCTD), 29 August - 2 September 2005.
J. Murphy, A. Bystrov and A.Yakovlev, "Self-Checking Circuits for Security Applications", 11th Annual International Mixed-Signals Testing Workshop (IMSTW’05), Cannes, France, June 2005, pp. 278-285.
J. Murphy, A. Bystrov and A. Yakovlev, "Power-balanced Self Checking Circuits for Cryptographic Chips", Proc. 11th International Online Testing Symposium (IOLTS’05), St. Rafael, France, July 2005, IEEE CS Press, pp. 157-162.
Bryans, J.W., Koutny, M., Mazaré, L. and Ryan, P.Y.A., "Opacity Generalised to Transition Systems", In Proceedings of the Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005 Dimitrakos. T., Martinelli, F., Ryan, P.Y.A. and Schneider, S. (eds) Lecture Notes in Computer Science Volume 3866 pp. 81-95, Springer 2006
Bryans, J. W., Koutny, M. and Ryan, P.Y.A., "Modelling Dynamic Opacity using Petri Nets with Silent Actions", In Proceedings of the IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France Dimitrakos, T. and Martinelli, F. (eds) IFIP International Federation for Information Processing, Volume 173 pp. 159-172. Springer Verlag 2005
D. Sokolov, J. Murphy, A. Bystrov and A.Yakovlev, "Design and Analysis of Dual-Rail Circuits for Security Applications", IEEE Transactions on Computers, Vol. 54, No.4, pp. 449-460, April 2005.
Bryans, J. W., Koutny, M., Mazare, L., Ryan, P. Y. A. "Opacity Generalised to Transition Systems", CS-TR: 868 School of Computing Science, University of Newcastle, Nov 2004
D. Shang, F. Burns, A. Bystrov, A. Koelmans, D.Sokolov and A.Yakovlev. "A low and balanced power implementation of the AES security mechanisms using self-timed circuits", PATMOS 2004, Santorini, September 2004, LNCS 3254, pp. 471-480.
J.P. Murphy, D. Sokolov, A. Bystrov and A. Yakovlev, "Resisting Side Channel Attacks Using Dual Spacer Dual Rail", 16th UK Asynchronous Forum, Manchester, Sept. 2004.
D. Sokolov, J.Murphy, A.Bystrov and A. Yakovlev. "Improving the security of dual-rail circuits", Proc. CHES 2004, M. Joye and J.-J. Quisquarter (Eds), August 2004, LNCS 3156, Springer, pp. 282-297.
Bryans, J. W., Kounty, M., Ryan, P. Y. A. "Modelling Dynamic Opacity using Petri Nets with Silent Actions", CS-TR: 855, School of Computing Science, University of Newcastle, Aug 2004 Presented at FAST 2004, Toulouse, August 2004 To appear in post-proceedings
Bryans, J., Koutny, M. and Ryan, P. "Modelling Opacity using Petri Nets", CS-TR: 840 School of Computing Science, University of Newcastle, Apr 2004 Presented at WISP 2004, Bologna, June 2004 To appear in post-proceedings