Computer Laboratory

I'm a Senior Research Associate in the University of Cambridge Computer Laboratory working in the Computer Architecture Group on the CTSRD, ECATS and IOSEC projects. I specialise in hardware and platform security: all the pieces that go up to make up a modern computer, and how they act together to make it secure (or otherwise).

I also do a lot of hardware and FPGA design, such as our all of our hardware research platforms, including all the mechanical design and systems integration.

For my PhD I was looking at the security of consumer computer hardware devices such as smartcards, in close collaboration with the Security Group. I'm particularly interested in low-cost electromagnetic attacks of security hardware.

Publications

  • Matthew Naylor, Simon W. Moore, David Thomas, Jonathan R. Beaumont, Shane Fleming, Mark Vousden, A. Theodore Markettos, Thomas Bytheway, and Andrew Brown. General hardware multicasting for fine-grained message-passing architectures. Euromicro International Conference on Parallel, Distributed and Network-based processing (PDP 2021) [ paper, video, repo]
  • Matthew Naylor, Simon W. Moore, Andrey Mokhov, David Thomas, Jonathan R. Beaumont, Shane Fleming, A. Theodore Markettos, Thomas Bytheway, and Andrew Brown. Termination detection for fine-grained message-passing architectures. IEEE International Conference on Application-specific Systems, Architectures, and Processors (ASAP 2020). [paper, video, repo]
  • A. Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G. Neumann, Simon W. Moore, Robert N.M. Watson. Position Paper: Defending Direct Memory Access with CHERI Capabilities. Hardware and Architectural Support for Security and Privacy (HASP) 2020, October 2020. (PDF)
  • Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu, Brooks Davis, Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin, David Chisnall, Jessica Clarke, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey Son, Timothy M. Jones, Simon W. Moore, Peter G. Neumann, and Robert N. M. Watson. Cornucopia: Temporal Safety for CHERI Heaps. In Proceedings of the 41st IEEE Symposium on Security and Privacy (Oakland 2020). San Jose, CA, USA, May 18-20, 2020. (PDF)
  • Jonathan Woodruff, Alexandre Joannou, Hongyan Xia, Anthony Fox, Robert Norton, Thomas Bauereiss, David Chisnall, Brooks Davis, Khilan Gudka, Nathaniel W. Filardo, A. Theodore Markettos, Michael Roe, Peter G. Neumann, Robert N. M. Watson, and Simon W. Moore. CHERI Concentrate: Practical Compressed Capabilities. In IEEE Transactions on Computers, 10.1109/TC.2019.2914037, IEEE, 2019. (PDF)
  • A. Theodore Markettos, Colin Rothwell, Brett F. Gutstein, Allison Pearce, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson. Thunderclap: Exploring Vulnerabilities in Operating System IOMMU Protection via DMA from Untrustworthy Peripherals. Proceedings of the Network and Distributed Systems Security Symposium (NDSS), 24-27 February 2019, San Diego, USA. (PDF)
  • Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, James Clarke, Nathaniel Wesley Filardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, J. Edward Maste, Alfredo Mazzinghi, Edward Tomasz Napierala, Robert M. Norton, Michael Roe, Peter Sewell, Stacey Son, and Jonathan Woodruff. CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment. In Proceedings of 2019 Architectural Support for Programming Languages and Operating Systems (ASPLOS’19). Providence, RI, USA, April 13-17, 2019. (PDF). Best paper award.
  • Alexandre Joannou, Jonathan Woodruff, Robert Kovacsics, Simon W. Moore, Alex Bradbury, Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. Neumann, Alfredo Mazzinghi, Alex Richardson, Stacey Son, and A. Theodore Markettos. Efficient Tagged Memory. Proceedings of the 2017 IEEE 35th International Conference on Computer Design (ICCD). Boston, MA, USA, November 5-8, 2017. (PDF)
  • David Chisnall, Brooks Davis, Khilan Gudka, David Brazdil, Alexandre Joannou, Jonathan Woodruff, A. Theodore Markettos, J. Edward Maste, Robert Norton, Stacey Son, Michael Roe, Simon W. Moore, Peter G. Neumann, Ben Laurie, and Robert N. M. Watson. CHERI-JNI: Sinking the Java security model into the C. Proceedings of the 22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2017). Xi'an, China, April 8–12, 2017. (PDF)
  • Robert N.M. Watson, Robert M. Norton, Jonathan Woodruff, Simon W. Moore, Peter G. Neumann, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Michael Roe, Nirav H. Dave, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Ed Maste, Ste Fast Protection-Domain Crossing in the CHERI Capability-System Architecture. IEEE Micro vol. 36 no. 5, p. 38-49, Sept.-Oct., 2016.
  • A. Theodore Markettos, Simon W. Moore, Brian D. Jones, Roy Spliet and Vlad A. Gavrila, Conquering the Complexity Mountain: Full-stack Computer Architecture teaching with FPGAs, 11th European Workshop on Microelectronics Education (EWME 2016), Southampton, May 2016. (PDF).
  • A. Theodore Markettos, Paul J. Fox, Simon W. Moore, Andrew W. Moore, Interconnect for commodity FPGA clusters: standardized or customized?, 24th International Conference on Field Programmable Logic and Applications (FPL), September 2014 (PDF).
  • Paul J. Fox, A. Theodore Markettos and Simon W. Moore, Reliably Prototyping Large SoCs Using FPGA Clusters, 8th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), June 2014 (PDF)
  • Matthew Naylor, Paul J Fox, A Theodore Markettos and Simon W Moore, Managing the FPGA Memory Wall: Custom Computing or Vector Processing?, 23rd International Conference on Field Programmable Logic and Applications (FPL), September 2013 (PDF)
  • Simon W. Moore, Paul J. Fox, Steven J. T. Marsh, A. Theodore Markettos and Alan Mujumdar, Bluehive - A Field-Programmable Custom Computing Machine for Extreme-Scale Real-Time Neural Network Simulation. In proceedings of Field-Programmable Custom Computing Machines (FCCM), April 2012. PDF
  • A. T. Markettos, Active electromagnetic attacks on secure hardware. PhD thesis, University of Cambridge Technical Report 811. Abstract and PDF.
  • A. T. Markettos and S. W. Moore, The Frequency Injection Attack on Ring-Oscillator-Based True Random Number Generators. In proceedings of Cryptographic Hardware and Embedded Systems (CHES), September 2009. LNCS 5747, pp 317-331. corrected PDF (original PDF), slides.
  • H. Li, A. T. Markettos and S. W. Moore, A Security Evaluation Methodology for Smart Cards Against Electromagnetic Analysis. In proceedings of the 39th IEEE International Carnahan Conference on Security Technology (ICCST 2005), October 2005. PDF
  • H. Li, A. T. Markettos and S. W. Moore, Security Evaluation Against Electromagnetic Analysis at Design Time. Cryptographic Hardware and Embedded Systems (CHES), September 2005. PDF
  • A.T. Markettos and S.W. Moore, Electromagnetic Analysis of Synchronous and Asynchronous Circuits using Hard Disc Heads, 16th UK Async. Forum, September 2004. PDF
  • Equalisation on a custom DSP core, Master's thesis, Cambridge University Engineering Department, June 2002. Report, summary paper.

Email: theo.markettos [at] cl.cam.ac.uk