[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by type, Security"></meta><meta name="description" content="Publications, by type,Security, Department of Computer Science, Oxford"></meta><title>Department of Computer Science: Security: Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/research/">Research</a></li><li><a href="/research/security/">Security</a></li><li><a href="/research/security/activities.html">activities</a></li><li><a href="/activities/security/">Security</a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Security: Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/activities/publications/date/security.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/activities/publications/title/security.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/activities/publications/type/security.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/activities/publications/bibtex/security.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><h2>
      Book chapters
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Security and Privacy in Smart Grid Demand Response Systems </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew J Paverd&#x201a; Andrew P Martin and Ian Brown  </em> </p>
	
	<p class="publicationDetails"> 
            In Jorge Cuellar, editor,
             
            <em>
            Smart Grid Security</em>.
        
                Pages 1&#x2212;15.
            Springer International Publishing.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8909-abstract.html">
			Details <span class="sr-only" > about <em> Security and Privacy in Smart Grid Demand Response Systems  </em></span> </a> |
			<a href="/publications/publication8909.bib">
			BibTeX  <span class="sr-only" > data for <em> Security and Privacy in Smart Grid Demand Response Systems  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/6663/SmartGridSec-final.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Security and Privacy in Smart Grid Demand Response Systems  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1007/978-3-319-10329-7_1">
		DOI (10.1007/978-3-319-10329-7_1)
		</a> 
					| <a href="http://link.springer.com/chapter/10.1007/978-3-319-10329-7_1"> Link <span class="sr-only" > to <em> Security and Privacy in Smart Grid Demand Response Systems  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Journal papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Authenticating ad hoc networks by comparison of short digests </strong> </p>
	    <p class="publicationAuthors"> <em> A. W. Roscoe and L. H. Nguyen  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Information and Computation</em>.
        
            Vol. 206.
        
                Pages 250&#x2212;271.
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication901-abstract.html">
			Details <span class="sr-only" > about <em> Authenticating ad hoc networks by comparison of short digests  </em></span> </a> |
			<a href="/publications/publication901.bib">
			BibTeX  <span class="sr-only" > data for <em> Authenticating ad hoc networks by comparison of short digests  </em></span>   </a>
			
			
					| <a href="http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/120.pdf"> Download (pdf)  <span class="sr-only" > of <em> Authenticating ad hoc networks by comparison of short digests  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Non&#x2212;Delegatable Authorities in Capability Systems </strong> </p>
	    <p class="publicationAuthors"> <em> Toby Murray and Duncan Grove  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Computer Security</em>.
        
            Vol. 16.
        
            No. 6.
        
                Pages 743&#x2212;759.
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication585-abstract.html">
			Details <span class="sr-only" > about <em> Non&#x2212;Delegatable Authorities in Capability Systems  </em></span> </a> |
			<a href="/publications/publication585.bib">
			BibTeX  <span class="sr-only" > data for <em> Non&#x2212;Delegatable Authorities in Capability Systems  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/2691/NDA.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Non&#x2212;Delegatable Authorities in Capability Systems  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.3233/JCS-2008-0314">
		DOI (10.3233/JCS-2008-0314)
		</a> 
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Conference papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Privacy&#x2212;Enhanced Bi&#x2212;Directional Communication in the Smart Grid using Trusted Computing </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew J Paverd&#x201a; Andrew P Martin and Ian Brown  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Fifth IEEE International Conference on Smart Grid Communications (SmartGridComm 2014)</em>.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8880-abstract.html">
			Details <span class="sr-only" > about <em> Privacy&#x2212;Enhanced Bi&#x2212;Directional Communication in the Smart Grid using Trusted Computing  </em></span> </a> |
			<a href="/publications/publication8880.bib">
			BibTeX  <span class="sr-only" > data for <em> Privacy&#x2212;Enhanced Bi&#x2212;Directional Communication in the Smart Grid using Trusted Computing  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/7114/Paverd-SmartGridComm-2014.pdf">Download
					    Paverd-SmartGridComm-2014.pdf

					    <span class="sr-only" > of <em> Privacy&#x2212;Enhanced Bi&#x2212;Directional Communication in the Smart Grid using Trusted Computing  </em></span>

					    </a>


				    

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/7113/Paverd-SmartGridComm-2014-slides.pdf">Download
					    Paverd-SmartGridComm-2014-slides.pdf

					    <span class="sr-only" > of <em> Privacy&#x2212;Enhanced Bi&#x2212;Directional Communication in the Smart Grid using Trusted Computing  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1109/SmartGridComm.2014.7007758">
		DOI (10.1109/SmartGridComm.2014.7007758)
		</a> 
					| <a href="http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=7007758"> Link <span class="sr-only" > to <em> Privacy&#x2212;Enhanced Bi&#x2212;Directional Communication in the Smart Grid using Trusted Computing  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Analysing the Information Flow Properties of Object&#x2212;Capability Patterns </strong> </p>
	    <p class="publicationAuthors"> <em> Toby Murray and Gavin Lowe  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the Sixth International Workshop on Formal Aspects of Security and Trust (FAST2009)</em>.
        
            Vol. 5983
                of Lecture Notes in Computer Science.
        
                Pages 81&#x2212;95.
            2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3202-abstract.html">
			Details <span class="sr-only" > about <em> Analysing the Information Flow Properties of Object&#x2212;Capability Patterns  </em></span> </a> |
			<a href="/publications/publication3202.bib">
			BibTeX  <span class="sr-only" > data for <em> Analysing the Information Flow Properties of Object&#x2212;Capability Patterns  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/2692/AIFPOCP.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Analysing the Information Flow Properties of Object&#x2212;Capability Patterns  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1007/978-3-642-12459-4_7">
		DOI (10.1007/978-3-642-12459-4_7)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On Refinement&#x2212;Closed Security Properties and Nondeterministic Compositions </strong> </p>
	    <p class="publicationAuthors"> <em> Toby Murray and Gavin Lowe  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS '08)</em>.
        
            Vol. 250
                of Electronic Notes in Theoretical Computer Science.
        
            No. 2.
        
                Pages 49&#x2212;68.
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2672-abstract.html">
			Details <span class="sr-only" > about <em> On Refinement&#x2212;Closed Security Properties and Nondeterministic Compositions  </em></span> </a> |
			<a href="/publications/publication2672.bib">
			BibTeX  <span class="sr-only" > data for <em> On Refinement&#x2212;Closed Security Properties and Nondeterministic Compositions  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/2693/nondet_compositions.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> On Refinement&#x2212;Closed Security Properties and Nondeterministic Compositions  </em></span>

					    </a>


				     | <a
		href="http://dx.doi.org/10.1016/j.entcs.2009.08.017">
		DOI (10.1016/j.entcs.2009.08.017)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Analysing Object&#x2212;Capability Security </strong> </p>
	    <p class="publicationAuthors"> <em> Toby Murray  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the Joint Workshop on Foundations of Computer Security&#x201a; Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (FCS&#x2212;ARSPA&#x2212;WITS'08)</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1370-abstract.html">
			Details <span class="sr-only" > about <em> Analysing Object&#x2212;Capability Security  </em></span> </a> |
			<a href="/publications/publication1370.bib">
			BibTeX  <span class="sr-only" > data for <em> Analysing Object&#x2212;Capability Security  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/2690/AOCS.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Analysing Object&#x2212;Capability Security  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Separating two roles of hashing in one&#x2212;way message authentication </strong> </p>
	    <p class="publicationAuthors"> <em> L.H. Nguyen and A.W. Roscoe  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of FCS&#x2212;ARSPA&#x2212;WITS</em>.
        2008.
        </p> <p
            class="publicationNote"> (This version is extended by appendices not present in proceedings.)</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication80-abstract.html">
			Details <span class="sr-only" > about <em> Separating two roles of hashing in one&#x2212;way message authentication  </em></span> </a> |
			<a href="/publications/publication80.bib">
			BibTeX  <span class="sr-only" > data for <em> Separating two roles of hashing in one&#x2212;way message authentication  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/390/arspaLongVersion.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Separating two roles of hashing in one&#x2212;way message authentication  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Specifying Secure Transport Layers </strong> </p>
	    <p class="publicationAuthors"> <em> Christopher Dilloway and Gavin Lowe  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            21st IEEE Computer Security Foundations Symposium (CSF 21)</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication584-abstract.html">
			Details <span class="sr-only" > about <em> Specifying Secure Transport Layers  </em></span> </a> |
			<a href="/publications/publication584.bib">
			BibTeX  <span class="sr-only" > data for <em> Specifying Secure Transport Layers  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/116/channels.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Specifying Secure Transport Layers  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On Information Flow and Refinement&#x2212;Closure </strong> </p>
	    <p class="publicationAuthors"> <em> Gavin Lowe  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the Workshop on Issues in the Theory of Security (WITS '07)</em>.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication650-abstract.html">
			Details <span class="sr-only" > about <em> On Information Flow and Refinement&#x2212;Closure  </em></span> </a> |
			<a href="/publications/publication650.bib">
			BibTeX  <span class="sr-only" > data for <em> On Information Flow and Refinement&#x2212;Closure  </em></span>   </a>
			
			
					| <a href="http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Papers/NDC.pdf"> Download (pdf)  <span class="sr-only" > of <em> On Information Flow and Refinement&#x2212;Closure  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the Specification of Secure Channels </strong> </p>
	    <p class="publicationAuthors"> <em> Christopher Dilloway and Gavin Lowe  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the Workshop on Issues in the Theory of Security (WITS '07)</em>.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication854-abstract.html">
			Details <span class="sr-only" > about <em> On the Specification of Secure Channels  </em></span> </a> |
			<a href="/publications/publication854.bib">
			BibTeX  <span class="sr-only" > data for <em> On the Specification of Secure Channels  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/115/channels.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> On the Specification of Secure Channels  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Authority Analysis for Least Privilege Environments </strong> </p>
	    <p class="publicationAuthors"> <em> Toby Murray and Gavin Lowe  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS&#x2212;ARSPA'07)</em>.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication648-abstract.html">
			Details <span class="sr-only" > about <em> Authority Analysis for Least Privilege Environments  </em></span> </a> |
			<a href="/publications/publication648.bib">
			BibTeX  <span class="sr-only" > data for <em> Authority Analysis for Least Privilege Environments  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/2689/analysing_authority.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Authority Analysis for Least Privilege Environments  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Technical reports
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Analysing TLS in the Strand Spaces Model </strong> </p>
	    <p class="publicationAuthors"> <em> Allaa Kamil and Gavin Lowe  </em> </p>
	
	<p class="publicationDetails"> 2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication440-abstract.html">
			Details <span class="sr-only" > about <em> Analysing TLS in the Strand Spaces Model  </em></span> </a> |
			<a href="/publications/publication440.bib">
			BibTeX  <span class="sr-only" > data for <em> Analysing TLS in the Strand Spaces Model  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/188/TLSanalysis.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Analysing TLS in the Strand Spaces Model  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Chaining Secure Channels (Technical Report) </strong> </p>
	    <p class="publicationAuthors"> <em> Christopher Dilloway  </em> </p>
	
	<p class="publicationDetails"> 2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication439-abstract.html">
			Details <span class="sr-only" > about <em> Chaining Secure Channels (Technical Report)  </em></span> </a> |
			<a href="/publications/publication439.bib">
			BibTeX  <span class="sr-only" > data for <em> Chaining Secure Channels (Technical Report)  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/189/proxies.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Chaining Secure Channels (Technical Report)  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Derivation of Error Distribution in Least Squares Steganalysis </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Ker  </em> </p>
	
	<p class="publicationDetails"> 
            No. RR&#x2212;06&#x2212;03.
        Oxford University Computing Laboratory.
        July,
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication48-abstract.html">
			Details <span class="sr-only" > about <em> Derivation of Error Distribution in Least Squares Steganalysis  </em></span> </a> |
			<a href="/publications/publication48.bib">
			BibTeX  <span class="sr-only" > data for <em> Derivation of Error Distribution in Least Squares Steganalysis  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/673/RR-06-03.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Derivation of Error Distribution in Least Squares Steganalysis  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Theses
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Analysing the Security Properties of Object&#x2212;Capability Patterns </strong> </p>
	    <p class="publicationAuthors"> <em> Toby Murray  </em> </p>
	
	<p class="publicationDetails">  PhD Thesis University of Oxford.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3612-abstract.html">
			Details <span class="sr-only" > about <em> Analysing the Security Properties of Object&#x2212;Capability Patterns  </em></span> </a> |
			<a href="/publications/publication3612.bib">
			BibTeX  <span class="sr-only" > data for <em> Analysing the Security Properties of Object&#x2212;Capability Patterns  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/3080/thesis-FINAL-15-07-10.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Analysing the Security Properties of Object&#x2212;Capability Patterns  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the Specication and Analysis of Secure Transport Layers </strong> </p>
	    <p class="publicationAuthors"> <em> Christopher Dilloway  </em> </p>
	
	<p class="publicationDetails">  PhD Thesis Oxford University Computing Laboratory.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2921-abstract.html">
			Details <span class="sr-only" > about <em> On the Specication and Analysis of Secure Transport Layers  </em></span> </a> |
			<a href="/publications/publication2921.bib">
			BibTeX  <span class="sr-only" > data for <em> On the Specication and Analysis of Secure Transport Layers  </em></span>   </a>
			
			
					| <a href="http://web.comlab.ox.ac.uk/activities/security/papers/dilloway_thesis.pdf"> Download (pdf)  <span class="sr-only" > of <em> On the Specication and Analysis of Secure Transport Layers  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">[an error occurred while processing this directive]</div></div></div>[an error occurred while processing this directive]