The University of Southampton
×
Filter your search:
Cyber Security Research Group

Publications

Cyber Security publications are listed in the University of Southampton EPrints repository, many with the full text available to read online.

Search Cyber Security publications

Browse all Cyber Security publications

Recent Cyber Security Publications

SMT-based refutation of spurious bug reports in the clang static analyzer - Mikhail R. Gadelha, Enrico Steffinlongo, Lucas Cordeiro, Bernd Fischer and Denis Nicole
Type: Conference or Workshop Item | 2019 | IEEE Press | Item availability restricted.
Preemptive type checking - Neville Grech, Bernd Fischer and Julian Rathke
Type: Article | 2018
Towards adaptive access control - Luciano Argento, Andrea Margheri, Federica Paci, Vladimiro Sassone and Nicola Zannone
Type: Conference or Workshop Item | 2018 | Springer
Using PROV and Blockchain to Achieve Health Data Provenance - Massimiliano Massi, Abdallah Miladi, Andrea Margheri, Vladimiro Sassone and Jason Rosenzweig
Type: Monograph | 2018
The GDPR: A game changer for electronic identification schemes? The case study of Gov.UK Verify - Sophie Stalla-Bourdillon, Henry Pearce and Niko Tsakalakis
Type: Article | 2018
Tutorial: cloud-based data stream processing - Thomas Heinze, Leonardo Aniello, Leonardo Querzoni and Zbigniew Jerzak
Type: Conference or Workshop Item | 2014
An architecture for automatic scaling of replicated services - Leonardo Aniello, Silvia Bonomi, Federico Lombardi, Alessandro Zelli and Roberto Baldoni
Type: Conference or Workshop Item | 2014 | Springer
The Good, the Bad and the Ugly: A Study of Security Decisions in a Cyber-Physical Systems Game - Sylvain Frey, Awais Rashid, Pauline Anthonysamy, Maria Pinto-Albuquerque and Syed Asad Naqvi
Type: Article | 2017 | Item not available on this server.
A blockchain-based infrastructure for reliable and cost-effective IoT-aided smart grids - Federico Lombardi, Leonardo Aniello, Stefano De Angelis, Andrea Margheri and Vladimiro Sassone
Type: Conference or Workshop Item | 2018
Encoding floating-point numbers using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks - Mikhail Y.R. Gadelha, Lucas C. Cordeiro and Denis A. Nicole
Type: Conference or Workshop Item | 2017 | Springer International Publishing