Ryan Stanley-Oakes. On the provable security of key management APIs. PhD thesis, University of Bristol, UK, 2017. [doi]
@phdthesis{ethos-14281, title = {On the provable security of key management APIs}, author = {Ryan Stanley-Oakes}, year = {2017}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.738289}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-14281}, cites = {0}, citedby = {0}, school = {University of Bristol, UK}, }