Computer Laboratory

Security Group

Publications

More recent publications will be added very shortly ...

2014

  • Jonathan Woodruff, Robert N. M. Watson, David Chisnall, Simon W. Moore, Jonathan Anderson, Brooks Davis, Ben Laurie, Peter G. Neumann, Robert Norton, Michael Roe: The CHERI capability model: Revisiting RISC in an age of risk. Proceedings of the 41st International Symposium on Computer Architecture (ISCA 2014), June 2014, Minneapolis, MN, USA
  • Mike Bond, Omar Choudary, Steven J. Murdoch, Sergei Skorobogatov, Ross Anderson: Chip and Skim: cloning EMV cards with the pre-play attack. IEEE Symposium on Security and Privacy ("Oakland"), May, 2014 (to appear)
  • Jonathan Anderson, Robert N M Watson, David Chisnall, Khilan Gudka, Brooks Davis, Ilias Marinos: TESLA: Temporally Enhanced Security Logic Assertions. EuroSys 2014, April 2014
  • Brooks Davis, Robert Norton, Jonathan Woodruff, Robert N. M. Watson: How FreeBSD Boots: a soft-core MIPS perspective. Proceedings of AsiaBSDCon 2014, March 2014, Tokyo, Japan
  • David Chisnall: LLVM in the FreeBSD Toolchain. Proceedings of AsiaBSDCon 2014, March 2014, Tokyo, Japan

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

[Pre-2000 publications will be added in due course.]