Academic Centre of Excellence in Cyber Security

Publications

Publications by members of the Southampton Academic Centre of Excellence in Cyber Security for the past year.

Article

2018

González-Diez, Gabino, Jones, Gareth A. and Torres-Teigell, David (2018) Arbitrarily large Galois orbits of non-homeomorphic surfaces. European Journal of Applied Mathematics, 4 (1), 223-241. (doi:10.1007/s40879-017-0203-z).
Atlam, Hany F., Alenezi, Ahmed, Alassafi, Madini O. and Wills, Gary (2018) Blockchain with Internet of Things: Benefits, challenges, and future directions. International Journal of Intelligent Systems and Applications, 10 (6), 40-48. (doi:10.5815/ijisa.2018.06.05).
Beck, Zoltán, Teacy, W. T.Luke, Rogers, Alex and Jennings, Nicholas R. (2018) Collaborative online planning for automated victim search in disaster response. Robotics and Autonomous Systems, 100, 251-266. (doi:10.1016/j.robot.2017.09.014).
Anwar, Arif A. and Richards, David J. (2018) A comparison of EC and ABET Accreditation criteria. Journal of Professional Issues in Engineering Education and Practice. (doi:10.1061/(ASCE)EI.1943-5541.0000364).
Sun, Yan, Hare, Jonathon and Nixon, Mark (2018) Detecting heel strikes for gait analysis through acceleration flow. IET Computer Vision. (doi:10.1049/iet-cvi.2017.0429).
Alkhater, Nouf, Walters, Robert and Wills, Gary (2018) An empirical study of factors influencing cloud adoption among private sector organisations. Telematics and Informatics, 35 (1), 38-54. (doi:10.1016/j.tele.2017.09.017).
Sanchez Garcia, Ruben, Lafont, Jean-Francois, Ortiz, Ivonne and Rham, Alexander (2018) Equivariant K-homology for hyperbolic reflection groups. The Quarterly Journal of Mathematics. (In Press)
Atlam, Hany, Fathy, Walters, Robert and Wills, Gary (2018) Fog computing and the Internet of Things: a review. Big Data and Cognitive Computing, 2 (2). (doi:10.3390/bdcc2020010).
Stalla-Bourdillon, Sophie, Pearce, Henry and Tsakalakis, Niko (2018) The GDPR, A game changer for electronic identification schemes? The case study of Gov.UK Verify. Computer Law & Security Review. (In Press)
Parker, Benjamin, Gilmour, Steven and Koutra, Vasiliki (2018) A graph-theoretic framework for algorithmic design of experiments. Pre-print.
Newman, Russell, Chang, Victor, Walters, Robert J. and Wills, Gary (2018) How to analyze data from unlisted but rich firms: From the perspective of data and analysis. IT Professional, 20 (2), 42-52. (doi:10.1109/MITP.2018.021921650).
Sung, Ming-Chien, Mcdonald, David C.J., Johnson, Johnnie, Tai, Chung Ching and Cheah, Eng-Tuck (2018) Improving prediction market forecasts by detecting and correcting possible over-reaction to price movements. European Journal of Operational Research. (In Press)
Butler, Michael and Schewe, Klaus Dieter (2018) Introduction to the ABZ 2016 Special issue. Science of Computer Programming. (doi:10.1016/j.scico.2018.01.005).
Restocchi, Valerio, McGroarty, Frank, Gerding, Enrico and Johnson, Johnnie E.V. (2018) It takes all sorts: a heterogeneous agent explanation for prediction market mispricing. European Journal of Operational Research, 270 (2), 556-569. (doi:10.1016/j.ejor.2018.04.011).
Costa Sperb, Luis Felipe, Sung, Ming-Chien, Ma, Tiejun and Johnson, Johnnie (2018) Keeping a weather eye on prediction markets: improving forecasts by accounting for environmental conditions. International Journal of Forecasting, 1-39. (In Press)
Sun, Kai, Riedel, Christoph A., Wang, Yudong, Urbani, Alessandro, Simeoni, Mirko, Mengali, Sandro, Zalkovskij, Maksim, Bilenberg, Brian, De Groot, C. H. and Muskens, Otto L. (2018) Metasurface optical solar reflectors using AZO transparent conducting oxides for radiative cooling of spacecraft. ACS Photonics, 52, 495-501. (doi:10.1021/acsphotonics.7b00991).
Salehi Fathabadi, Asieh, Butler, Michael J., Yang, Sheng, Maeda-Nunez, Luis, Bantock, James, Al-Hashimi, Bashir M. and Merrett, Geoff V. (2018) A model-based framework for software portability and verification in embedded power management systems. Journal of Systems Architecture, 82, 12-23. (doi:10.1016/j.sysarc.2017.12.001).
Sai, Gaole, Halak, Basel and Zwolinski, Mark (2018) Multi-path ageing sensor for cost-efficient delay fault prediction. IEEE Transactions on Circuits and Systems Part II: Analog and Digital Signal Processing, 65 (4), 491-495. (doi:10.1109/TCSII.2017.2732028).
Grant, Andrew, Oikonomidis, Anastasios, Bruce, Alistair C. and Johnson, Johnnie E.V. (2018) New entry, strategic diversity and efficiency in soccer betting markets: the creation and suppression of arbitrage opportunities. European Journal of Finance, 1-18. (doi:10.1080/1351847X.2018.1443148).
Brennan, M.J., Karimi, M., Muggleton, J.M., Almeida, F.C.L., Kroll de Lima, F., Ayala, P.C., Obata, D., Paschoalini, A.T. and Kessissoglou, N. (2018) On the effects of soil properties on leak noise propagation in plastic water distribution pipes. Journal of Sound and Vibration, 427, 120-133. (doi:10.1016/j.jsv.2018.03.027).
Huynh, Trung Dong, Ebden, Mark, Fischer, Joel, Roberts, Stephen and Moreau, Luc (2018) Provenance network analytics: An approach to data analytics using data provenance. Data Mining and Knowledge Discovery. (doi:10.1007/s10618-017-0549-3).
Chang, Victor, Wang, Yuanyuan and Wills, Gary (2018) Research investigations on the use or non-use of hearing aids in the smart cities. Technological Forecasting and Social Change. (doi:10.1016/j.techfore.2018.03.002).
Arfaoui, Ghada, Bisson, Pascal, Blom, Rolf, Borgaonkar, Ravishankar, Englund, Håkan, Félix, Edith, Klaedtke, Felix, Nakarmi, Prajwol Kumar, Näslund, Mats, O’Hanlon, Piers, Papay, Juri, Suomalainen, Jani, Surridge, Mike, Wary, Jean-Philippe and Zahariev, Alexander (2018) A security architecture for 5G networks. IEEE Access. (doi:10.1109/ACCESS.2018.2827419).
Kennedy, Henry, Bodnar, Rares, Lee, Teerasak and Redman-White, William (2018) A self-tuning resonant-inductive-link transmit driver using quadrature symmetric delay trimmable phase-switched fractional capacitance. IEEE Journal of Solid State Circuits, 53 (6), 1694 - 1706. (doi:10.1109/JSSC.2018.2810206).
Almudhahka, Nawaf, Yousef, Nixon, Mark and Hare, Jonathon (2018) Semantic face signatures: recognizing and retrieving faces by verbal descriptions. IEEE Transactions on Information Forensics and Security, 13 (3), 706 - 716. (doi:10.1109/TIFS.2017.2765519).
Stevenage, Sarah, Neil, Gregory, Parsons, Beth and Humphreys, Abi (2018) A sound effect: Exploration of the distinctiveness advantage in voice recognition. Applied Cognitive Psychology. (In Press)
Leary, Ian J. (2018) Subgroups of almost finitely presented groups. Mathematische Annalen. (doi:10.1007/s00208-018-1689-5).
Martinho-Corbishley, Daniel, Nixon, Mark and Carter, John (2018) Super-fine attributes with crowd prototyping. IEEE Transactions on Pattern Analysis and Machine Intelligence, 1-14. (doi:10.1109/TPAMI.2018.2836900).
Nguyen, Kien, Fookes, Clinton, Sridharan, Sridha, Tistarelli, Massimo and Nixon, Mark (2018) Super-resolution for biometrics: A comprehensive survey. Pattern Recognition, 78, 23-42. (doi:10.1016/j.patcog.2018.01.002).
Chatzikyriakou, Eleni, Morgan, Katrina and De Groot, Cornelis (2018) Total Ionizing dose hardened and mitigation strategies in deep submicrometer CMOS and beyond. IEEE Transactions on Electron Devices, (99), 1-12. (doi:10.1109/TED.2018.2792305).
Vaughan Williams, Leighton, Sung, Ming, Fraser-Mackenzie, Peter A.F., Peirson, John and Johnson, Johnnie E.V. (2018) Toward an understanding of the origins of the favourite-longshot bias: evidence from online poker markets, a real-money natural laboratory. Economica, 85 (338), 360-382. (doi:10.1111/ecca.12200).
Leary, Ian J. (2018) Uncountably many groups of type FP. Proceedings of the London Mathematical Society. (In Press)
Atlam, Hany, F., Alenezi, Ahmed, Hussein, Raid, Khalid Hussein and Wills, Gary (2018) Validation of an adaptive risk-based access control model for the Internet of Things. International Journal of Computer Network and Information Security, 10 (1), 26-35. (doi:10.5815/ijcnis.2018.01.04).
Sun, Kai, Riedel, Christoph A., Urbani, Alessandro, Simeoni, Mirko, Mengali, Sandro, Zalkovskij, Maksim, Bilenberg, Brian, De Groot, C.H. and Muskens, Otto L. (2018) VO2 thermochromic metamaterial-based smart optical solar reflector. ACS Photonics. (doi:10.1021/acsphotonics.8b00119).
Leary, Ian and Busch, Cornelia (2018) The Yagita invariant of symplectic groups of large rank. arXiv.

Book Section

2018

Cradock, Emma and Stalla-Bourdillon, Sophie (2018) Article 11 of the General Data Protection Regulation. In, Spiecker Döhmann, Indra, Papakonstantinou, Vagelis, Hornung, Gerrit and de Hert, Paul (eds.) Commentary on the General Data Protection Regulation. Nomos. , (In Press)
Cradock, Emma and Stalla-Bourdillon, Sophie (2018) Article 21 of the General Data Protection Regulation. In, Spiecker Döhmann, Indra, Papakonstantinou, Vagelis, Hornung, Gerrit and de Hert, Paul (eds.) Commentary on the General Data Protection Regulation. Nomos. , (In Press)
Cradock, Emma and Stalla-Bourdillon, Sophie (2018) Article 30 of the General Data Protection Regulation. In, Spiecker Döhmann, Indra, Papakonstantinou, Vagelis, Hornung, Gerrit and de Hert, Paul (eds.) Commentary on the General Data Protection Regulation. Nomos. , (In Press)
Papadaki, Evangelia and Stalla-Bourdillon, Sophie (2018) Article 32 of the General Data Protection Regulation. In, Spiecker Döhmann, Indra, Papakonstantinou, Vagelis, Hornung, Gerrit and de Hert, Paul (eds.) Commentary on the General Data Protection Regulation. Nomos. , (In Press)
Tsakalakis, Niko and Stalla-Bourdillon, Sophie (2018) Article 87 of the Generral Data Protection Regulation. In, Spiecker Döhmann, Indra, Papakonstantinou, Vagelis, Hornung, Gerrit and de Hert, Paul (eds.) Commentary on the General Data Protection Regulation. Nomos. , (In Press)
Cradock, Emma and Stalla-Bourdillon, Sophie (2018) Article 89 of the General Data Protection Regulation. In, Spiecker Döhmann, Indra, Papakonstantinou, Vagelis, Hornung, Gerrit and de Hert, Paul (eds.) Commentary on the General Data Protection Regulation. Nomos. , (In Press)
Smart, Paul R. and Shadbolt, Nigel (2018) The World Wide Web. In, Chase, James and Coady, David (eds.) Routledge Handbook of Applied Epistemology. New York, New York, USA. Routledge. ,

Conference or Workshop Item

2018

Almansour, Ibrahem, Abdullah, Gerding, Enrico and Wills, Gary (2018) Automated trading in vehicle-to-grid with price uncertainty using consensus. International Conference on New Energy Vehicle and Vehicle Engineering, Seoul, Korea, Democratic People's Republic of. 26 - 28 Oct 2018. 9 pp, pp. 1-9. (In Press)
Lombardi, Federico, Aniello, Leonardo, De Angelis, Stefano, Margheri, Andrea and Sassone, Vladimiro (2018) A blockchain-based infrastructure for reliable and cost-effective IoT-aided smart grids. Living in the Internet of Things Conference: Cybersecurity of the IoT - A PETRAS, IoTUK & IET Event, London, United Kingdom. 28 - 29 Mar 2018. 6 pp.
West, Peter, Van Kleek, Max, Giordano, Richard, Weal, Mark and Shadbolt, Nigel (2018) Common barriers to the use of patient-generated data across clinical settings. Mandryk, Regan, Hancock, Mark, Perry, Mark and Cox, Anna (eds.) In CHI '18 : Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. ACM. 13 pp. (doi:10.1145/3173574.3174058).
Hoang, Thai Son, Dghaym, Dana, Snook, Colin and Butler, Michael (2018) A composition mechanism for refinement-based methods. 22nd International Conference on Engineering of Complex Computer Systems, Fukuoka, Japan. 05 - 08 Nov 2017. 10 pp. (doi:10.1109/ICECCS.2017.27).
Nicoletti, Luca, Margheri, Andrea, Lombardi, Federico, Sassone, Vladimiro and Schiavo, Francesco Paolo (2018) Cross-cloud management of sensitive data via blockchain: A payslip calculation use case. Ferrari, Elena, Baldi, Marco and Baldoni, Roberto (eds.) In Proceedings of the Second Italian Conference on Cybersecurity: ITASEC18. vol. 2058, CEUR-WS.org. 5 pp.
Dghaym, Dana, Butler, Michael and Salehi Fathabadi, Asieh (2018) Extending ERS for modelling dynamic workflows in Event-B. 22nd International Conference on Engineering of Complex Computer Systems, Fukuoka, Japan. 05 - 08 Nov 2017. 10 pp, pp. 20-29. (doi:10.1109/ICECCS.2017.29).
Almansour, Ibrahem, Abdullah, Gerding, Enrico and Wills, Gary (2018) The feasibility of using V2G to face the peak demand in warm countries. International Conference on Vehicle Technology and Intelligent Transport Systems, funchal madeira, Portugal. 16 - 18 Mar 2018. (In Press)
Alzahrani, Abdullah, Ibrahim A, Alharthi, Abdulrahman, Ayad, Alassafi, Madini, Obad, Albugmi, Ahmed, Nammas, Walters, Robert and Wills, Gary (2018) A framework for gamified E-learning systems acceptance in Saudi Arabian universities. In The IRES -332nd International Conference on E-Education, E- Business, E-Management and E-Learning (IC4E). (In Press)
Guo, Bingchen, Nixon, Mark and Carter, John (2018) Fusion analysis of soft biometrics for recognition at a distance. IEEE International Conference on Identity, Security and Behavior Analysis 2018. 11 - 12 Jan 2018. 8 pp.
Khan, Md. Mosaddek, Tran-Thanh, Long and Jennings, Nicholas (2018) A generic domain pruning technique for GDL-based DCOP algorithms in cooperative multi-agent systems. In 17th International Conference on Autonomous Agents and Multiagent Systems. 9 pp, pp. 1-9.
Grace, Paul, Burns, Daniel, Neumann, Geoffrey, Pickering, Brian, Melas, Panagiotis and Surridge, Michael (2018) Identifying privacy risks in distributed data services: A model-driven approach. IEEE International Conference on Distributed Computing Systems, Vienna, Austria. 02 - 05 Jul 2018. 7 pp. (In Press)
Al-Brashdi, Ahmed, Zahran Nasser, Butler, Michael and Rezazadeh, Abdolbaghi (2018) Incremental database design using UML-B and Event-B. 2nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, Xi'an, China. 16 Nov 2017. 14 pp, pp. 34-47. (doi:10.4204/EPTCS.271.3).
Thomas, Darshana, Snow, Steve, schraefel, m.c. and MIstry, Bhumika (2018) Indoor Air Quality Monitoring (IAQ): A low-cost alternative to CO2 monitoring in comparison to an industry standard device. SAI Computing Conference 2018, London, United Kingdom. 10 - 12 Jul 2018. 8 pp.
Guo, Bingchen, Nixon, Mark and Carter, John (2018) A joint density based rank-score fusion for soft biometric recognition at a distance. ICPR 2018: International Conference on Pattern Recognition 2018, Beijing, China. 20 - 24 Aug 2018. 6 pp.
Khan, Md. Mosaddek, Tran-Thanh, Long, Yeoh, William and Jennings, Nicholas (2018) A near-optimal node-to-agent mapping heuristic for GDL-based DCOP algorithms in multi-agent systems. In 17th International Conference on Autonomous Agents and Multiagent Systems. 9 pp, pp. 1-9.
Manino, Edoardo, Tran-Thanh, Long and Jennings, Nicholas (2018) On the efficiency of data collection for crowdsourced classification. International Joint Conference on Artificial Intelligence, Stockholm, Sweden. 13 - 19 Jul 2018. 8 pp. (In Press)
De Angelis, Stefano, Aniello, Leonardo, Baldoni, Roberto, Lombardi, Federico, Margheri, Andrea and Sassone, Vladimiro (2018) PBFT vs proof-of-authority: applying the CAP theorem to permissioned blockchain. Italian Conference on Cyber Security. 11 pp.
Hoang, Thai Son, Sato, Naoto, Myosin, Tomoyuki, Butler, Michael, Nakagawa, Yuichiroh and Ogawa, Hideto (2018) Policing functions for machine learning systems. Workshop on Verification and Validation of Autonomous Systems: Satellite Workshop of Floc 2018, Oxford, United Kingdom. 18 - 19 Jul 2018. (In Press)
Zhu, Chenyang, Butler, Michael and Cirstea, Corina (2018) Refinement of timing constraints for concurrent tasks with scheduling. Butler, M., Raschke, A., Hoang, T. and Reichl, K. (eds.) In Abstract State Machines, Alloy, B, TLA, VDM, and Z: ABZ 2018. vol. 10817, Springer. 15 pp, pp. 219-233. (doi:10.1007/978-3-319-91271-4).
Dalvandi, Sadegh, Salehi Fathabadi, Asieh and Butler, Michael (2018) A report on PRiME code generation activities. 7th Rodin Workshop, Southampton, United Kingdom. 05 Jun 2018.
Mann, Zoltan Adam, Salant, Eliot, Surridge, Michael, Ayed, Dhouha, Boyle, John, Heisel, Maritta, Metzger, Andreas and Mundt, Paul (2018) Secure data processing in the cloud. In Advances in Service-Oriented and Cloud Computing, ESICC 2017. vol. 824, Springer. pp. 149-153. (doi:10.1007/978-3-319-79090-9_10).
Zhu, Chenyang, Butler, Michael and Cirstea, Corina (2018) Semantics of real-time trigger-response properties in Event-B. The 12th International Symposium on Theoretical Aspects of Software Engineering, Guangzhou, China. 29 - 31 Aug 2018. 6 pp.
Argento, Luciano, Margheri, Andrea, Paci, Federica, Sassone, Vladimiro and Zannone, Nicola (2018) Towards adaptive access control. 32nd Annual IFIP WG 11.3<br/>Conference on Data and Applications Security and Privacy. 10 pp, pp. 1-10.
Al-Brashdi, Ahmed, Zahran Nasser, Butler, Michael and Rezazadeh, Abdolbaghi (2018) UB2DB Rodin plug-in for automated database code generation. 7th Rodin Workshop, Southampton, United Kingdom. 05 Jun 2018. 2 pp, pp. 1-2.
Dalvandi, Sadegh, Salehi Fathabadi, Asieh and Butler, Michael (2018) Using formal methods for automatic platform-independent code generation of run-time management. University Booth at DATE 2018, Dresden, Germany. 19 - 22 Mar 2018.
Atlam, Hany F., Alassafi, Madini O., Alenezi, Ahmed, Walters, Robert and Wills, Gary (2018) XACML for building access control policies in Internet of Things. In Proceedings of the 3rd International Conference on Internet of Things, Big Data and Security: IoTBDS 2018. Scitepress. pp. 253-260. (doi:10.5220/0006725102530260).

Monograph

2018

Massi, Massimiliano, Miladi, Abdallah, Margheri, Andrea, Sassone, Vladimiro and Rosenzweig, Jason (2018) Using PROV and Blockchain to Achieve Health Data Provenance 24pp. ,

Dataset

2018

Muskens, Otto, Riedel, Christoph, Sun, Kai, De Groot, Cornelis and WANG, YUDONG (2018) Dataset for Metasurface optical solar reflectors using AZO transparent conducting oxides for radiative cooling of spacecraft. University of Southampton doi:10.5258/SOTON/D0283 [Dataset]
Sun, Kai, Riedel, Christoph, Urbani, Alessandro, Simeoni, Mirko, Mengali, Sandro, Zalkovskij, Maksim, Bilenberg, Brian, De Groot, Cornelis and Muskens, Otto (2018) Dataset for VO2 thermo-chromic metamaterial-based smart optical solar reflector. University of Southampton doi:10.5258/SOTON/D0446 [Dataset]

Editorial

2018

Saxby, Steve (2018) Editor's foreword. Computer Law & Security Review, 34 (1), 1-2. (doi:10.1016/j.clsr.2018.01.001).
Saxby, Steve (2018) New member of the CLSR editorial board. Computer Law & Security Review, 34 (2), 192. (doi:10.1016/j.clsr.2018.01.006).

To see a full list of publications earlier than the past year, see Earlier Publications.