%0 Thesis %1 phd/ethos/Keighren14 %A Keighren, Gavin %D 2014 %K %T Restricting information flow in security APIs via typing.

@phdthesis{phd/ethos/Keighren14, added-at = {2023-12-13T05:18:49.000+0100}, author = {Keighren, Gavin}, biburl = {https://www.bibsonomy.org/bibtex/246d1812d3f7f6ca3d4bd4cba8b688129/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.615465}, interhash = {a11a9b2354aaf9eba0c18b9b70e10554}, intrahash = {46d1812d3f7f6ca3d4bd4cba8b688129}, keywords = {}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2023-12-13T05:18:49.000+0100}, title = {Restricting information flow in security APIs via typing.}, year = 2014 }