Tristan Newby
Tristan Newby
Duncan A. Grove
Alex Murray
Chris A. Owen
Jim McCarthy
Chris J. North
Annex: A Middleware for Constructing High-Assurance Software Systems.
25-34
2015
AISC
http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV161Newby.html
conf/auisc/2015
db/conf/auisc/auisc2015.html#NewbyGMOMN15
Mark R. Beaumont
Bradley D. Hopkins
Tristan Newby
SAFER PATH: Security architecture using fragmented execution and replication for protection against trojaned hardware.
1000-1005
2012
DATE
https://doi.org/10.1109/DATE.2012.6176642
https://doi.ieeecomputersociety.org/10.1109/DATE.2012.6176642
http://dl.acm.org/citation.cfm?id=2492958
conf/date/2012
db/conf/date/date2012.html#BeaumontHN12
Chris A. Owen
Duncan A. Grove
Tristan Newby
Alex Murray
Chris North 0002
Michael Pope
PRISM: Program Replication and Integration for Seamless MILS.
281-296
2011
IEEE Symposium on Security and Privacy
https://doi.org/10.1109/SP.2011.15
https://doi.ieeecomputersociety.org/10.1109/SP.2011.15
conf/sp/2011
db/conf/sp/sp2011.html#OwenGNMNP11
Mark R. Beaumont
Duncan A. Grove
Bradley D. Hopkins
Jim McCarthy
Alex Murray
Chris North 0002Chris J. North
Chris A. Owen
Michael Pope