Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=ukri________::e17d4023a385570332c825e9286aa46c&type=result"></script>');
-->
</script>
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=ukri________::e17d4023a385570332c825e9286aa46c&type=result"></script>');
-->
</script>
Please refer to ATLAS-UK Upgrade Proposal submitted to PPRP (September 2012 meeting): "Upgrading the ATLAS Experiment for the Luminosity Frontier at the Large Hadron Collider"
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=ukri________::68d02757af9755e0a00308075e06ff70&type=result"></script>');
-->
</script>
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=ukri________::68d02757af9755e0a00308075e06ff70&type=result"></script>');
-->
</script>
Project aims to use formal methods techniques, in particular formal verification, to investigate various protocols and systems to provide assurances of the required security properties, or otherwise find security issues. During the thesis, alongside case studies there should be contribution to improving the tools/techniques available for performing such analyses, in particular improving the DY* framework to allow a wider range of protocols to be more easily analysed under the symbolic model.
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=ukri________::27efbf2dfa441f08aad595ea112747da&type=result"></script>');
-->
</script>
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=ukri________::27efbf2dfa441f08aad595ea112747da&type=result"></script>');
-->
</script>
See 'ATLAS Upgrade project', previously submitted to the PPRP.
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=ukri________::9f39981202e16e4105b70e900d3b82b1&type=result"></script>');
-->
</script>
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=ukri________::9f39981202e16e4105b70e900d3b82b1&type=result"></script>');
-->
</script>
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=corda_______::8119a28a1904ac5c009a2932ecf62614&type=result"></script>');
-->
</script>
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=corda_______::8119a28a1904ac5c009a2932ecf62614&type=result"></script>');
-->
</script>