Jedrzej Kufel Techniques and validation for protection of embedded processors. 2015 University of Southampton, UK http://eprints.soton.ac.uk/381185/ https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.665145 British Library, EThOS