[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by type, Andrew Simpson"></meta><meta name="description" content="Publications, by type, Department of Computer Science, Oxford, Andrew Simpson"></meta><title>Department of Computer Science, University of Oxford: Andrew Simpson : 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="/aboutus/">About Us</a></li><li><a href="/people/">People</a></li><li><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/Andrew.Simpson"><span itemprop="name">Andrew Simpson</span></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>Andrew Simpson : Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/people/publications/date/Andrew.Simpson.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/people/publications/title/Andrew.Simpson.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/people/publications/type/Andrew.Simpson.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/people/publications/bibtex/Andrew.Simpson.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p></p><h2>
      Books
      </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>
            Discrete Mathematics by Example </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> McGraw&#x2212;Hill.
        2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9261-abstract.html">
			Details <span class="sr-only" > about <em> Discrete Mathematics by Example  </em></span> </a> |
			<a href="/publications/publication9261.bib">
			BibTeX  <span class="sr-only" > data for <em> Discrete Mathematics by Example  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><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>
            Towards a formal framework for workflow interoperability </strong> </p>
	    <p class="publicationAuthors"> <em> S.&#xa0;D. Induruwa Fernando and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of WS&#x2212;FM (Web Services and Formal Methods) 2008</em>.
        
            Vol. 5387
                of Lecture Notes in Computer Science.
        
                Pages 158&#x2013;174.
            Springer.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9274-abstract.html">
			Details <span class="sr-only" > about <em> Towards a formal framework for workflow interoperability  </em></span> </a> |
			<a href="/publications/publication9274.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards a formal framework for workflow interoperability  </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>
            The development&#x201a; testing&#x201a; and deployment of a web services infrastructure for distributed healthcare delivery&#x201a; research&#x201a; and training </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; D. Russell&#x201a; M.&#xa0;A. Slaymaker&#x201a; G. Kouadri Mostefaoui&#x201a; G. Wilson and X. Ma  </em> </p>
	
	<p class="publicationDetails"> 
            In K. Khan, editor,
             
            <em>
            Managing Web Services Quality: Measuring Outcomes and Effectiveness</em>.
        
                Pages 1&#x2013;22.
            Idea Group.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2007-abstract.html">
			Details <span class="sr-only" > about <em> The development&#x201a; testing&#x201a; and deployment of a web services infrastructure for distributed healthcare delivery&#x201a; research&#x201a; and training  </em></span> </a> |
			<a href="/publications/publication2007.bib">
			BibTeX  <span class="sr-only" > data for <em> The development&#x201a; testing&#x201a; and deployment of a web services infrastructure for distributed healthcare delivery&#x201a; research&#x201a; and training  </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>
            eDiaMoND: A Grid&#x2212;enabled federated database of annotated mammograms </strong> </p>
	    <p class="publicationAuthors"> <em> J.&#xa0;M. Brady&#x201a; D.&#xa0;J. Gavaghan&#x201a; A.&#xa0;C. Simpson&#x201a; M. Mulet&#x2212;Parada and R.&#xa0;P. Highnam  </em> </p>
	
	<p class="publicationDetails"> 
            In F. Berman&#x201a; G.&#xa0;C. Fox and A.&#xa0;J.&#xa0;G. Hey, editors,
             
            <em>
            Grid Computing: Making the Global Infrastructure a Reality</em>.
        
                Pages 923&#x2013;943.
            Wiley Series.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9262-abstract.html">
			Details <span class="sr-only" > about <em> eDiaMoND: A Grid&#x2212;enabled federated database of annotated mammograms  </em></span> </a> |
			<a href="/publications/publication9262.bib">
			BibTeX  <span class="sr-only" > data for <em> eDiaMoND: A Grid&#x2212;enabled federated database of annotated mammograms  </em></span>   </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>
            Safety through Security </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; J.&#xa0;C.&#xa0;P. Woodcock and J.&#xa0;W. Davies  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 9th International Workshop on Software Specification and Design</em>.
        
                Pages 18&#x2013;24.
            IEEE Computer Society Press.
        1998.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9259-abstract.html">
			Details <span class="sr-only" > about <em> Safety through Security  </em></span> </a> |
			<a href="/publications/publication9259.bib">
			BibTeX  <span class="sr-only" > data for <em> Safety through 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>
            The Mechanical Verification of Solid State Interlocking Geographic Data </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; J.&#xa0;C.&#xa0;P. Woodcock and J.&#xa0;W. Davies  </em> </p>
	
	<p class="publicationDetails"> 
            In L. Groves and S. Reeves, editors,
             
            <em>
            Proceedings of Formal Methods Pacific&#x201a; Wellington&#x201a; New Zealand&#x201a; 9&#x2013;11 July</em>.
        
                Pages 223&#x2013;242.
            Springer.
        1997.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9258-abstract.html">
			Details <span class="sr-only" > about <em> The Mechanical Verification of Solid State Interlocking Geographic Data  </em></span> </a> |
			<a href="/publications/publication9258.bib">
			BibTeX  <span class="sr-only" > data for <em> The Mechanical Verification of Solid State Interlocking Geographic Data  </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>
            The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 1995 IEE Colloquium on Communication Networks in Transportation</em>.
        IEE.
        1995.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9256-abstract.html">
			Details <span class="sr-only" > about <em> The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System  </em></span> </a> |
			<a href="/publications/publication9256.bib">
			BibTeX  <span class="sr-only" > data for <em> The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System  </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>
            A Formal Specification of an Automatic Train Protection System </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In M. Naftalin&#x201a; T. Denvir and M. Bertran, editors,
             
            <em>
            Proceedings of the 2nd International Symposium of Formal Methods Europe (FME 1994)</em>.
        
            Vol. 873
                of Lecture Notes in Computer Science.
        
                Pages 602&#x2013;617.
            Springer.
        1994.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9254-abstract.html">
			Details <span class="sr-only" > about <em> A Formal Specification of an Automatic Train Protection System  </em></span> </a> |
			<a href="/publications/publication9254.bib">
			BibTeX  <span class="sr-only" > data for <em> A Formal Specification of an Automatic Train Protection System  </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>
            A model&#x2212;based approach to support privacy compliance </strong> </p>
	    <p class="publicationAuthors"> <em> Majed Alshammari and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Information and Computer Security</em>.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11719-abstract.html">
			Details <span class="sr-only" > about <em> A model&#x2212;based approach to support privacy compliance  </em></span> </a> |
			<a href="/publications/publication11719.bib">
			BibTeX  <span class="sr-only" > data for <em> A model&#x2212;based approach to support privacy compliance  </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>
            LEFT &#x2014; a web&#x2212;based tool for the remote measurement and estimation of ecological value across global landscape </strong> </p>
	    <p class="publicationAuthors"> <em> Long P.&#xa0;R.&#x201a; Benz D.&#x201a; M. Macias&#x2212;Fauria&#x201a; Seddon A.&#xa0;W.&#xa0;R.&#x201a; Holland P.&#xa0;W.&#xa0;A.&#x201a; Martin A.&#xa0;C.&#x201a; R. Hagemann&#x201a; T.&#xa0;K. Frost&#x201a; A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker and K.&#xa0;J. Willis  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Methods in Ecology and Evolution</em>.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11528-abstract.html">
			Details <span class="sr-only" > about <em> LEFT &#x2014; a web&#x2212;based tool for the remote measurement and estimation of ecological value across global landscape  </em></span> </a> |
			<a href="/publications/publication11528.bib">
			BibTeX  <span class="sr-only" > data for <em> LEFT &#x2014; a web&#x2212;based tool for the remote measurement and estimation of ecological value across global landscape  </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>
            Risk and the Small&#x2212;Scale Cyber Security Decision Making Dialogue &#x2014; a UK Case Study </strong> </p>
	    <p class="publicationAuthors"> <em> Emma Osborn and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11104-abstract.html">
			Details <span class="sr-only" > about <em> Risk and the Small&#x2212;Scale Cyber Security Decision Making Dialogue &#x2014; a UK Case Study  </em></span> </a> |
			<a href="/publications/publication11104.bib">
			BibTeX  <span class="sr-only" > data for <em> Risk and the Small&#x2212;Scale Cyber Security Decision Making Dialogue &#x2014; a UK Case Study  </em></span>   </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>
            Policy measures and cyber insurance: A framework </strong> </p>
	    <p class="publicationAuthors"> <em> Daniel Woods and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Cyber Policy</em>.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11068-abstract.html">
			Details <span class="sr-only" > about <em> Policy measures and cyber insurance: A framework  </em></span> </a> |
			<a href="/publications/publication11068.bib">
			BibTeX  <span class="sr-only" > data for <em> Policy measures and cyber insurance: A framework  </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>
            AdSelector: A privacy&#x2212;preserving advertisement selection mechanism for mobile devices </strong> </p>
	    <p class="publicationAuthors"> <em> Y. Liu and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>The Computer Journal&#x201a; Volume 60&#x201a; Issue 8&#x201a; Pages 1251&#x2013;1270</em>.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10914-abstract.html">
			Details <span class="sr-only" > about <em> AdSelector: A privacy&#x2212;preserving advertisement selection mechanism for mobile devices  </em></span> </a> |
			<a href="/publications/publication10914.bib">
			BibTeX  <span class="sr-only" > data for <em> AdSelector: A privacy&#x2212;preserving advertisement selection mechanism for mobile devices  </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>
            Policy&#x201a; Statistics&#x201a; and Questions: Reflections on UK Cyber Security Disclosures </strong> </p>
	    <p class="publicationAuthors"> <em> Chad Heitzenrater and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Cyber Security</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10574-abstract.html">
			Details <span class="sr-only" > about <em> Policy&#x201a; Statistics&#x201a; and Questions: Reflections on UK Cyber Security Disclosures  </em></span> </a> |
			<a href="/publications/publication10574.bib">
			BibTeX  <span class="sr-only" > data for <em> Policy&#x201a; Statistics&#x201a; and Questions: Reflections on UK Cyber Security Disclosures  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1093/cybsec/tyw008">
		DOI (10.1093/cybsec/tyw008)
		</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>
            Privacy&#x2212;preserving targeted mobile advertising: Requirements&#x201a; design&#x201a; and a prototype implementation </strong> </p>
	    <p class="publicationAuthors"> <em> Y. Liu and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Software: Practice and Experience</em>.
        
            Vol. 46.
        
            No. 12.
        
                Pages 1657&#x2212;1684.
            2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10352-abstract.html">
			Details <span class="sr-only" > about <em> Privacy&#x2212;preserving targeted mobile advertising: Requirements&#x201a; design&#x201a; and a prototype implementation  </em></span> </a> |
			<a href="/publications/publication10352.bib">
			BibTeX  <span class="sr-only" > data for <em> Privacy&#x2212;preserving targeted mobile advertising: Requirements&#x201a; design&#x201a; and a prototype implementation  </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 safety and security requirements in emerging ubiquitous computing models </strong> </p>
	    <p class="publicationAuthors"> <em> Emma Osborn and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Accepted for publication in The Computer Journal</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9833-abstract.html">
			Details <span class="sr-only" > about <em> On safety and security requirements in emerging ubiquitous computing models  </em></span> </a> |
			<a href="/publications/publication9833.bib">
			BibTeX  <span class="sr-only" > data for <em> On safety and security requirements in emerging ubiquitous computing models  </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>
            On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks </strong> </p>
	    <p class="publicationAuthors"> <em> J. Jacobs and A. C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>International Journal on Software and Systems Modeling</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9690-abstract.html">
			Details <span class="sr-only" > about <em> On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks  </em></span> </a> |
			<a href="/publications/publication9690.bib">
			BibTeX  <span class="sr-only" > data for <em> On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formal Relational Database Design: An Exercise in Extending the Formal Template Language </strong> </p>
	    <p class="publicationAuthors"> <em> N. Wu and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Formal Aspects of Computing</em>.
        
            Vol. 26.
        
            No. 6.
        
                Pages 1231&#x2013;1269.
            2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8617-abstract.html">
			Details <span class="sr-only" > about <em> Formal Relational Database Design: An Exercise in Extending the Formal Template Language  </em></span> </a> |
			<a href="/publications/publication8617.bib">
			BibTeX  <span class="sr-only" > data for <em> Formal Relational Database Design: An Exercise in Extending the Formal Template Language  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Process Algebraic Approach to Decomposition of Communicating SysML Blocks </strong> </p>
	    <p class="publicationAuthors"> <em> J. Jacobs and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>International Journal of Modeling and Optimization</em>.
        
            Vol. 3.
        
            No. 2.
        
                Pages 153&#x2013;157.
            2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6520-abstract.html">
			Details <span class="sr-only" > about <em> A Process Algebraic Approach to Decomposition of Communicating SysML Blocks  </em></span> </a> |
			<a href="/publications/publication6520.bib">
			BibTeX  <span class="sr-only" > data for <em> A Process Algebraic Approach to Decomposition of Communicating SysML Blocks  </em></span>   </a>
			
			

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

					    <span class="sr-only" > of <em> A Process Algebraic Approach to Decomposition of Communicating SysML Blocks  </em></span>

					    </a>


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

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On an infrastructure to support sharing and aggregating pre&#x2212; and post&#x2212;publication systems biology research data </strong> </p>
	    <p class="publicationAuthors"> <em> Mark Slaymaker&#x201a; James Osborne&#x201a; Andrew Simpson and David Gavaghan  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Systems and Synthetic Biology</em>.
        
            Vol. 6.
        
            No. 1&#x2013;2.
        
                Pages 35&#x2013;49.
            2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6207-abstract.html">
			Details <span class="sr-only" > about <em> On an infrastructure to support sharing and aggregating pre&#x2212; and post&#x2212;publication systems biology research data  </em></span> </a> |
			<a href="/publications/publication6207.bib">
			BibTeX  <span class="sr-only" > data for <em> On an infrastructure to support sharing and aggregating pre&#x2212; and post&#x2212;publication systems biology research data  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/s11693-012-9095-x">
		DOI (10.1007/s11693-012-9095-x)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[13] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On privacy and public data: A study of data.gov.uk </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Journal of Privacy & Confidentiality</em>.
        
            Vol. 3.
        
            No. 1.
        
                Pages 51&#x2013;65.
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4883-abstract.html">
			Details <span class="sr-only" > about <em> On privacy and public data: A study of data.gov.uk  </em></span> </a> |
			<a href="/publications/publication4883.bib">
			BibTeX  <span class="sr-only" > data for <em> On privacy and public data: A study of data.gov.uk  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            GIMI: The past&#x201a; the present&#x201a; and the future </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; D. Russell&#x201a; M.&#xa0;A. Slaymaker&#x201a; V. Bailey&#x201a; C.&#xa0;E. Tromans&#x201a; J.&#xa0;M. Brady and L. Tarassenko  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Philosophical Transactions of the Royal Society A: Mathematical&#x201a; Physical and Engineering Sciences</em>.
        
            Vol. 368.
        
                Pages 3891&#x2013;3905.
            2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3683-abstract.html">
			Details <span class="sr-only" > about <em> GIMI: The past&#x201a; the present&#x201a; and the future  </em></span> </a> |
			<a href="/publications/publication3683.bib">
			BibTeX  <span class="sr-only" > data for <em> GIMI: The past&#x201a; the present&#x201a; and the future  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[15] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On formalising and normalising role&#x2212;based access control systems </strong> </p>
	    <p class="publicationAuthors"> <em> D. J. Power M. A. Slaymaker and A. C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>The Computer Journal</em>.
        
            Vol. 52.
        
            No. 3.
        
                Pages 305&#x2212;325.
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3060-abstract.html">
			Details <span class="sr-only" > about <em> On formalising and normalising role&#x2212;based access control systems  </em></span> </a> |
			<a href="/publications/publication3060.bib">
			BibTeX  <span class="sr-only" > data for <em> On formalising and normalising role&#x2212;based access control systems  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/doi:10.1093/comjnl/bxn016">
		DOI (doi:10.1093/comjnl/bxn016)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[16] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A healthcare&#x2212;driven framework for facilitating the secure sharing of data across organisational boundaries </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; D. Russell&#x201a; M.&#xa0;A. Slaymaker&#x201a; G. Kouadri&#x2212;Mostefaoui&#x201a; X. Ma and G. Wilson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Studies in Health Technology and Informatics</em>.
        
            Vol. 138.
        
                Pages 3&#x2013;12.
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3062-abstract.html">
			Details <span class="sr-only" > about <em> A healthcare&#x2212;driven framework for facilitating the secure sharing of data across organisational boundaries  </em></span> </a> |
			<a href="/publications/publication3062.bib">
			BibTeX  <span class="sr-only" > data for <em> A healthcare&#x2212;driven framework for facilitating the secure sharing of data across organisational boundaries  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[17] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the development of secure service&#x2212;oriented architectures to support medical research </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker&#x201a; D. Russell and M. Katzarova  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>International Journal of Healthcare Information Systems and Informatics</em>.
        
            Vol. 2.
        
            No. 2.
        
                Pages 75&#x2013;89.
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2003-abstract.html">
			Details <span class="sr-only" > about <em> On the development of secure service&#x2212;oriented architectures to support medical research  </em></span> </a> |
			<a href="/publications/publication2003.bib">
			BibTeX  <span class="sr-only" > data for <em> On the development of secure service&#x2212;oriented architectures to support medical research  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[18] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Integrative Biology: The challenges of developing a collaborative research environment for heart and cancer modelling </strong> </p>
	    <p class="publicationAuthors"> <em> S. Lloyd&#x201a; D.&#xa0;J. Gavaghan&#x201a; A.&#xa0;C. Simpson&#x201a; C. Mascord M. Sieunarine&#x201a; G. Williams&#x201a; J. Pitt&#x2212;Francis&#x201a; D.&#xa0;R.&#xa0;S. Boyd&#x201a; D. Mac Randal&#x201a; L. Sastry&#x201a; K. Nagella S. Weeks&#x201a; R. Fowler&#x201a; D. Hanlon&#x201a; J. Handley and G. de Fabritis  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Future Generation Computer Systems</em>.
        
            Vol. 23.
        
            No. 3.
        
                Pages 457&#x2013;465.
            March,
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2043-abstract.html">
			Details <span class="sr-only" > about <em> Integrative Biology: The challenges of developing a collaborative research environment for heart and cancer modelling  </em></span> </a> |
			<a href="/publications/publication2043.bib">
			BibTeX  <span class="sr-only" > data for <em> Integrative Biology: The challenges of developing a collaborative research environment for heart and cancer modelling  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[19] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Designing for e&#x2212;health: recurring scenarios in developing grid&#x2212;based medical imaging systems </strong> </p>
	    <p class="publicationAuthors"> <em> J. Ure&#x201a; J. Geddes&#x201a; C. Mackay&#x201a; S. Lloyd&#x201a; A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; D. Russell&#x201a; M. Jirotka&#x201a; M. Katzarova&#x201a; M. Rossor&#x201a; N. Fox&#x201a; J. Fletcher&#x201a; D. Hill&#x201a; K. McLeish&#x201a; Y. Chen&#x201a; J.&#xa0;V. Hajnal&#x201a; S. Lawrie&#x201a; D. Job&#x201a; A. McIntosh&#x201a; J. Wardlaw&#x201a; P. Sandercock&#x201a; J. Palmer&#x201a; D. Perry&#x201a; R. Procter&#x201a; M. Hartswood&#x201a; R. Slack&#x201a; A. Voss&#x201a; K. Ho&#x201a; P. Bath&#x201a; W. Clarke and G. Watson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Studies in Health Technology and Informatics</em>.
        
            Vol. 120.
        
                Pages 336&#x2013;347.
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1990-abstract.html">
			Details <span class="sr-only" > about <em> Designing for e&#x2212;health: recurring scenarios in developing grid&#x2212;based medical imaging systems  </em></span> </a> |
			<a href="/publications/publication1990.bib">
			BibTeX  <span class="sr-only" > data for <em> Designing for e&#x2212;health: recurring scenarios in developing grid&#x2212;based medical imaging systems  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[20] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Securing web services for deployment in health grids </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; E.&#xa0;A. Politou&#x201a; M.&#xa0;A. Slaymaker and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Future Generation Computer Systems</em>.
        
            Vol. 22.
        
            No. 5.
        
                Pages 547&#x2013;570.
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2026-abstract.html">
			Details <span class="sr-only" > about <em> Securing web services for deployment in health grids  </em></span> </a> |
			<a href="/publications/publication2026.bib">
			BibTeX  <span class="sr-only" > data for <em> Securing web services for deployment in health grids  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[21] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Multimodal imaging techniques for the extraction of detailed geometrical and physiological information for use in multi&#x2212;scale models of colorectal cancer and treatment of individual patients </strong> </p>
	    <p class="publicationAuthors"> <em> J. Pitt&#x2212;Francis&#x201a; D. Chen&#x201a; M.&#xa0;A. Slaymaker&#x201a; A.&#xa0;C. Simpson&#x201a; J.&#xa0;M. Brady&#x201a; I. van Leeuwen&#x201a; F. Reddington&#x201a; P. Quirke and D.&#xa0;J. Gavaghan  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Computational & Mathematical Methods in Medicine</em>.
        
            Vol. 7.
        
            No. &23.
        
                Pages 177&#x2013;188.
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2029-abstract.html">
			Details <span class="sr-only" > about <em> Multimodal imaging techniques for the extraction of detailed geometrical and physiological information for use in multi&#x2212;scale models of colorectal cancer and treatment of individual patients  </em></span> </a> |
			<a href="/publications/publication2029.bib">
			BibTeX  <span class="sr-only" > data for <em> Multimodal imaging techniques for the extraction of detailed geometrical and physiological information for use in multi&#x2212;scale models of colorectal cancer and treatment of individual patients  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[22] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Collaboration and trust in healthcare innovation: the eDiaMoND case study </strong> </p>
	    <p class="publicationAuthors"> <em> M. Jirotka&#x201a; M. Procter&#x201a; R. Hartswood&#x201a; C. Slack&#x201a; A.&#xa0;C. Simpson&#x201a; C. Coopmans&#x201a; C. Hinds and A. Voss  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Computer Supported Cooperative Work</em>.
        
            Vol. 14.
        
                Pages 369&#x2013;398.
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2047-abstract.html">
			Details <span class="sr-only" > about <em> Collaboration and trust in healthcare innovation: the eDiaMoND case study  </em></span> </a> |
			<a href="/publications/publication2047.bib">
			BibTeX  <span class="sr-only" > data for <em> Collaboration and trust in healthcare innovation: the eDiaMoND case study  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[23] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Using CSP to model the synchronization process of variable length codes </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C.&#xa0;M. Fong and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>IEEE Proc. Communications</em>.
        
            Vol. 153.
        
            No. 2.
        
                Pages 195&#x2013;200.
            April,
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2054-abstract.html">
			Details <span class="sr-only" > about <em> Using CSP to model the synchronization process of variable length codes  </em></span> </a> |
			<a href="/publications/publication2054.bib">
			BibTeX  <span class="sr-only" > data for <em> Using CSP to model the synchronization process of variable length codes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[24] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Security Aspects of Grid&#x2212;enabled Digital Mammography </strong> </p>
	    <p class="publicationAuthors"> <em> M.&#xa0;A. Slaymaker&#x201a; E.&#xa0;A. Politou&#x201a; D.&#xa0;J. Power&#x201a; S. Lloyd and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Methods of Information in Medicine</em>.
        
            Vol. 44.
        
            No. 2.
        
                Pages 207&#x2013;210.
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1999-abstract.html">
			Details <span class="sr-only" > about <em> Security Aspects of Grid&#x2212;enabled Digital Mammography  </em></span> </a> |
			<a href="/publications/publication1999.bib">
			BibTeX  <span class="sr-only" > data for <em> Security Aspects of Grid&#x2212;enabled Digital Mammography  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[25] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards secure Grid&#x2212;enabled healthcare </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; E.&#xa0;A. Politou&#x201a; M.&#xa0;A. Slaymaker and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Software: Practice and Experience</em>.
        
            Vol. 35.
        
            No. 9.
        
                Pages 857&#x2013;871.
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2025-abstract.html">
			Details <span class="sr-only" > about <em> Towards secure Grid&#x2212;enabled healthcare  </em></span> </a> |
			<a href="/publications/publication2025.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards secure Grid&#x2212;enabled healthcare  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[26] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Integrative Biology: exploiting e&#x2212;Science to combat fatal diseases </strong> </p>
	    <p class="publicationAuthors"> <em> S. Lloyd&#x201a; A.&#xa0;C. Simpson&#x201a; L. Sastry&#x201a; D.&#xa0;J. Gavaghan and D.&#xa0;R.S. Boyd  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>ERCIM News</em>.
        
            Vol. 60.
        January,
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2036-abstract.html">
			Details <span class="sr-only" > about <em> Integrative Biology: exploiting e&#x2212;Science to combat fatal diseases  </em></span> </a> |
			<a href="/publications/publication2036.bib">
			BibTeX  <span class="sr-only" > data for <em> Integrative Biology: exploiting e&#x2212;Science to combat fatal diseases  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[27] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Digital mammography: a world without film? </strong> </p>
	    <p class="publicationAuthors"> <em> S. Lloyd&#x201a; M. Jirotka&#x201a; A.&#xa0;C. Simpson&#x201a; R.&#xa0;P. Highnam&#x201a; D.&#xa0;J. Gavaghan&#x201a; D. Watson and J.&#xa0;M. Brady  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Methods of Information in Medicine</em>.
        
            Vol. 44.
        
            No. 2.
        
                Pages 168&#x2013;169.
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2042-abstract.html">
			Details <span class="sr-only" > about <em> Digital mammography: a world without film?  </em></span> </a> |
			<a href="/publications/publication2042.bib">
			BibTeX  <span class="sr-only" > data for <em> Digital mammography: a world without film?  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[28] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards a Grid Infrastructure to support integrative approaches to biological research </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Gavaghan&#x201a; A.&#xa0;C. Simpson&#x201a; S. Lloyd&#x201a; D.&#xa0;F. Mac Randal and D.&#xa0;R.&#xa0;S. Boyd  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Philosophical Transactions of the Royal Society A: Mathematical&#x201a; Physical and Engineering Sciences</em>.
        
            Vol. 363.
        
            No. 1883.
        
                Pages 1829&#x2013;1841.
            August,
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2052-abstract.html">
			Details <span class="sr-only" > about <em> Towards a Grid Infrastructure to support integrative approaches to biological research  </em></span> </a> |
			<a href="/publications/publication2052.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards a Grid Infrastructure to support integrative approaches to biological research  </em></span>   </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>
            Characterising 0&#x2212;Day Exploit Brokers </strong> </p>
	    <p class="publicationAuthors"> <em> Matthias Dellago&#x201a; Daniel Woods and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of WEIS 2022</em>.
        2022.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14865-abstract.html">
			Details <span class="sr-only" > about <em> Characterising 0&#x2212;Day Exploit Brokers  </em></span> </a> |
			<a href="/publications/publication14865.bib">
			BibTeX  <span class="sr-only" > data for <em> Characterising 0&#x2212;Day Exploit Brokers  </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;obvious Costs of Cyber Security Breaches: Changes in Systematic Risk </strong> </p>
	    <p class="publicationAuthors"> <em> Dennis Malliouris and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            WEIS 2020</em>.
        2020.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14114-abstract.html">
			Details <span class="sr-only" > about <em> Non&#x2212;obvious Costs of Cyber Security Breaches: Changes in Systematic Risk  </em></span> </a> |
			<a href="/publications/publication14114.bib">
			BibTeX  <span class="sr-only" > data for <em> Non&#x2212;obvious Costs of Cyber Security Breaches: Changes in Systematic Risk  </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>
            An Empirical Study of Bug Bounty Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Thomas Walshe and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2nd IEEE Workshop on Intelligent Bug Fixing (IBF 2020)</em>.
        2020.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13777-abstract.html">
			Details <span class="sr-only" > about <em> An Empirical Study of Bug Bounty Programs  </em></span> </a> |
			<a href="/publications/publication13777.bib">
			BibTeX  <span class="sr-only" > data for <em> An Empirical Study of Bug Bounty Programs  </em></span>   </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>
            Connected Vehicles: A Privacy Analysis </strong> </p>
	    <p class="publicationAuthors"> <em> Mark Quinlan&#x201a; Jun Zhao and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 8th International Symposium on Security and Privacy on Internet of Things (SPIoT 2018)</em>.
        2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12681-abstract.html">
			Details <span class="sr-only" > about <em> Connected Vehicles: A Privacy Analysis  </em></span> </a> |
			<a href="/publications/publication12681.bib">
			BibTeX  <span class="sr-only" > data for <em> Connected Vehicles: A Privacy Analysis  </em></span>   </a>
			
			
					| <a href="https://ora.ox.ac.uk/objects/uuid:32cf180a-bdab-482f-8e24-62f43484d6c5/download_file?file_format=pdf&safe_filename=main.pdf&type_of_work=Conference+item"> Link <span class="sr-only" > to <em> Connected Vehicles: A Privacy Analysis  </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>
            Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling&#x2212;focussed approach </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of FMTea 2019</em>.
        2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12675-abstract.html">
			Details <span class="sr-only" > about <em> Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling&#x2212;focussed approach  </em></span> </a> |
			<a href="/publications/publication12675.bib">
			BibTeX  <span class="sr-only" > data for <em> Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling&#x2212;focussed approach  </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>
            On the trade&#x2212;off between privacy and utility in mobile services: A qualitative study </strong> </p>
	    <p class="publicationAuthors"> <em> Yang Liu and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 1st Workshop on Security&#x201a; Privacy&#x201a; Organizations&#x201a; and Systems Engineering (SPOSE 2019)</em>.
        2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12674-abstract.html">
			Details <span class="sr-only" > about <em> On the trade&#x2212;off between privacy and utility in mobile services: A qualitative study  </em></span> </a> |
			<a href="/publications/publication12674.bib">
			BibTeX  <span class="sr-only" > data for <em> On the trade&#x2212;off between privacy and utility in mobile services: A qualitative study  </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>
            Cyber Threat Information Sharing: Perceived Benefits and Barriers </strong> </p>
	    <p class="publicationAuthors"> <em> Adam Zibak and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of CyberTim 2019</em>.
        2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12570-abstract.html">
			Details <span class="sr-only" > about <em> Cyber Threat Information Sharing: Perceived Benefits and Barriers  </em></span> </a> |
			<a href="/publications/publication12570.bib">
			BibTeX  <span class="sr-only" > data for <em> Cyber Threat Information Sharing: Perceived Benefits and Barriers  </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>
            Towards Better Understanding of Cyber Security Information Sharing </strong> </p>
	    <p class="publicationAuthors"> <em> A. Zibak and A. C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            CyberSA 2019</em>.
        2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12519-abstract.html">
			Details <span class="sr-only" > about <em> Towards Better Understanding of Cyber Security Information Sharing  </em></span> </a> |
			<a href="/publications/publication12519.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards Better Understanding of Cyber Security Information Sharing  </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>
            The stock market impact of information security investments: The case of security standards </strong> </p>
	    <p class="publicationAuthors"> <em> D. Malliouris and A. C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            WEIS 2019</em>.
        2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12518-abstract.html">
			Details <span class="sr-only" > about <em> The stock market impact of information security investments: The case of security standards  </em></span> </a> |
			<a href="/publications/publication12518.bib">
			BibTeX  <span class="sr-only" > data for <em> The stock market impact of information security investments: The case of security standards  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The County Fair Cyber Loss Distribution: Drawing Inferences from Insurance Prices </strong> </p>
	    <p class="publicationAuthors"> <em> D. Woods&#x201a; T. Moore and A. C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            WEIS 2019</em>.
        2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12517-abstract.html">
			Details <span class="sr-only" > about <em> The County Fair Cyber Loss Distribution: Drawing Inferences from Insurance Prices  </em></span> </a> |
			<a href="/publications/publication12517.bib">
			BibTeX  <span class="sr-only" > data for <em> The County Fair Cyber Loss Distribution: Drawing Inferences from Insurance Prices  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Privacy Architectural Strategies: An Approach for Achieving Various Levels of Privacy Protection </strong> </p>
	    <p class="publicationAuthors"> <em> Majed Alshammari and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2018 Workshop on Privacy in the Electronic Society</em>.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12247-abstract.html">
			Details <span class="sr-only" > about <em> Privacy Architectural Strategies: An Approach for Achieving Various Levels of Privacy Protection  </em></span> </a> |
			<a href="/publications/publication12247.bib">
			BibTeX  <span class="sr-only" > data for <em> Privacy Architectural Strategies: An Approach for Achieving Various Levels of Privacy Protection  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[12] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Cyber&#x2212;warranties as a quality signal for information security products </strong> </p>
	    <p class="publicationAuthors"> <em> Daniel Woods and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of GameSec 2018</em>.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12245-abstract.html">
			Details <span class="sr-only" > about <em> Cyber&#x2212;warranties as a quality signal for information security products  </em></span> </a> |
			<a href="/publications/publication12245.bib">
			BibTeX  <span class="sr-only" > data for <em> Cyber&#x2212;warranties as a quality signal for information security products  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[13] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Analysis </strong> </p>
	    <p class="publicationAuthors"> <em> Majed Alshammari and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 13th DPM International Workshop on Data Privacy Management (DPM 2018)</em>.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12087-abstract.html">
			Details <span class="sr-only" > about <em> Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Analysis  </em></span> </a> |
			<a href="/publications/publication12087.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Analysis  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Rethinking the Proposition of Privacy Engineering </strong> </p>
	    <p class="publicationAuthors"> <em> Aaron Ceross and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of NSPW 2018</em>.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12043-abstract.html">
			Details <span class="sr-only" > about <em> Rethinking the Proposition of Privacy Engineering  </em></span> </a> |
			<a href="/publications/publication12043.bib">
			BibTeX  <span class="sr-only" > data for <em> Rethinking the Proposition of Privacy Engineering  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[15] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Assessment </strong> </p>
	    <p class="publicationAuthors"> <em> M. Alshammari and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of TrustBus 2018</em>.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11991-abstract.html">
			Details <span class="sr-only" > about <em> Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Assessment  </em></span> </a> |
			<a href="/publications/publication11991.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Assessment  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[16] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards Integrating Insurance Data into Information Security Investment Decision Making </strong> </p>
	    <p class="publicationAuthors"> <em> Daniel Woods and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2018 International Workshop on Cyber Insurance and Risk Controls</em>.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11890-abstract.html">
			Details <span class="sr-only" > about <em> Towards Integrating Insurance Data into Information Security Investment Decision Making  </em></span> </a> |
			<a href="/publications/publication11890.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards Integrating Insurance Data into Information Security Investment Decision Making  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[17] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Can We Evaluate the Impact of Cyber Security Information Sharing? </strong> </p>
	    <p class="publicationAuthors"> <em> Adam Zibak and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Cyber SA 2018</em>.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11885-abstract.html">
			Details <span class="sr-only" > about <em> Can We Evaluate the Impact of Cyber Security Information Sharing?  </em></span> </a> |
			<a href="/publications/publication11885.bib">
			BibTeX  <span class="sr-only" > data for <em> Can We Evaluate the Impact of Cyber Security Information Sharing?  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[18] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Monte Carlo methods to investigate how aggregated cyber insurance claims data impacts security investments </strong> </p>
	    <p class="publicationAuthors"> <em> Daniel Woods and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 17th Annual Workshop on the Economics of Information Security (WEIS 2018)</em>.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11884-abstract.html">
			Details <span class="sr-only" > about <em> Monte Carlo methods to investigate how aggregated cyber insurance claims data impacts security investments  </em></span> </a> |
			<a href="/publications/publication11884.bib">
			BibTeX  <span class="sr-only" > data for <em> Monte Carlo methods to investigate how aggregated cyber insurance claims data impacts security investments  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[19] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Formal Model to Facilitate Security Testing in Modern Automotive Systems </strong> </p>
	    <p class="publicationAuthors"> <em> E. dos Santos&#x201a; D. Schoop and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of FM&&MDD 2017</em>.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11527-abstract.html">
			Details <span class="sr-only" > about <em> A Formal Model to Facilitate Security Testing in Modern Automotive Systems  </em></span> </a> |
			<a href="/publications/publication11527.bib">
			BibTeX  <span class="sr-only" > data for <em> A Formal Model to Facilitate Security Testing in Modern Automotive Systems  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[20] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A UML Profile for Privacy&#x2212;Aware Data Lifecycle Models </strong> </p>
	    <p class="publicationAuthors"> <em> Majed Alshammari and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 1st SECPRE workshop</em>.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11108-abstract.html">
			Details <span class="sr-only" > about <em> A UML Profile for Privacy&#x2212;Aware Data Lifecycle Models  </em></span> </a> |
			<a href="/publications/publication11108.bib">
			BibTeX  <span class="sr-only" > data for <em> A UML Profile for Privacy&#x2212;Aware Data Lifecycle Models  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[21] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Personal Data Management: An Abstract Personal Data Lifecycle Model </strong> </p>
	    <p class="publicationAuthors"> <em> Majed Alshammari and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the SPBP'17 workshop</em>.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11077-abstract.html">
			Details <span class="sr-only" > about <em> Personal Data Management: An Abstract Personal Data Lifecycle Model  </em></span> </a> |
			<a href="/publications/publication11077.bib">
			BibTeX  <span class="sr-only" > data for <em> Personal Data Management: An Abstract Personal Data Lifecycle Model  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/9157/PublicationFile">Download
					    

					    <span class="sr-only" > of <em> Personal Data Management: An Abstract Personal Data Lifecycle Model  </em></span>

					    </a>


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

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The use of data protection regulatory actions as a data source for privacy economics </strong> </p>
	    <p class="publicationAuthors"> <em> Aaron Ceross and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of TELERISE 2017</em>.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11061-abstract.html">
			Details <span class="sr-only" > about <em> The use of data protection regulatory actions as a data source for privacy economics  </em></span> </a> |
			<a href="/publications/publication11061.bib">
			BibTeX  <span class="sr-only" > data for <em> The use of data protection regulatory actions as a data source for privacy economics  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[23] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the Performance of a Trustworthy Remote Entity in Comparison to Secure Multi&#x2212;Party Computation </strong> </p>
	    <p class="publicationAuthors"> <em> Robin Ankele and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 3rd IEEE International Workshop on Cloud Security and Forensics (WCSF 2017)</em>.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11044-abstract.html">
			Details <span class="sr-only" > about <em> On the Performance of a Trustworthy Remote Entity in Comparison to Secure Multi&#x2212;Party Computation  </em></span> </a> |
			<a href="/publications/publication11044.bib">
			BibTeX  <span class="sr-only" > data for <em> On the Performance of a Trustworthy Remote Entity in Comparison to Secure Multi&#x2212;Party Computation  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[24] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards a Principled Approach for Engineering Privacy by Design </strong> </p>
	    <p class="publicationAuthors"> <em> Majed Alshammari and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2017 ENISA Annual Privacy Forum (APF 2017)</em>.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10975-abstract.html">
			Details <span class="sr-only" > about <em> Towards a Principled Approach for Engineering Privacy by Design  </em></span> </a> |
			<a href="/publications/publication10975.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards a Principled Approach for Engineering Privacy by Design  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[25] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Exploring the use of Intel SGX for Secure Many&#x2212;Party Applications </strong> </p>
	    <p class="publicationAuthors"> <em> K.A. K&#xfc;&#xe7;&#xfc;k&#x201a; A. Paverd&#x201a; A. Martin&#x201a; N. Asokan&#x201a; A. Simpson and R. Ankele  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 1st Workshop on System Software for Trusted Execution (SysTEX '16)</em>.
        New York&#x201a; NY&#x201a; USA.
        2016.
        ACM.
        </p> <p
            class="publicationNote"> The theoretical construct of a Trusted Third Party (TTP) has the potential to solve many security and privacy challenges. In particular&#x201a; a TTP is an ideal way to achieve secure multiparty computation&#x2014;a privacy&#x2212;enhancing technique in which mutually distrusting participants jointly compute a function over their private inputs without revealing these inputs. Although there exist cryptographic protocols to achieve this&#x201a; their performance often limits them to the two&#x2212;party case&#x201a; or to a small number of participants. However&#x201a; many real&#x2212;world applications involve thousands or tens of thousands of participants. Examples of this type of many&#x2212;party application include privacy&#x2212;preserving energy metering&#x201a; location&#x2212;based services&#x201a; and mobile network roaming. Challenging the notion that a trustworthy TTP does not exist&#x201a; recent research has shown how trusted hardware and remote attestation can be used to establish a sufficient level of assurance in a real system such that it can serve as a trustworthy remote entity (TRE). We explore the use of Intel SGX&#x201a; the most recent and arguably most promising trusted hardware technology&#x201a; as the basis for a TRE for many&#x2212;party applications. Using privacy&#x2212;preserving energy metering as a case study&#x201a; we design and implement a prototype TRE using SGX&#x201a; and compare its performance to a previous system based on the Trusted Platform Module (TPM). Our results show that even without specialized optimizations&#x201a; SGX provides comparable performance to the optimized TPM system&#x201a; and therefore has significant potential for large&#x2212;scale many&#x2212;party applications.</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12714-abstract.html">
			Details <span class="sr-only" > about <em> Exploring the use of Intel SGX for Secure Many&#x2212;Party Applications  </em></span> </a> |
			<a href="/publications/publication12714.bib">
			BibTeX  <span class="sr-only" > data for <em> Exploring the use of Intel SGX for Secure Many&#x2212;Party Applications  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/3007788.3007793">
		DOI (10.1145/3007788.3007793)
		</a> 
					| <a href="https://dl.acm.org/doi/abs/10.1145/3007788.3007793"> Link <span class="sr-only" > to <em> Exploring the use of Intel SGX for Secure Many&#x2212;Party Applications  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[26] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formal Models for Automotive Systems and Vehicular Networks: Benefits and Challenges </strong> </p>
	    <p class="publicationAuthors"> <em> E. dos Santos&#x201a; D. Schoop and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of VNC 2016</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10715-abstract.html">
			Details <span class="sr-only" > about <em> Formal Models for Automotive Systems and Vehicular Networks: Benefits and Challenges  </em></span> </a> |
			<a href="/publications/publication10715.bib">
			BibTeX  <span class="sr-only" > data for <em> Formal Models for Automotive Systems and Vehicular Networks: Benefits and Challenges  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[27] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Software Security Investment: The Right Amount of a Good Thing </strong> </p>
	    <p class="publicationAuthors"> <em> Chad Heitzenrater and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 1st IEEE Cybersecurity Development Conference (SecDev 2016)</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10601-abstract.html">
			Details <span class="sr-only" > about <em> Software Security Investment: The Right Amount of a Good Thing  </em></span> </a> |
			<a href="/publications/publication10601.bib">
			BibTeX  <span class="sr-only" > data for <em> Software Security Investment: The Right Amount of a Good Thing  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[28] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Privacy&#x2212;Preserving Targeted Mobile Advertising: Formal Models and Analysis </strong> </p>
	    <p class="publicationAuthors"> <em> Y. Liu and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 11th International Workshop on Data Privacy Management (DPM 2016)</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10579-abstract.html">
			Details <span class="sr-only" > about <em> Privacy&#x2212;Preserving Targeted Mobile Advertising: Formal Models and Analysis  </em></span> </a> |
			<a href="/publications/publication10579.bib">
			BibTeX  <span class="sr-only" > data for <em> Privacy&#x2212;Preserving Targeted Mobile Advertising: Formal Models and Analysis  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[29] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Case for the Economics of Secure Software Development </strong> </p>
	    <p class="publicationAuthors"> <em> Chad Heitzenrater and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of NSPW 2016</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10521-abstract.html">
			Details <span class="sr-only" > about <em> A Case for the Economics of Secure Software Development  </em></span> </a> |
			<a href="/publications/publication10521.bib">
			BibTeX  <span class="sr-only" > data for <em> A Case for the Economics of Secure Software Development  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[30] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Misuse&#x201a; Abuse&#x201a; and Reuse: Economic utility functions for characterising security requirements </strong> </p>
	    <p class="publicationAuthors"> <em> C. Heitzenrater and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of The Second International Workshop on Agile Secure Software Development (ASSD 2016)</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10476-abstract.html">
			Details <span class="sr-only" > about <em> Misuse&#x201a; Abuse&#x201a; and Reuse: Economic utility functions for characterising security requirements  </em></span> </a> |
			<a href="/publications/publication10476.bib">
			BibTeX  <span class="sr-only" > data for <em> Misuse&#x201a; Abuse&#x201a; and Reuse: Economic utility functions for characterising security requirements  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[31] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Motivating Security Engineering with Economics: A Utility Function Approach </strong> </p>
	    <p class="publicationAuthors"> <em> C. Heitzenrater&#x201a; J. King&#x2212;Lacroix and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of The 1st IEEE International Workshop on Cyber Resiliency Economics (CRE 2016)</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10475-abstract.html">
			Details <span class="sr-only" > about <em> Motivating Security Engineering with Economics: A Utility Function Approach  </em></span> </a> |
			<a href="/publications/publication10475.bib">
			BibTeX  <span class="sr-only" > data for <em> Motivating Security Engineering with Economics: A Utility Function Approach  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[32] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Applying the Trustworthy Remote Entity to Privacy&#x2212;Preserving Multiparty Computation: Requirements and Criteria for Large&#x2212;Scale Applications </strong> </p>
	    <p class="publicationAuthors"> <em> R. Ankele&#x201a; K.A. K&#xfc;&#xe7;&#xfc;k&#x201a; A.P. Martin&#x201a; A.C. Simpson and A. Paverd  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 13th IEEE International Conference on Advanced and Trusted Computing (ATC 2016)</em>.
        2016.
        </p> <p
            class="publicationNote"> The significant improvements in technology that have been seen in recent years have resulted in a shift in the computing paradigm: from isolated computational tasks to distributed tasks executed in multi&#x2212;party settings. Secure Multi&#x2212;Party Computation (MPC) allows for multiple parties to jointly compute a function on their private inputs. Unfortunately&#x201a; traditional MPC algorithms are inefficient in the presence of a large number of participants. Moreover&#x201a; in the traditional setting&#x201a; MPC is only concerned with privacy of the input values. However&#x201a; there is often a need to preserve the privacy of individuals on the basis of the output of the computation. Techniques proposed by the Trusted Computing community have shown promise in the context of new secure&#x201a; efficient large&#x2212;scale applications. In this paper&#x201a; we define&#x201a; analyse several use cases related to large&#x2212;scale applications of the MPC paradigm. From these use cases&#x201a; we derive requirements&#x201a; criteria to evaluate certain MPC protocols used for large&#x2212;scale applications. Furthermore&#x201a; we propose the utilisation of a Trustworthy Remote Entity&#x201a; privacy&#x2212;preserving algorithms to achieve confidentiality&#x201a; privacy in such settings.</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10440-abstract.html">
			Details <span class="sr-only" > about <em> Applying the Trustworthy Remote Entity to Privacy&#x2212;Preserving Multiparty Computation: Requirements and Criteria for Large&#x2212;Scale Applications  </em></span> </a> |
			<a href="/publications/publication10440.bib">
			BibTeX  <span class="sr-only" > data for <em> Applying the Trustworthy Remote Entity to Privacy&#x2212;Preserving Multiparty Computation: Requirements and Criteria for Large&#x2212;Scale Applications  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0077">
		DOI (10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0077)
		</a> 
					| <a href="https://ieeexplore.ieee.org/document/7816873"> Link <span class="sr-only" > to <em> Applying the Trustworthy Remote Entity to Privacy&#x2212;Preserving Multiparty Computation: Requirements and Criteria for Large&#x2212;Scale Applications  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[33] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Days Before Zero Day: Investment Models for Secure Software Engineering </strong> </p>
	    <p class="publicationAuthors"> <em> Chad Heitzenrater&#x201a; Rainier Bohme and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of WEIS 2016</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10414-abstract.html">
			Details <span class="sr-only" > about <em> The Days Before Zero Day: Investment Models for Secure Software Engineering  </em></span> </a> |
			<a href="/publications/publication10414.bib">
			BibTeX  <span class="sr-only" > data for <em> The Days Before Zero Day: Investment Models for Secure Software Engineering  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[34] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formal Models for Privacy </strong> </p>
	    <p class="publicationAuthors"> <em> Alan Abe and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 9th International Workshop on Privacy and Anonymity in the Information Society (PAIS 2016)</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10252-abstract.html">
			Details <span class="sr-only" > about <em> Formal Models for Privacy  </em></span> </a> |
			<a href="/publications/publication10252.bib">
			BibTeX  <span class="sr-only" > data for <em> Formal Models for Privacy  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[35] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Small&#x2212;Scale Cyber Security </strong> </p>
	    <p class="publicationAuthors"> <em> Emma Osborn and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of IEEE CSCloud 2015</em>.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9696-abstract.html">
			Details <span class="sr-only" > about <em> Small&#x2212;Scale Cyber Security  </em></span> </a> |
			<a href="/publications/publication9696.bib">
			BibTeX  <span class="sr-only" > data for <em> Small&#x2212;Scale Cyber Security  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[36] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            When the Winning Move is Not to Play: Games of Deterrence in Cyber Security </strong> </p>
	    <p class="publicationAuthors"> <em> C. Heitzenrater and A. C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 6th Conference on Decision and Game Theory for Security (GameSec 2015)</em>.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9687-abstract.html">
			Details <span class="sr-only" > about <em> When the Winning Move is Not to Play: Games of Deterrence in Cyber Security  </em></span> </a> |
			<a href="/publications/publication9687.bib">
			BibTeX  <span class="sr-only" > data for <em> When the Winning Move is Not to Play: Games of Deterrence in Cyber Security  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[37] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Policy&#x201a; Statistics&#x201a; and Questions: Reflections on UK Cyber Security Disclosures </strong> </p>
	    <p class="publicationAuthors"> <em> Chad Heitzenrater and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of WEIS 2015</em>.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9474-abstract.html">
			Details <span class="sr-only" > about <em> Policy&#x201a; Statistics&#x201a; and Questions: Reflections on UK Cyber Security Disclosures  </em></span> </a> |
			<a href="/publications/publication9474.bib">
			BibTeX  <span class="sr-only" > data for <em> Policy&#x201a; Statistics&#x201a; and Questions: Reflections on UK Cyber Security Disclosures  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[38] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Experiences in Developing and Delivering a Programme of Part&#x2212;Time Education in Software and Systems Security </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; A.&#xa0;P. Martin&#x201a; C. Cremers&#x201a; I. Flechais&#x201a; I. Martinovic and K.&#xa0;B. Rasmussen  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of ICSE 2015</em>.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9326-abstract.html">
			Details <span class="sr-only" > about <em> Experiences in Developing and Delivering a Programme of Part&#x2212;Time Education in Software and Systems Security  </em></span> </a> |
			<a href="/publications/publication9326.bib">
			BibTeX  <span class="sr-only" > data for <em> Experiences in Developing and Delivering a Programme of Part&#x2212;Time Education in Software and Systems Security  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[39] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Usability and Security by Design: A Case Study in Research and Development </strong> </p>
	    <p class="publicationAuthors"> <em> S. Faily&#x201a; J. Lyle&#x201a; I. Flechais and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2015 NDSS Workshop on Usable Security (USEC 2015)</em>.
        Internet Society.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9138-abstract.html">
			Details <span class="sr-only" > about <em> Usability and Security by Design: A Case Study in Research and Development  </em></span> </a> |
			<a href="/publications/publication9138.bib">
			BibTeX  <span class="sr-only" > data for <em> Usability and Security by Design: A Case Study in Research and Development  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[40] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Formal Model of SysML Blocks using CSP for Assured Systems Engineering </strong> </p>
	    <p class="publicationAuthors"> <em> J. Jacobs and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 3rd International Workshop on Formal Techniques for Safety&#x2212;Critical Systems (FTSCS 2014)</em>.
        
            Vol. ??
                of Communications in Computer and Information Science.
        
                Pages ??&#x2212;??.
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9018-abstract.html">
			Details <span class="sr-only" > about <em> A Formal Model of SysML Blocks using CSP for Assured Systems Engineering  </em></span> </a> |
			<a href="/publications/publication9018.bib">
			BibTeX  <span class="sr-only" > data for <em> A Formal Model of SysML Blocks using CSP for Assured Systems Engineering  </em></span>   </a>
			
			

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

					    <span class="sr-only" > of <em> A Formal Model of SysML Blocks using CSP for Assured Systems Engineering  </em></span>

					    </a>


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

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the Formal Interpretation of SysML Blocks using a Safety Critical Case Study </strong> </p>
	    <p class="publicationAuthors"> <em> J. Jacobs and A. C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 8th Brazilian Symposium on Software Components&#x201a; Architectures and Reuse (SBCARS 2014)</em>.
        
                Pages 95&#x2212;104.
            IEEE.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8895-abstract.html">
			Details <span class="sr-only" > about <em> On the Formal Interpretation of SysML Blocks using a Safety Critical Case Study  </em></span> </a> |
			<a href="/publications/publication8895.bib">
			BibTeX  <span class="sr-only" > data for <em> On the Formal Interpretation of SysML Blocks using a Safety Critical Case Study  </em></span>   </a>
			
			

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

					    <span class="sr-only" > of <em> On the Formal Interpretation of SysML Blocks using a Safety Critical Case Study  </em></span>

					    </a>


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

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On a Process Algebraic Representation of Sequence Diagrams </strong> </p>
	    <p class="publicationAuthors"> <em> J. Jacobs and A. C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 1st International Workshop on Safety and Formal Methods (SaFoMe 2014)</em>.
        
            Vol. 8938
                of Lecture Notes in Computer Science.
        
                Pages 71&#x2013;85.
            Springer.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8819-abstract.html">
			Details <span class="sr-only" > about <em> On a Process Algebraic Representation of Sequence Diagrams  </em></span> </a> |
			<a href="/publications/publication8819.bib">
			BibTeX  <span class="sr-only" > data for <em> On a Process Algebraic Representation of Sequence Diagrams  </em></span>   </a>
			
			

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

					    <span class="sr-only" > of <em> On a Process Algebraic Representation of Sequence Diagrams  </em></span>

					    </a>


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

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the Cloud&#x2212;enabled Refinement Checking of Railway Signalling Interlockings </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson and J. Jacobs  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2nd International Workshop on Formal Techniques for Safety&#x2212;Critical Systems (FTSCS 2013)</em>.
        
            Vol. 419
                of Communications in Computer and Information Science.
        
                Pages 195&#x2013;211.
            2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7148-abstract.html">
			Details <span class="sr-only" > about <em> On the Cloud&#x2212;enabled Refinement Checking of Railway Signalling Interlockings  </em></span> </a> |
			<a href="/publications/publication7148.bib">
			BibTeX  <span class="sr-only" > data for <em> On the Cloud&#x2212;enabled Refinement Checking of Railway Signalling Interlockings  </em></span>   </a>
			
			

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

					    <span class="sr-only" > of <em> On the Cloud&#x2212;enabled Refinement Checking of Railway Signalling Interlockings  </em></span>

					    </a>


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

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML </strong> </p>
	    <p class="publicationAuthors"> <em> J. Jacobs and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 15th International Conference on Formal Engineering Methods (ICFEM 2013)</em>.
        
            Vol. 8144
                of Lecture Notes in Computer Science.
        
                Pages 265&#x2013;280.
            Springer.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6937-abstract.html">
			Details <span class="sr-only" > about <em> Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML  </em></span> </a> |
			<a href="/publications/publication6937.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML  </em></span>   </a>
			
			

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

					    <span class="sr-only" > of <em> Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML  </em></span>

					    </a>


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

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Virtual experiments for reusable models </strong> </p>
	    <p class="publicationAuthors"> <em> Jonathan Cooper&#x201a; Gary Mirams&#x201a; Mark Slaymaker&#x201a; Andrew Simpson&#x201a; Jon Olav Vik and Dagmar Waltemath  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of VPH 2012</em>.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication6079-abstract.html">
			Details <span class="sr-only" > about <em> Virtual experiments for reusable models  </em></span> </a> |
			<a href="/publications/publication6079.bib">
			BibTeX  <span class="sr-only" > data for <em> Virtual experiments for reusable models  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[46] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Conformance checking of dynamic access control policies </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 13th International Conference on Formal Methods and Software Engineering (ICFEM 2011)</em>.
        
            Vol. 6255
                of Lecture Notes in Computer Science.
        
                Pages 227&#x2013;242.
            Springer.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5946-abstract.html">
			Details <span class="sr-only" > about <em> Conformance checking of dynamic access control policies  </em></span> </a> |
			<a href="/publications/publication5946.bib">
			BibTeX  <span class="sr-only" > data for <em> Conformance checking of dynamic access control policies  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[47] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Automatic conformance checking of role&#x2212;based access control policies via Alloy </strong> </p>
	    <p class="publicationAuthors"> <em> David Power&#x201a; Mark Slaymaker and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Engineering Secure Software and Systems (ESSoS 2011)</em>.
        
                Pages 15&#x2013;28.
            Springer&#x2212;Verlag Lecture Notes in Computer Science&#x201a; volume 6542.
        2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4760-abstract.html">
			Details <span class="sr-only" > about <em> Automatic conformance checking of role&#x2212;based access control policies via Alloy  </em></span> </a> |
			<a href="/publications/publication4760.bib">
			BibTeX  <span class="sr-only" > data for <em> Automatic conformance checking of role&#x2212;based access control policies via Alloy  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[48] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the secure sharing and aggregation of data to support Systems Biology research </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Simpson&#x201a; Mark Slaymaker and David Gavaghan  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 7th International Conference on Data Integration in the Life Sciences (DILS 2010)</em>.
        
                Pages 58&#x2013;73.
            Springer&#x2212;Verlag Lecture Notes in Computer Science&#x201a; volume 6254.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3682-abstract.html">
			Details <span class="sr-only" > about <em> On the secure sharing and aggregation of data to support Systems Biology research  </em></span> </a> |
			<a href="/publications/publication3682.bib">
			BibTeX  <span class="sr-only" > data for <em> On the secure sharing and aggregation of data to support Systems Biology research  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[49] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the modelling and analysis of Amazon Web Services access policies </strong> </p>
	    <p class="publicationAuthors"> <em> David Power&#x201a; Mark Slaymaker and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Abstract State Machines&#x201a; Alloy&#x201a; B and Z (ABZ 2010)</em>.
        
                Pages 394.
            Springer&#x2212;Verlag Lecture Notes in Computer Science&#x201a; volume 5977.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3653-abstract.html">
			Details <span class="sr-only" > about <em> On the modelling and analysis of Amazon Web Services access policies  </em></span> </a> |
			<a href="/publications/publication3653.bib">
			BibTeX  <span class="sr-only" > data for <em> On the modelling and analysis of Amazon Web Services access policies  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[50] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formalising and validating RBAC&#x2212;to&#x2212;XACML translation using lightweight formal methods </strong> </p>
	    <p class="publicationAuthors"> <em> Mark Slaymaker&#x201a; David Power and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Abstract State Machines&#x201a; Alloy&#x201a; B and Z (ABZ 2010)</em>.
        
                Pages 349&#x2013;362.
            Springer&#x2212;Verlag Lecture Notes in Computer Science&#x201a; volume 5977.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3652-abstract.html">
			Details <span class="sr-only" > about <em> Formalising and validating RBAC&#x2212;to&#x2212;XACML translation using lightweight formal methods  </em></span> </a> |
			<a href="/publications/publication3652.bib">
			BibTeX  <span class="sr-only" > data for <em> Formalising and validating RBAC&#x2212;to&#x2212;XACML translation using lightweight formal methods  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[51] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards Formally Templated Relational Database Representations in Z </strong> </p>
	    <p class="publicationAuthors"> <em> N. Wu and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2nd International Conference on Abstract State Machines&#x201a; Alloy&#x201a; B and Z (ABZ 2010)</em>.
        
            Vol. 5977
                of Lecture Notes in Computer Science.
        
                Pages 363&#x2013;376.
            Springer.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3576-abstract.html">
			Details <span class="sr-only" > about <em> Towards Formally Templated Relational Database Representations in Z  </em></span> </a> |
			<a href="/publications/publication3576.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards Formally Templated Relational Database Representations in Z  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[52] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            GIMI: the past&#x201a; the present&#x201a; and the future </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; D. Russell&#x201a; M.&#xa0;A. Slaymaker&#x201a; V. Bailey&#x201a; C. Tromans&#x201a; J.&#xa0;M. Brady and L. Tarassenko  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2009 UK e&#x2212;Science All Hands Meeting</em>.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3684-abstract.html">
			Details <span class="sr-only" > about <em> GIMI: the past&#x201a; the present&#x201a; and the future  </em></span> </a> |
			<a href="/publications/publication3684.bib">
			BibTeX  <span class="sr-only" > data for <em> GIMI: the past&#x201a; the present&#x201a; and the future  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[53] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the construction and verification of self&#x2212;modifying access control policies </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 6th VLDB Workshop on Secure Data Management (SDM 2009)</em>.
        
            Vol. 5776
                of Lecture Notes in Computer Science.
        
                Pages 107&#x2013;121.
            Springer.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3201-abstract.html">
			Details <span class="sr-only" > about <em> On the construction and verification of self&#x2212;modifying access control policies  </em></span> </a> |
			<a href="/publications/publication3201.bib">
			BibTeX  <span class="sr-only" > data for <em> On the construction and verification of self&#x2212;modifying access control policies  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[54] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the utilisation of a service&#x2212;oriented infrastructure to support radiologist training </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; M.&#xa0;A. Slaymaker&#x201a; M. Yap&#x201a; A.&#xa0;G. Gale&#x201a; D.&#xa0;J. Power and D. Russell  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 22nd IEEE Symposium on Computer&#x2212;Based Medical Systems (CBMS 2009)</em>.
        
                Pages 1&#x2013;4.
            IEEE Computer Society Press.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3126-abstract.html">
			Details <span class="sr-only" > about <em> On the utilisation of a service&#x2212;oriented infrastructure to support radiologist training  </em></span> </a> |
			<a href="/publications/publication3126.bib">
			BibTeX  <span class="sr-only" > data for <em> On the utilisation of a service&#x2212;oriented infrastructure to support radiologist training  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[55] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the secure sharing of legacy data </strong> </p>
	    <p class="publicationAuthors"> <em> D. Russell&#x201a; D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker&#x201a; G.&#xa0;K. Kouadri Mostefaoui&#x201a; X. Ma and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 6th International Conference on IT: Next Generation (ITNG 2009)</em>.
        
                Pages 1676&#x2013;1679.
            IEEE.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3069-abstract.html">
			Details <span class="sr-only" > about <em> On the secure sharing of legacy data  </em></span> </a> |
			<a href="/publications/publication3069.bib">
			BibTeX  <span class="sr-only" > data for <em> On the secure sharing of legacy data  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[56] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On Quality Assurance of Web Services in Agile Projects: An Experience Report </strong> </p>
	    <p class="publicationAuthors"> <em> G. Kouadri Mostefaoui and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 3rd ACM Workshop on Software Engineering for Pervasive Services (SEPS 2008)</em>.
        
                Pages 21&#x2013;26.
            ACM.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9275-abstract.html">
			Details <span class="sr-only" > about <em> On Quality Assurance of Web Services in Agile Projects: An Experience Report  </em></span> </a> |
			<a href="/publications/publication9275.bib">
			BibTeX  <span class="sr-only" > data for <em> On Quality Assurance of Web Services in Agile Projects: An Experience Report  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[57] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Application of a Service&#x2212;Oriented Infrastructure to Support Medical Research in Mammography </strong> </p>
	    <p class="publicationAuthors"> <em> C. Tromans&#x201a; J.&#xa0;M. Brady&#x201a; D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker&#x201a; D. Russell and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of MICCAI&#x2212;Grid 2008</em>.
        
                Pages 43&#x2013;52.
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3068-abstract.html">
			Details <span class="sr-only" > about <em> The Application of a Service&#x2212;Oriented Infrastructure to Support Medical Research in Mammography  </em></span> </a> |
			<a href="/publications/publication3068.bib">
			BibTeX  <span class="sr-only" > data for <em> The Application of a Service&#x2212;Oriented Infrastructure to Support Medical Research in Mammography  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[58] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the facilitation of fine&#x2212;grained access to distributed healthcare data </strong> </p>
	    <p class="publicationAuthors"> <em> D. Russell M. A. Slaymaker D. J. Power and A. C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Secure Data Management 2008</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3064-abstract.html">
			Details <span class="sr-only" > about <em> On the facilitation of fine&#x2212;grained access to distributed healthcare data  </em></span> </a> |
			<a href="/publications/publication3064.bib">
			BibTeX  <span class="sr-only" > data for <em> On the facilitation of fine&#x2212;grained access to distributed healthcare data  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[59] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the need for user&#x2212;defined fine&#x2212;grained access control policies for social networking applications </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2008 workshop on Security in Opportunistic and SOCial networks (SOSOC 2008)</em>.
        
                Pages Article number 1.
            ACM.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3063-abstract.html">
			Details <span class="sr-only" > about <em> On the need for user&#x2212;defined fine&#x2212;grained access control policies for social networking applications  </em></span> </a> |
			<a href="/publications/publication3063.bib">
			BibTeX  <span class="sr-only" > data for <em> On the need for user&#x2212;defined fine&#x2212;grained access control policies for social networking applications  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[60] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A healthcare&#x2212;driven framework for facilitating the secure sharing of data across organisational boundaries </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; D. Russell&#x201a; M.&#xa0;A. Slaymaker&#x201a; G. Kouadri&#x2212;Mostefaoui&#x201a; X. Ma and G. Wilson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of HealthGrid 2008</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3061-abstract.html">
			Details <span class="sr-only" > about <em> A healthcare&#x2212;driven framework for facilitating the secure sharing of data across organisational boundaries  </em></span> </a> |
			<a href="/publications/publication3061.bib">
			BibTeX  <span class="sr-only" > data for <em> A healthcare&#x2212;driven framework for facilitating the secure sharing of data across organisational boundaries  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[61] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On formal descriptions of synchronization requirements in multimedia systems </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C.&#xa0;M. Fong and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 5th International Conference on IT: Next Generation (ITNG 2009)</em>.
        
                Pages 1255&#x2212;1256.
            IEEE.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3059-abstract.html">
			Details <span class="sr-only" > about <em> On formal descriptions of synchronization requirements in multimedia systems  </em></span> </a> |
			<a href="/publications/publication3059.bib">
			BibTeX  <span class="sr-only" > data for <em> On formal descriptions of synchronization requirements in multimedia systems  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[62] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Accessing and aggregating legacy data sources for healthcare research&#x201a; delivery and training </strong> </p>
	    <p class="publicationAuthors"> <em> M. A. Slaymaker&#x201a; D. J. Power&#x201a; D. Russell&#x201a; G. Wilson and A. C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of SAC 2008</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1995-abstract.html">
			Details <span class="sr-only" > about <em> Accessing and aggregating legacy data sources for healthcare research&#x201a; delivery and training  </em></span> </a> |
			<a href="/publications/publication1995.bib">
			BibTeX  <span class="sr-only" > data for <em> Accessing and aggregating legacy data sources for healthcare research&#x201a; delivery and training  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[63] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Practical Experiences of Testing Web Services </strong> </p>
	    <p class="publicationAuthors"> <em> G. Kouadri Mostefaoui and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 5th International Workshop on SOA and Web Services Best Practices</em>.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9273-abstract.html">
			Details <span class="sr-only" > about <em> Practical Experiences of Testing Web Services  </em></span> </a> |
			<a href="/publications/publication9273.bib">
			BibTeX  <span class="sr-only" > data for <em> Practical Experiences of Testing Web Services  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[64] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Empirical analysis and optimization of an NP&#x2212;hard problem using CSP and FDR </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;A. Creager and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2007 Brazilian Symposium on Formal Methods (SBMF 2007)</em>.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9272-abstract.html">
			Details <span class="sr-only" > about <em> Empirical analysis and optimization of an NP&#x2212;hard problem using CSP and FDR  </em></span> </a> |
			<a href="/publications/publication9272.bib">
			BibTeX  <span class="sr-only" > data for <em> Empirical analysis and optimization of an NP&#x2212;hard problem using CSP and FDR  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[65] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Switched lightpaths for e&#x2212;health applications: Issues and challenges </strong> </p>
	    <p class="publicationAuthors"> <em> L. Momtahan&#x201a; S. Lloyd and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 20th IEEE Symposium on Computer&#x2212;Based Medical Systems (CBMS 2007)</em>.
        
                Pages 459&#x2013;464.
            IEEE Computer Society Press.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9271-abstract.html">
			Details <span class="sr-only" > about <em> Switched lightpaths for e&#x2212;health applications: Issues and challenges  </em></span> </a> |
			<a href="/publications/publication9271.bib">
			BibTeX  <span class="sr-only" > data for <em> Switched lightpaths for e&#x2212;health applications: Issues and challenges  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[66] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Exploitation of switched lightpaths for e&#x2212;health: Constraints and challenges </strong> </p>
	    <p class="publicationAuthors"> <em> L. Momtahan and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Lighting the blue touchpaper for UK e&#x2212;Science: Closing conference of ESLEA project</em>.
        Proceedings of Science.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2032-abstract.html">
			Details <span class="sr-only" > about <em> Exploitation of switched lightpaths for e&#x2212;health: Constraints and challenges  </em></span> </a> |
			<a href="/publications/publication2032.bib">
			BibTeX  <span class="sr-only" > data for <em> Exploitation of switched lightpaths for e&#x2212;health: Constraints and challenges  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[67] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Developing collaborative technology for neuro&#x2212;science </strong> </p>
	    <p class="publicationAuthors"> <em> S. Lloyd&#x201a; A. C. Simpson&#x201a; D. J. Power&#x201a; J. Geddes&#x201a; A. Khanban and J. Palmer  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of CollaborateCom 2007</em>.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2037-abstract.html">
			Details <span class="sr-only" > about <em> Developing collaborative technology for neuro&#x2212;science  </em></span> </a> |
			<a href="/publications/publication2037.bib">
			BibTeX  <span class="sr-only" > data for <em> Developing collaborative technology for neuro&#x2212;science  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[68] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards build&#x2212;time interoperability of workflow definition languages </strong> </p>
	    <p class="publicationAuthors"> <em> S.&#xa0;D. Induruwa&#x2212;Fernando&#x201a; D.&#xa0;A. Creager and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNSAC 2007)</em>.
        
                Pages 525&#x2013;532.
            IEEE.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2048-abstract.html">
			Details <span class="sr-only" > about <em> Towards build&#x2212;time interoperability of workflow definition languages  </em></span> </a> |
			<a href="/publications/publication2048.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards build&#x2212;time interoperability of workflow definition languages  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[69] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Switched lightpaths for e&#x2212;health applications: a feasibility study </strong> </p>
	    <p class="publicationAuthors"> <em> L.&#xa0;Momtahan and A.&#xa0;C.&#xa0;Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 19th IEEE Symposium on Computer Based Medical Systems (CBMS 2006)</em>.
        
                Pages 469&#x2013;472.
            IEEE Computer Society Press.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9268-abstract.html">
			Details <span class="sr-only" > about <em> Switched lightpaths for e&#x2212;health applications: a feasibility study  </em></span> </a> |
			<a href="/publications/publication9268.bib">
			BibTeX  <span class="sr-only" > data for <em> Switched lightpaths for e&#x2212;health applications: a feasibility study  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[70] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care </strong> </p>
	    <p class="publicationAuthors"> <em> M. A. Slaymaker&#x201a; A. C. Simpson&#x201a; J. M. Brady&#x201a; D. J. Gavaghan&#x201a; F. Reddington and P. Quirke  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the IEEE Symposium on Computer Based Medical Systems</em>.
        IEEE Computer Society Press.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1994-abstract.html">
			Details <span class="sr-only" > about <em> A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care  </em></span> </a> |
			<a href="/publications/publication1994.bib">
			BibTeX  <span class="sr-only" > data for <em> A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[71] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On tracker attacks in health grids </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C.&#xa0;Simpson&#x201a; D.&#xa0;J.&#xa0;Power and M.&#xa0;A.&#xa0;Slaymaker  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the Annual ACM Symposium on Applied Computing (SAC '06)</em>.
        
                Pages 209&#x2013;216.
            ACM Press.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2006-abstract.html">
			Details <span class="sr-only" > about <em> On tracker attacks in health grids  </em></span> </a> |
			<a href="/publications/publication2006.bib">
			BibTeX  <span class="sr-only" > data for <em> On tracker attacks in health grids  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[72] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Logic&#x201a; damned logic&#x201a; and statistics </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Teaching Formal Methods 2006</em>.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2019-abstract.html">
			Details <span class="sr-only" > about <em> Logic&#x201a; damned logic&#x201a; and statistics  </em></span> </a> |
			<a href="/publications/publication2019.bib">
			BibTeX  <span class="sr-only" > data for <em> Logic&#x201a; damned logic&#x201a; and statistics  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[73] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The utilisation of clinical data in research health grids: eDiaMoND as a case study </strong> </p>
	    <p class="publicationAuthors"> <em> S. Lloyd and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of HealthCare 2006</em>.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2040-abstract.html">
			Details <span class="sr-only" > about <em> The utilisation of clinical data in research health grids: eDiaMoND as a case study  </em></span> </a> |
			<a href="/publications/publication2040.bib">
			BibTeX  <span class="sr-only" > data for <em> The utilisation of clinical data in research health grids: eDiaMoND as a case study  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[74] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Delegation in a distributed healthcare context: a survey of current approaches </strong> </p>
	    <p class="publicationAuthors"> <em> M.&#xa0;Katzarova and A.&#xa0;C.&#xa0;Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 9th Information Security Conference 2006</em>.
        
            Vol. 4176
                of Lecture Notes in Computer Science.
        
                Pages 517&#x2013;529.
            Springer.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2046-abstract.html">
			Details <span class="sr-only" > about <em> Delegation in a distributed healthcare context: a survey of current approaches  </em></span> </a> |
			<a href="/publications/publication2046.bib">
			BibTeX  <span class="sr-only" > data for <em> Delegation in a distributed healthcare context: a survey of current approaches  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[75] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The challenges of developing a collaborative data and compute grid for Neurosciences </strong> </p>
	    <p class="publicationAuthors"> <em> J. Geddes&#x201a; C. Mackay&#x201a; S. Lloyd&#x201a; A. C. Simpson&#x201a; D. J. Power&#x201a; D. Russell&#x201a; M. Katzarova&#x201a; M. Rossor&#x201a; N. Fox&#x201a; J. Fletcher&#x201a; D. Hill&#x201a; K. McLeish&#x201a; J. V. Hajnal&#x201a; S. Lawrie&#x201a; D. Job&#x201a; A. McIntosh&#x201a; J. Wardlaw&#x201a; P. Sandercocka&#x201a; J. Palmer&#x201a; D. Perry&#x201a; R. Procter&#x201a; J. Ure&#x201a; P. Bath and G. Watson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 19th IEEE Symposium on Computer Based Medical Systems (CBMS 2006)</em>.
        
                Pages 81&#x2013;86.
            IEEE Computer Society Press.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2049-abstract.html">
			Details <span class="sr-only" > about <em> The challenges of developing a collaborative data and compute grid for Neurosciences  </em></span> </a> |
			<a href="/publications/publication2049.bib">
			BibTeX  <span class="sr-only" > data for <em> The challenges of developing a collaborative data and compute grid for Neurosciences  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[76] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A fully generic&#x201a; graph&#x2212;based approach to data transformation discovery </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;A. Creager and A.&#xa0;C.&#xa0;Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of GMC (Graph Computation Models) 2006</em>.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2057-abstract.html">
			Details <span class="sr-only" > about <em> A fully generic&#x201a; graph&#x2212;based approach to data transformation discovery  </em></span> </a> |
			<a href="/publications/publication2057.bib">
			BibTeX  <span class="sr-only" > data for <em> A fully generic&#x201a; graph&#x2212;based approach to data transformation discovery  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[77] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards a fully generic theory of data </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;A. Creager and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM 2006)</em>.
        
            Vol. 4260
                of Lecture Notes in Computer Science.
        
                Pages 304&#x2013;323.
            Springer.
        2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2058-abstract.html">
			Details <span class="sr-only" > about <em> Towards a fully generic theory of data  </em></span> </a> |
			<a href="/publications/publication2058.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards a fully generic theory of data  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[78] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Project management in multi&#x2212;disciplinary collaborative research </strong> </p>
	    <p class="publicationAuthors"> <em> S. Lloyd and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of IPCC (International Professional Communication Conference) 2005&#x201a; Limerick</em>.
        
                Pages 602&#x2013;611.
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9265-abstract.html">
			Details <span class="sr-only" > about <em> Project management in multi&#x2212;disciplinary collaborative research  </em></span> </a> |
			<a href="/publications/publication9265.bib">
			BibTeX  <span class="sr-only" > data for <em> Project management in multi&#x2212;disciplinary collaborative research  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[79] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards fine&#x2212;grained access control in health grids </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker and E.&#xa0;A. Politou  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the Ottawa Workshop on New Challenges in Access Control</em>.
        April,
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2004-abstract.html">
			Details <span class="sr-only" > about <em> Towards fine&#x2212;grained access control in health grids  </em></span> </a> |
			<a href="/publications/publication2004.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards fine&#x2212;grained access control in health grids  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[80] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            GIMI: Generic Infrastructure for Medical Informatics </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker and E.&#xa0;A. Politou  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 18th IEEE Symposium on Computer&#x2212;Based Medical Systems (CBMS 2005)</em>.
        
                Pages 564&#x2013;566.
            IEEE Computer Society Press.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2005-abstract.html">
			Details <span class="sr-only" > about <em> GIMI: Generic Infrastructure for Medical Informatics  </em></span> </a> |
			<a href="/publications/publication2005.bib">
			BibTeX  <span class="sr-only" > data for <em> GIMI: Generic Infrastructure for Medical Informatics  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[81] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On deducibility and anonymisation in medical databases </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In W. Jonker and M. Petkovic, editors,
             
            <em>
            Proceedings of Secure Data Management 2005</em>.
        
            Vol. 3674
                of Lecture Notes in Computer Science.
        
                Pages 170&#x2013;184.
            Springer.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2020-abstract.html">
			Details <span class="sr-only" > about <em> On deducibility and anonymisation in medical databases  </em></span> </a> |
			<a href="/publications/publication2020.bib">
			BibTeX  <span class="sr-only" > data for <em> On deducibility and anonymisation in medical databases  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[82] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A secure wrapper for OGSA&#x2212;DAI </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker&#x201a; E.&#xa0;A. Politou and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the European Grid Conference&#x201a; 2005</em>.
        
            Vol. 3470
                of Lecture Notes in Computer Science.
        
                Pages 485&#x2013;494.
            Springer.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2022-abstract.html">
			Details <span class="sr-only" > about <em> A secure wrapper for OGSA&#x2212;DAI  </em></span> </a> |
			<a href="/publications/publication2022.bib">
			BibTeX  <span class="sr-only" > data for <em> A secure wrapper for OGSA&#x2212;DAI  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[83] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On XACML&#x201a; role&#x2212;based access control&#x201a; and health grids </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker&#x201a; E.&#xa0;A. Politou and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2005 UK e&#x2212;Science All Hands Meeting</em>.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2023-abstract.html">
			Details <span class="sr-only" > about <em> On XACML&#x201a; role&#x2212;based access control&#x201a; and health grids  </em></span> </a> |
			<a href="/publications/publication2023.bib">
			BibTeX  <span class="sr-only" > data for <em> On XACML&#x201a; role&#x2212;based access control&#x201a; and health grids  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[84] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Protecting Sensitive Patient Data via Query Modification </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; M.&#xa0;A. Slaymaker&#x201a; E.&#xa0;A. Politou and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 20th ACM Symposium on Applied Computing</em>.
        
                Pages 224&#x2212;230.
            March,
            2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2024-abstract.html">
			Details <span class="sr-only" > about <em> Protecting Sensitive Patient Data via Query Modification  </em></span> </a> |
			<a href="/publications/publication2024.bib">
			BibTeX  <span class="sr-only" > data for <em> Protecting Sensitive Patient Data via Query Modification  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[85] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Exploitation of switched lightpaths for e&#x2212;health </strong> </p>
	    <p class="publicationAuthors"> <em> L. Momtahan and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2005 UK e&#x2212;Science All Hands Meeting</em>.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2030-abstract.html">
			Details <span class="sr-only" > about <em> Exploitation of switched lightpaths for e&#x2212;health  </em></span> </a> |
			<a href="/publications/publication2030.bib">
			BibTeX  <span class="sr-only" > data for <em> Exploitation of switched lightpaths for e&#x2212;health  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[86] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Integrative Biology Infrastructure </strong> </p>
	    <p class="publicationAuthors"> <em> D. Mac Randal&#x201a; L. Sastry&#x201a; D. Hanlon&#x201a; D.&#xa0;J. Gavaghan&#x201a; S. Lloyd and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2005 UK e&#x2212;Science All Hands Meeting</em>.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2035-abstract.html">
			Details <span class="sr-only" > about <em> The Integrative Biology Infrastructure  </em></span> </a> |
			<a href="/publications/publication2035.bib">
			BibTeX  <span class="sr-only" > data for <em> The Integrative Biology Infrastructure  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[87] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Managing collaborative expertise: issues and challenges </strong> </p>
	    <p class="publicationAuthors"> <em> I. Kinti&#x201a; S. Lloyd&#x201a; A.&#xa0;C. Simpson and G. Hayward  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of OKLC 2005&#x201a; Boston&#x201a; MA</em>.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2045-abstract.html">
			Details <span class="sr-only" > about <em> Managing collaborative expertise: issues and challenges  </em></span> </a> |
			<a href="/publications/publication2045.bib">
			BibTeX  <span class="sr-only" > data for <em> Managing collaborative expertise: issues and challenges  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[88] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            NeuroGrid: collaborative neuroscience via grid computing </strong> </p>
	    <p class="publicationAuthors"> <em> J. Geddes&#x201a; S. Lloyd&#x201a; A.&#xa0;C. Simpson&#x201a; M. Rossor&#x201a; N. Fox&#x201a; D. Hill&#x201a; J. Hajnal&#x201a; S. Lawrie&#x201a; A. McIntosh&#x201a; E. Johnstone&#x201a; J. Wardlaw&#x201a; D. Perry&#x201a; R. Procter&#x201a; P. Bath and E. Bullimore  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2005 UK e&#x2212;Science All Hands Meeting</em>.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2050-abstract.html">
			Details <span class="sr-only" > about <em> NeuroGrid: collaborative neuroscience via grid computing  </em></span> </a> |
			<a href="/publications/publication2050.bib">
			BibTeX  <span class="sr-only" > data for <em> NeuroGrid: collaborative neuroscience via grid computing  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[89] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            NeuroGrid: using grid technology to advance neuroscience </strong> </p>
	    <p class="publicationAuthors"> <em> J. Geddes&#x201a; S. Lloyd&#x201a; A.&#xa0;C. Simpson&#x201a; M. Rossor&#x201a; N. Fox&#x201a; D. Hill&#x201a; J.&#xa0;V. Hajnal&#x201a; S. Lawrie&#x201a; A. McIntosh&#x201a; E. Johnstone&#x201a; J. Wardlaw&#x201a; D. Perry&#x201a; R. Procter&#x201a; P. Bath and E. Bullimore  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 18th IEEE Symposium on Computer&#x2212;Based Medical Systems</em>.
        
                Pages 570&#x2013;573.
            IEEE Computer Society Press.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2051-abstract.html">
			Details <span class="sr-only" > about <em> NeuroGrid: using grid technology to advance neuroscience  </em></span> </a> |
			<a href="/publications/publication2051.bib">
			BibTeX  <span class="sr-only" > data for <em> NeuroGrid: using grid technology to advance neuroscience  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[90] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            VRE for the Integrative Biology research consortium </strong> </p>
	    <p class="publicationAuthors"> <em> M.&#xa0;J. Dovey&#x201a; M. Mascord&#x201a; D.&#xa0;J. Gavaghan&#x201a; S. Lloyd&#x201a; A.&#xa0;C. Simpson&#x201a; G. Williams and D. Mac Randal  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2005 UK e&#x2212;Science All Hands Meeting</em>.
        2005.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2055-abstract.html">
			Details <span class="sr-only" > about <em> VRE for the Integrative Biology research consortium  </em></span> </a> |
			<a href="/publications/publication2055.bib">
			BibTeX  <span class="sr-only" > data for <em> VRE for the Integrative Biology research consortium  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[91] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Security principles for public&#x2212;resource modeling research </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;A. Stainforth&#x201a; A.&#xa0;P. Martin&#x201a; A.&#xa0;C. Simpson&#x201a; C.&#xa0;A. Christensen&#x201a; J. Kettleborough&#x201a; T. Aina and M.&#xa0;R. Allen  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the IEEE International Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE&#x2212;2004)</em>.
        
                Pages 319&#x2013;324.
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1993-abstract.html">
			Details <span class="sr-only" > about <em> Security principles for public&#x2212;resource modeling research  </em></span> </a> |
			<a href="/publications/publication1993.bib">
			BibTeX  <span class="sr-only" > data for <em> Security principles for public&#x2212;resource modeling research  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[92] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A vision for secure grid&#x2212;enabled healthcare </strong> </p>
	    <p class="publicationAuthors"> <em> M.&#xa0;A. Slaymaker&#x201a; D.&#xa0;J Power&#x201a; E.&#xa0;A. Politou and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Workshop on Grid Security Practice and Experience</em>.
        Technical Report YCS&#x2212;2004&#x2212;380&#x201a; University of York.
        June,
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1996-abstract.html">
			Details <span class="sr-only" > about <em> A vision for secure grid&#x2212;enabled healthcare  </em></span> </a> |
			<a href="/publications/publication1996.bib">
			BibTeX  <span class="sr-only" > data for <em> A vision for secure grid&#x2212;enabled healthcare  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[93] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            eDiaMoND: risk analysis </strong> </p>
	    <p class="publicationAuthors"> <em> M.&#xa0;A. Slaymaker&#x201a; E.&#xa0;A. Politou&#x201a; D.&#xa0;J. Power&#x201a; S. Lloyd and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of HealthGrid 2004&#x201a; Claremont&#x201a; France</em>.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1997-abstract.html">
			Details <span class="sr-only" > about <em> eDiaMoND: risk analysis  </em></span> </a> |
			<a href="/publications/publication1997.bib">
			BibTeX  <span class="sr-only" > data for <em> eDiaMoND: risk analysis  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[94] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Security aspects of grid&#x2212;based digital mammography </strong> </p>
	    <p class="publicationAuthors"> <em> M.&#xa0;A. Slaymaker&#x201a; E.&#xa0;A. Politou&#x201a; D.&#xa0;J. Power&#x201a; S. Lloyd and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of HealthGrid 2004&#x201a; Claremont&#x201a; France</em>.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1998-abstract.html">
			Details <span class="sr-only" > about <em> Security aspects of grid&#x2212;based digital mammography  </em></span> </a> |
			<a href="/publications/publication1998.bib">
			BibTeX  <span class="sr-only" > data for <em> Security aspects of grid&#x2212;based digital mammography  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[95] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            e&#x2212;health security issues: the eDiaMoND perspective </strong> </p>
	    <p class="publicationAuthors"> <em> M.&#xa0;A. Slaymaker&#x201a; E.&#xa0;A. Politou&#x201a; D.&#xa0;J. Power and S. Lloyd  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2004 UK e&#x2212;Science All Hands Meeting</em>.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2000-abstract.html">
			Details <span class="sr-only" > about <em> e&#x2212;health security issues: the eDiaMoND perspective  </em></span> </a> |
			<a href="/publications/publication2000.bib">
			BibTeX  <span class="sr-only" > data for <em> e&#x2212;health security issues: the eDiaMoND perspective  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[96] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            An Approach to the Storage of DICOM files for Grid&#x2212;Enabled Medical Imaging Databases </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; E.&#xa0;A. Politou&#x201a; M.&#xa0;A. Slaymaker&#x201a; S. Harris and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 19th ACM Symposium on Applied Computing</em>.
        
                Pages 272&#x2013;279.
            2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2027-abstract.html">
			Details <span class="sr-only" > about <em> An Approach to the Storage of DICOM files for Grid&#x2212;Enabled Medical Imaging Databases  </em></span> </a> |
			<a href="/publications/publication2027.bib">
			BibTeX  <span class="sr-only" > data for <em> An Approach to the Storage of DICOM files for Grid&#x2212;Enabled Medical Imaging Databases  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[97] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            eDiaMoND: challenges for the e&#x2212;scientist in the e&#x2212;health domain </strong> </p>
	    <p class="publicationAuthors"> <em> S. Lloyd&#x201a; A.&#xa0;C. Simpson&#x201a; D.&#xa0;J. Gavaghan and J.&#xa0;M. Brady  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2004 UK e&#x2212;Science All Hands Meeting</em>.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2038-abstract.html">
			Details <span class="sr-only" > about <em> eDiaMoND: challenges for the e&#x2212;scientist in the e&#x2212;health domain  </em></span> </a> |
			<a href="/publications/publication2038.bib">
			BibTeX  <span class="sr-only" > data for <em> eDiaMoND: challenges for the e&#x2212;scientist in the e&#x2212;health domain  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[98] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Digital mammography: a world without film? </strong> </p>
	    <p class="publicationAuthors"> <em> S. Lloyd&#x201a; M. Jirotka&#x201a; A.&#xa0;C. Simpson&#x201a; R.&#xa0;P. Highnam&#x201a; D.&#xa0;J. Gavaghan&#x201a; D. Watson and J.&#xa0;M. Brady  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of HealthGrid 2004&#x201a; Claremont&#x201a; France</em>.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2041-abstract.html">
			Details <span class="sr-only" > about <em> Digital mammography: a world without film?  </em></span> </a> |
			<a href="/publications/publication2041.bib">
			BibTeX  <span class="sr-only" > data for <em> Digital mammography: a world without film?  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[99] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Integrative Biology: exploiting e&#x2212;Science to combat fatal diseases </strong> </p>
	    <p class="publicationAuthors"> <em> D.J. Gavaghan&#x201a; S. Lloyd&#x201a; D.&#xa0;R.&#xa0;S. Boyd&#x201a; P.&#xa0;W. Jeffreys&#x201a; A.&#xa0;C. Simpson&#x201a; D.&#xa0;F. Mac Randal&#x201a; L. Sastry and K. Kleese van Dam  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2004 UK e&#x2212;Science All Hands Meeting</em>.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2053-abstract.html">
			Details <span class="sr-only" > about <em> Integrative Biology: exploiting e&#x2212;Science to combat fatal diseases  </em></span> </a> |
			<a href="/publications/publication2053.bib">
			BibTeX  <span class="sr-only" > data for <em> Integrative Biology: exploiting e&#x2212;Science to combat fatal diseases  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[100] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Teaching Formal Methods in Context </strong> </p>
	    <p class="publicationAuthors"> <em> J.&#xa0;W. Davies&#x201a; A.&#xa0;C. Simpson and A.&#xa0;P. Martin  </em> </p>
	
	<p class="publicationDetails"> 
            In C.&#xa0;N. Dean and R.&#xa0;F. Boute, editors,
             
            <em>
            Proceedings of CoLogNet / Formal Methods Europe Symposium on Teaching Formal Methods 2004</em>.
        
            Vol. 3294
                of Lecture Notes in Computer Science.
        
                Pages 186&#x2013;202.
            Springer.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2056-abstract.html">
			Details <span class="sr-only" > about <em> Teaching Formal Methods in Context  </em></span> </a> |
			<a href="/publications/publication2056.bib">
			BibTeX  <span class="sr-only" > data for <em> Teaching Formal Methods in Context  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[101] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            eDiaMoND: the UK's national digital mammography database </strong> </p>
	    <p class="publicationAuthors"> <em> J.&#xa0;M. Brady&#x201a; F. Gilbert&#x201a; S. Lloyd&#x201a; M. Jirotka&#x201a; D.&#xa0;J. Gavaghan&#x201a; A.&#xa0;C. Simpson&#x201a; R.&#xa0;P. Highnam&#x201a; T. Bowles&#x201a; D. Schottlander&#x201a; D. McCabe&#x201a; D. Watson&#x201a; B. Collins&#x201a; J. Williams&#x201a; A. Knox&#x201a; M. Oevers and P. Taylor  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of IWDM 2004</em>.
        2004.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2062-abstract.html">
			Details <span class="sr-only" > about <em> eDiaMoND: the UK's national digital mammography database  </em></span> </a> |
			<a href="/publications/publication2062.bib">
			BibTeX  <span class="sr-only" > data for <em> eDiaMoND: the UK's national digital mammography database  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[102] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Generalizing the Z Schema Calculus: Database Schemas and Beyond </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;P. Martin and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 10th Asia&#x2212;Pacific Software Engineering Conference (APSEC 2003)</em>.
        
                Pages 28&#x2013;37.
            IEEE.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9264-abstract.html">
			Details <span class="sr-only" > about <em> Generalizing the Z Schema Calculus: Database Schemas and Beyond  </em></span> </a> |
			<a href="/publications/publication9264.bib">
			BibTeX  <span class="sr-only" > data for <em> Generalizing the Z Schema Calculus: Database Schemas and Beyond  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[103] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the supervision and assessment of part&#x2212;time postgraduate software engineering projects </strong> </p>
	    <p class="publicationAuthors"> <em> A&#xa0;C. Simpson&#x201a; A.&#xa0;P. Martin&#x201a; J. Gibbons&#x201a; J.&#xa0;W. Davies and S.&#xa0;W. McKeever  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 25th International Conference on Software Engineering (ICSE)&#x201a; Portland&#x201a; Oregon&#x201a; 3&#x2013;10 May&#x201a; 2003</em>.
        
                Pages 628&#x2013;633.
            IEEE Computer Society Press.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2008-abstract.html">
			Details <span class="sr-only" > about <em> On the supervision and assessment of part&#x2212;time postgraduate software engineering projects  </em></span> </a> |
			<a href="/publications/publication2008.bib">
			BibTeX  <span class="sr-only" > data for <em> On the supervision and assessment of part&#x2212;time postgraduate software engineering projects  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[104] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Supplementing the understanding of Z: a formal approach to database design </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson and A.&#xa0;P. Martin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the BCS Teaching Formal Methods workshop</em>.
        BCS.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2009-abstract.html">
			Details <span class="sr-only" > about <em> Supplementing the understanding of Z: a formal approach to database design  </em></span> </a> |
			<a href="/publications/publication2009.bib">
			BibTeX  <span class="sr-only" > data for <em> Supplementing the understanding of Z: a formal approach to database design  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[105] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            An approach to the storage of DICOM files for grid&#x2212;enabled medical imaging databases </strong> </p>
	    <p class="publicationAuthors"> <em> D.&#xa0;J. Power&#x201a; E.&#xa0;A. Politou&#x201a; M.&#xa0;A. Slaymaker&#x201a; S. Harris and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2003 UK e&#x2212;Science All Hands Meeting</em>.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2028-abstract.html">
			Details <span class="sr-only" > about <em> An approach to the storage of DICOM files for grid&#x2212;enabled medical imaging databases  </em></span> </a> |
			<a href="/publications/publication2028.bib">
			BibTeX  <span class="sr-only" > data for <em> An approach to the storage of DICOM files for grid&#x2212;enabled medical imaging databases  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[106] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Grid computing for digital mammography </strong> </p>
	    <p class="publicationAuthors"> <em> J.&#xa0;M. Brady&#x201a; D.&#xa0;J. Gavaghan&#x201a; R.&#xa0;P. Highnam&#x201a; A. Knox&#x201a; S. Lloyd&#x201a; A.&#xa0;C. Simpson and D. Watson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2003 UK e&#x2212;Science All Hands Meeting</em>.
        2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2065-abstract.html">
			Details <span class="sr-only" > about <em> Grid computing for digital mammography  </em></span> </a> |
			<a href="/publications/publication2065.bib">
			BibTeX  <span class="sr-only" > data for <em> Grid computing for digital mammography  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[107] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Climate<em>prediction</em>.net: design principles for public resource modelling research </strong> </p>
	    <p class="publicationAuthors"> <em> D. Stainforth&#x201a; J. Kettleborough&#x201a; A.&#xa0;P. Martin&#x201a; A.&#xa0;C. Simpson&#x201a; R. Gillis&#x201a; A. Akkas&#x201a; R. Gault&#x201a; M. Collins&#x201a; D.&#xa0;J. Gavaghan and M. Allen  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proc. 14th IASTED conference on parallel and distributed computing systems.</em>.
        2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1991-abstract.html">
			Details <span class="sr-only" > about <em> Climate<em>prediction</em>.net: design principles for public resource modelling research  </em></span> </a> |
			<a href="/publications/publication1991.bib">
			BibTeX  <span class="sr-only" > data for <em> Climate<em>prediction</em>.net: design principles for public resource modelling research  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[108] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            climate<em>prediction</em>.com: security and design planning </strong> </p>
	    <p class="publicationAuthors"> <em> D. Stainforth&#x201a; J.&#xa0;A. Kettleborough&#x201a; A.&#xa0;P. Martin&#x201a; A.&#xa0;C. Simpson&#x201a; A.&#xa0;P. Martin&#x201a; R. Gillis&#x201a; A. Akkas&#x201a; R. Gault&#x201a; M. Collins&#x201a; D.&#xa0;J. Gavaghan and M. Allen  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2002 UK e&#x2212;Science All Hands Meeting</em>.
        2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1992-abstract.html">
			Details <span class="sr-only" > about <em> climate<em>prediction</em>.com: security and design planning  </em></span> </a> |
			<a href="/publications/publication1992.bib">
			BibTeX  <span class="sr-only" > data for <em> climate<em>prediction</em>.com: security and design planning  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[109] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            eDiamond: Digital Mammography </strong> </p>
	    <p class="publicationAuthors"> <em> J.&#xa0;M. Brady&#x201a; D.&#xa0;J. Gavaghan&#x201a; R.&#xa0;P. Highnam&#x201a; M. Mulet&#x2212;Parada and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2002 UK e&#x2212;Science All Hands Conference</em>.
        2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2064-abstract.html">
			Details <span class="sr-only" > about <em> eDiamond: Digital Mammography  </em></span> </a> |
			<a href="/publications/publication2064.bib">
			BibTeX  <span class="sr-only" > data for <em> eDiamond: Digital Mammography  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[110] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            BSP in CSP: Easy as ABC </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; J.&#xa0;M.&#xa0;D. Hill and S.&#xa0;R. Donaldson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Fourth International Workshop on Formal Methods for Parallel Programming: Theory and Applications&#x201a; San Juan&#x201a; Puerto Rico&#x201a; April 1999</em>.
        
                Pages 1299&#x2013;1313.
            Springer.
        1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2010-abstract.html">
			Details <span class="sr-only" > about <em> BSP in CSP: Easy as ABC  </em></span> </a> |
			<a href="/publications/publication2010.bib">
			BibTeX  <span class="sr-only" > data for <em> BSP in CSP: Easy as ABC  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[111] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Model Checking for Interlocking Safety </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 2nd FMERail Seminar&#x201a; 15&#x2013;16 October 1998&#x201a; London&#x201a; United Kingdom</em>.
        1998.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9260-abstract.html">
			Details <span class="sr-only" > about <em> Model Checking for Interlocking Safety  </em></span> </a> |
			<a href="/publications/publication9260.bib">
			BibTeX  <span class="sr-only" > data for <em> Model Checking for Interlocking Safety  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[112] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Security management via Z and CSP </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson&#x201a; J.&#xa0;W. Davies and J.&#xa0;C.&#xa0;P. Woodcock  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Formal Methods Pacific '98&#x201a; Canberra&#x201a; Australia&#x201a; 29 September &#x2013; 2 October&#x201a; 1998</em>.
        
                Pages 334&#x2013;351.
            Springer Series in Discrete Mathematics and Theoretical Computer Science.
        1998.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2011-abstract.html">
			Details <span class="sr-only" > about <em> Security management via Z and CSP  </em></span> </a> |
			<a href="/publications/publication2011.bib">
			BibTeX  <span class="sr-only" > data for <em> Security management via Z and CSP  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[113] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Novel Data Mining Tool for ATM Networks </strong> </p>
	    <p class="publicationAuthors"> <em> K.&#xa0;E. Burn&#x2212;Thornton&#x201a; D.&#xa0;M. Cattrall and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of IEE conference on Data Mining</em>.
        1996.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2060-abstract.html">
			Details <span class="sr-only" > about <em> A Novel Data Mining Tool for ATM Networks  </em></span> </a> |
			<a href="/publications/publication2060.bib">
			BibTeX  <span class="sr-only" > data for <em> A Novel Data Mining Tool for ATM Networks  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[114] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Polymorphic Functions for Data Mining in an ATM Network </strong> </p>
	    <p class="publicationAuthors"> <em> K.&#xa0;E. Burn&#x2212;Thornton&#x201a; D.&#xa0;M. Cattrall and A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 4th IFIP conference on ATM Networks</em>.
        1996.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2061-abstract.html">
			Details <span class="sr-only" > about <em> Polymorphic Functions for Data Mining in an ATM Network  </em></span> </a> |
			<a href="/publications/publication2061.bib">
			BibTeX  <span class="sr-only" > data for <em> Polymorphic Functions for Data Mining in an ATM Network  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[115] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Railway Signalling as a case study in Safety through Determinism </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Aspect 1995</em>.
        Institution of Railway Signal Engineers.
        1995.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9255-abstract.html">
			Details <span class="sr-only" > about <em> Railway Signalling as a case study in Safety through Determinism  </em></span> </a> |
			<a href="/publications/publication9255.bib">
			BibTeX  <span class="sr-only" > data for <em> Railway Signalling as a case study in Safety through Determinism  </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>
            Towards an effective PIA&#x2212;based Risk Analysis: An Approach for Analysing Potential Privacy Risks </strong> </p>
	    <p class="publicationAuthors"> <em> Majed Alshammari and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            No. RR&#x2212;18&#x2212;01.
        Department of Computer Science.
        Oxford&#x201a; UK.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11663-abstract.html">
			Details <span class="sr-only" > about <em> Towards an effective PIA&#x2212;based Risk Analysis: An Approach for Analysing Potential Privacy Risks  </em></span> </a> |
			<a href="/publications/publication11663.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards an effective PIA&#x2212;based Risk Analysis: An Approach for Analysing Potential Privacy Risks  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/9682/CS-RR-18-01%20Report.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Towards an effective PIA&#x2212;based Risk Analysis: An Approach for Analysing Potential Privacy Risks  </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>
            Personal Data Management for Privacy Engineering: An Abstract Personal Data Lifecycle Model </strong> </p>
	    <p class="publicationAuthors"> <em> Majed Alshammari and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            No. CS&#x2212;RR&#x2212;17&#x2212;02.
        Department of Computer Science.
        Oxford UK.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10942-abstract.html">
			Details <span class="sr-only" > about <em> Personal Data Management for Privacy Engineering: An Abstract Personal Data Lifecycle Model  </em></span> </a> |
			<a href="/publications/publication10942.bib">
			BibTeX  <span class="sr-only" > data for <em> Personal Data Management for Privacy Engineering: An Abstract Personal Data Lifecycle Model  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/8946/CS-RR-17-02.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Personal Data Management for Privacy Engineering: An Abstract Personal Data Lifecycle Model  </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>
            Whither the privacy breach case studies? </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            No. RR&#x2212;16&#x2212;06.
        Department of Computer Science.
        Oxford&#x201a; UK.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10481-abstract.html">
			Details <span class="sr-only" > about <em> Whither the privacy breach case studies?  </em></span> </a> |
			<a href="/publications/publication10481.bib">
			BibTeX  <span class="sr-only" > data for <em> Whither the privacy breach case studies?  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/8239/CS-RR-16-06%20-%20Merged.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Whither the privacy breach case studies?  </em></span>

					    </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>
            Towards a Principled Approach for Engineering Privacy by Design </strong> </p>
	    <p class="publicationAuthors"> <em> Majed Alshammari and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            No. RR&#x2212;16&#x2212;05.
        Department of Computer Science.
        Oxford&#x201a; UK.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10480-abstract.html">
			Details <span class="sr-only" > about <em> Towards a Principled Approach for Engineering Privacy by Design  </em></span> </a> |
			<a href="/publications/publication10480.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards a Principled Approach for Engineering Privacy by Design  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/8237/CS-RR-16-05%20-%20Merged.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Towards a Principled Approach for Engineering Privacy by Design  </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>
            On the modelling and analysis of Amazon Web Services access policies </strong> </p>
	    <p class="publicationAuthors"> <em> David Power&#x201a; Mark Slaymaker and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            No. RR&#x2212;09&#x2212;15.
        Oxford University Computing Laboratory.
        November,
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3360-abstract.html">
			Details <span class="sr-only" > about <em> On the modelling and analysis of Amazon Web Services access policies  </em></span> </a> |
			<a href="/publications/publication3360.bib">
			BibTeX  <span class="sr-only" > data for <em> On the modelling and analysis of Amazon Web Services access policies  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/2594/RR-09-15.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> On the modelling and analysis of Amazon Web Services access policies  </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>
            Towards the mechanical verification of moving block signalling systems </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> 
            No. CMS&#x2212;TR&#x2212;99&#x2212;06.
        School of Computing and Mathematical Sciences&#x201a; Oxford Brookes University.
        1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2017-abstract.html">
			Details <span class="sr-only" > about <em> Towards the mechanical verification of moving block signalling systems  </em></span> </a> |
			<a href="/publications/publication2017.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards the mechanical verification of moving block signalling systems  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul><h2>
      Miscellaneous
      </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>
            On Small&#x2212;Scale IT Users' System Architectures and Cyber Security: A UK Case Study </strong> </p>
	    <p class="publicationAuthors"> <em> Emma Osborn and Andrew Simpson  </em> </p>
	
	<p class="publicationDetails"> 2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10911-abstract.html">
			Details <span class="sr-only" > about <em> On Small&#x2212;Scale IT Users' System Architectures and Cyber Security: A UK Case Study  </em></span> </a> |
			<a href="/publications/publication10911.bib">
			BibTeX  <span class="sr-only" > data for <em> On Small&#x2212;Scale IT Users' System Architectures and Cyber Security: A UK Case Study  </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>
            Safety through Security </strong> </p>
	    <p class="publicationAuthors"> <em> A.&#xa0;C. Simpson  </em> </p>
	
	<p class="publicationDetails"> DPhil thesis&#x201a; Oxford University Computing Laboratory.
        1996.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication9257-abstract.html">
			Details <span class="sr-only" > about <em> Safety through Security  </em></span> </a> |
			<a href="/publications/publication9257.bib">
			BibTeX  <span class="sr-only" > data for <em> Safety through Security  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="#">About Us</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/people/">People</a><ul><li class="active"><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/research.html">Research</a></li><li><a href="/people/students.html">Students</a></li><li><a href="/people/support.html">Professional Services</a></li><li><a href="/people/visitingprofessors.html">Visiting Professors</a></li><li><a href="/people/emeritusfaculty.html">Emeritus Faculty</a></li></ul></li><li><a href="/aboutus/vacancies/">Vacancies</a></li><li><a href="/aboutus/women-cs-oxford/index.html">Women in the department</a></li><li><a href="/aboutus/equality-diversity-inclusion/index.html">Equality, diversity and inclusion</a></li><li><a href="https://www.alumniweb.ox.ac.uk/cs/make-a-donation">Support Us</a></li><li><a href="/aboutus/cshistory.html">Our History</a></li><li><a href="/aboutus/contact.html">Contact Us</a></li></ul></div></div></div>[an error occurred while processing this directive]