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

2017

Stalla-Bourdillon, Sophie, Rosati, Eleonora, Turk, Karmen, Angelopoulos, Christina, Kuczerawy, Aleksandra, Peguera, Miquel and Husovec, Martin (2017) An academic perspective on the copyright reform Computer Law & Security Review, 33, (1), pp. 3-13. (doi:10.1016/j.clsr.2016.12.003).
Morgan, K.A., Fan, J., Huang, R., Zhong, L., Gowers, R., Ou, J.-Y., Jiang, L. and de Groot, C.H. (2017) Active counter electrode in a-SiC electrochemical metallization memory Journal of Physics D: Applied Physics
Alotaibi, Hanan, Crowder, Richard and Wills, Gary (2017) Adoption of Web based Knowledge Sharing system amongst Academic Staff Journal of Advanced Management Science, 5, (1), pp. 57-63.
Fan, Junqing, Jiang, Liudi, Wang, Shuncai, Huang, Ruomeng, Morgan, Katrina, Zhong, Le and de Groot, Kees (2017) Amorphous SiC resistive memory with embedded Cu nanoparticles [in special issue: Micro/Nano Devices and Systems Edited by Bernhard Jakoby and Roman Beigelbeck] Microelectronic Engineering, 174, pp. 1-5. (doi:10.1016/j.mee.2016.12.005).
Alqahtani, Asma, Abdullah Jarullah Aljarullah, Crowder, Richard and Wills, Gary (2017) Barriers to the adoption of EHR systems in the Kingdom of Saudi Arabia: an exploratory study using a systematic literature review Journal of Health Informatics in Developing Countries, 11, (2)
Akhtar, Zahid, Hadid, Abdenour, Nixon, Mark, Tistarelli, Massimo, Dugelay, Jean-Luc and Marcel, Sebastien (2017) Biometrics: in search of identity and security: (Q & A) IEEE MultiMedia
Lee, Teerasak, Kennedy, Henry, Bodnar, Rares and Redman-White, William (2017) A CMOS MF energy harvesting and data demodulator receiver for wide area low duty cycle applications with 250 mV start-up voltage Analog Integrated Circuits and Signal Processing, p. 13. (doi:10.1007/s10470-017-1000-9).
Huang, Ruomeng, Yan, Xingzhao, Ye, Sheng, Kashtiban, Reza J., Beanland, Richard, Morgan, Katrina A., Charlton, Martin D.B. and de Groot, C.H. (2017) Compliance-free ZrO2/ZrO2−x/ZrO2 resistive memory with controllable interfacial multistate switching behaviour Nanoscale Research Letters, 12, (384) (doi:10.1186/s11671-017-2155-0).
Banach, Richard, Butler, Michael, Qin, Shengchao and Zhu, Huibao (2017) Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines Science of Computer Programming, 139, pp. 1-35. (doi:10.1016/j.scico.2016.12.003).
Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2017) Derivation of algorithmic control structures in Event-B refinement Science of Computer Programming
Degrijse, Dieter and Leary, Ian J. (2017) Equivariant vector bundles over classifying spaces for proper actions Algebraic & Geometric Topology, 17, (1), pp. 131-156. (doi:10.2140/agt.2017.17.131).
Mcgee, Richard and Johnson, Johnnie (2017) Everyone's a winner: the market impact of technologically advantaged agents Economics Letters
Alharthi, Abdulrahman, Alassafi, Madini, Wills, Gary and Walters, Robert (2017) An exploratory study for investigating the critical success factors for cloud migration in the Saudi Arabian higher education context Telematics and Informatics, 34, (2), pp. 664-678. (doi:10.1016/j.tele.2016.10.008).
Alassafi, Madini O., Alharthi, Abdulrahman, Walters, Robert J. and Wills, Gary B. (2017) A framework for critical security factors that influence the decision of cloud adoption by Saudi government agencies Telematics and Informatics, 31, (5) (doi:10.1016/j.tele.2017.04.010).
Thorburn, Robert, Stalla-Bourdillon, Sophie and Rosati, Eleonora (2017) iCLIC Data Mining and Data Sharing workshop: the present and future of data mining and data sharing in the EU Computer Law & Security Review, pp. 1-9. (doi:10.1016/j.clsr.2016.12.004).
Restocchi, Valerio, Mcgroarty, Frank, Gerding, Enrico and Johnson, Johnnie (2017) The impact of transaction costs on state-contingent claims mispricing Finance Research Letters (doi:10.1016/j.frl.2017.02.006).
Jeamwatthanachai, Watthanasak, Wald, Michael and Wills, Gary (2017) Map data representation for indoor navigation by blind people International Journal of Chaotic Computing, 4, (1), pp. 70-78. (doi:10.20533/ijcc.2046.3359.2016.0009).
Stein, Sebastian, Gerding, Enrico, Nedea, Adrian, Rosenfeld, Avi and Jennings, Nicholas (2017) Market interfaces for electric vehicle charging Journal of Artificial Intelligence Research, 59, pp. 175-227.
Wang, Lei, Coombs, William M., Augarde, Charles E., Brown, Michael, Knappett, Jonathan, Brennan, Andrew, Richards, David and Blake, Anthony (2017) Modelling screwpile installation using the MPM Physics Procedia, 175, (1), pp. 124-132. (doi:10.1016/j.proeng.2017.01.040).
Riedel, Christoph A., Sun, Kai, Muskens, Otto L. and De Groot, Kees (2017) Nanoscale modeling of electro-plasmonic tunable devices for modulators and metasurfaces Optics Express, 25, (9), p. 10031. (doi:10.1364/OE.25.010031).
Kontogeorgaki, Styliani, Sanchez Garcia, Ruben, Zygalakis, Konstantinos, Ewing, Robert and Macarthur, Benjamin (2017) Noise-processing by signaling networks Author's Original, 7 (doi:10.1038/s41598-017-00659-x).
Rosa Marreiros, Helia, Tonin, Mirco, Vlassopoulos, Michael and Schraefel, Monica (2017) “Now that you mention it”: a survey experiment on information, inattention and online privacy Journal of Economic Behavior & Organization (doi:10.1016/j.jebo.2017.03.024).
Leary, Ian J. and Petrosyan, Nansen (2017) On dimensions of groups with cocompact classifying spaces for proper actions Advances in Mathematics, 311, pp. 730-747. (doi:10.1016/j.aim.2017.03.008).
Hamadou, Sardouna, Palamidessi, Catuscia and Sassone, Vladimiro (2017) Quantifying leakage in the presence of unreliable sources of information Journal of Computer and System Sciences, 88, pp. 27-52. (doi:10.1016/j.jcss.2017.03.013).
Huang, Ruomeng, Yan, Xingzhao, Morgan, Katrina A., Charlton, Martin D.B. and De Groot, C.H. (Kees) (2017) Selection by current compliance of negative and positive bipolar resistive switching behaviour in ZrO2−x/ZrO2 bilayer memory Journal of Physics D: Applied Physics, 50, (17) (doi:10.1088/1361-6463/aa64bc).
Ma, Tiejun and Mcgroarty, Frank (2017) Social Machines: How recent technological advances have aided financialisation Journal of Information Technology, pp. 1-16.
Chatzikyriakou, Eleni, Potter, Kenneth and De Groot, Cornelis (2017) A systematic method for simulating total ionizing dose effects using the finite elements method Journal of Computational Electronics, pp. 1-8. (doi:10.1007/s10825-017-1027-2).
Moreau, Luc, Batlajery, Belfrit Victor, Huynh, Dong, Michaelides, Danius and Packer, Heather (2017) A templating system to generate provenance IEEE Transactions on Software Engineering
Hoang, Son, Voisin, Laurent, Salehi Fathabadi, Asieh, Butler, Michael, Wilkinson, Toby and Beauger, Nicolas (2017) Theory plug-in for Rodin 3.x Computing Research Repository, abs/1701.08625, pp. 1-9.
Hussein, Raid Khalid, Alenezi, Ahmed, Atlam, Hany F., Mohammed, Mohammed Q., Walters, Robert J. and Wills, Gary B. (2017) Toward confirming a framework for securing the virtual machine image in cloud computing Advances in Science, Technology and Engineering Systems Journal, 2, (4), pp. 44-50.
Nixon, Mark, Guo, Bingchen, Stevenage, Sarah, Jaha, Emad, Almudhahka, Nawaf and Martinho-Corbishley, Daniel (2017) Towards automated eyewitness descriptions: describing the face, body and clothing for recognition Visual Cognition (doi:10.1080/13506285.2016.1266426).
Stevenage, Sarah, Bennett, Alice and Pitfield, Christy (2017) Training and performance measures for novices to the area of fingerprint analysis Forensic Science International (doi:10.1016/j.dib.2017.06.036).
Leary, Ian J. (2017) Uncountably many groups of type FP Author's Original, pp. 1-35.
Selmo, David, Sturt, Fraser, Miles, James, Edward, Basford, Philip, Malzbender, Tom, Martinez, Kirk, Thompson, Charlie, Earl, Graeme and Bevan, George (2017) Underwater reflectance transformation imaging: a technology for in situ underwater cultural heritage object-level recording Journal of Electronic Imaging, 26, (1) (doi:10.1117/1.JEI.26.1.011029).

Book Section

2017

Stalla-Bourdillon, Sophie (2017) Internet intermediaries as responsible actors? Why it is time to rethink the e-Commerce Directive as well… In, Floridi, Luciano and Taddeo, Mariarosaria (eds.) The Responsibilities of Online Service Providers. Cham, CH, Springer International Publishing (Law, Governance and Technology Series, 31).
Aaber, Zeyad, Sabah, Wills, Gary B. and Crowder, Richard M. (2017) Protecting Document Outside Enterprise Network: A Confirmed Framework In, Chang, Victor, Ramachandran, Muthu, Walters, Robert J. and Wills, Gary (eds.) Enterprise Security: Second International Workshop, ES 2015, Vancouver, BC, Canada, November 30 – December 3, 2015, Revised Selected Papers. Cham, Springer International Publishing pp. 259-275. (doi:10.1007/978-3-319-54380-2_12).
Butler, Michael (2017) Reasoned modelling with Event-B In, Bowen, Jonathan P., Liu, Zhiming and Zhang, Zili (eds.) Engineering Trustworthy Software Systems. Heidelberg, DE, Springer pp. 51-109. (Lecture Notes in Computer Science, 10215). (doi:10.1007/978-3-319-56841-6).
Alassafi, Madini, Obad, Hussein, Raid, Khalid Hussein, Wills, Gary, Gashgari, Ghada, Abdalaziz A and Walters, Robert (2017) Security in organisations: governance, risks and vulnerabilities in moving to the cloud In, Chang, V., Ramachandran, M., Walters, R. and Wills, G. (eds.) Enterprise Security: Second International Workshop, ES 2015, Vancouver, BC, Canada, November 30 – December 3, 2015, Revised Selected Papers. Cham, Switzerland, Springer International Publishing (Lecture Notes in Computer Science, 10131). (doi:10.1007/978-3-319-54380-2_11).
Yahya, Fara, Walters, Robert J. and Wills, Gary B. (2017) Using Goal-Question-Metric (GQM) approach to assess security in cloud storage In, Chang, Victor, Ramachandran, M., Walters, R. and Wills, Gary (eds.) Enterprise Security. Springer pp. 223-240. (Lecture Notes in Computer Science, 10131). (doi:10.1007/978-3-319-54380-2_10).

Conference or Workshop Item

2017

Duan, Shengyu, Halak, Basel and Zwolinski, Mark (2017) An ageing-aware Digital Synthesis Approach In 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design: SMACD 2017. IEEE..
Almansour, Ibrahem, Abdullah, Gerding, Enrico and Wills, Gary (2017) An Agent Trading on Behalf of V2G Drivers in a Day-Ahead Price Market At International Conference on Vehicle Technology and Intelligent Transport Systems, Porto, Portugal. 22 - 24 Apr 2017. 7 pp.
Snook, Colin, Hoang, Thai Son and Butler, Michael (2017) Analysing security protocols using refinement in iUML-B At 9th NASA Formal Methods Symposium, Moffett Field, CA, United States. 16 - 18 May 2017. 15 pp, pp. 84-98.
Pruna, Radu, Polukarov, Maria and Jennings, Nicholas (2017) An asset pricing model with loss aversion and its stylized facts At IEEE SSCI 2016, Greece. 06 - 09 Dec 2016. 8 pp. (doi:10.1109/SSCI.2016.7850003).
Baarslag, Tim, Alper, Alan, Gomer, Richard, Alam, Muddasser, Charith, Perera, Gerding, Enrico and schraefel, m.c. (2017) An automated negotiation agent for permission management At AAMAS 2017, Sao Paulo, Brazil. 08 - 12 May 2017. 8 pp.
Almudhahka, Nawaf, Yousef, Nixon, Mark and Hare, Jonathon (2017) Automatic semantic face recognition At The 12th IEEE International Conference on Automatic Face and Gesture Recognition, Washington, United States. 30 May - 03 Jun 2017.
Gaetani, Edoardo, Aniello, Leonardo, Baldoni, Roberto, Lombardi, Federico, Margheri, Andrea and Sassone, Vladimiro (2017) Blockchain-based database to ensure data integrity in cloud computing environments At Italian Conference on Cybersecurity. 17 - 20 Jan 2017. 10 pp.
Hoang, Thai Son, Snook, Colin, Dghaym, Dana and Butler, Michael (2017) Class diagrams for Abstract Data Types At The 14th International Colloquium on Theorectical Aspect of Computing, Hanoi, Viet Nam. 23 - 27 Oct 2017. 18 pp.
Yahya, Fara, Walters, Robert J and Wills, Gary B (2017) Clustering goal-driven security factors for protecting data in cloud storage using Exploratory Factor Analysis (EFA): an empirical study In Proceedings of the 7th International Conference on Cloud Computing and Services Science. vol. 1 - CLOSER, INSTICC. 482 pp, p. 475. (doi:10.5220/0006302304750482).
Cobos, Ruth, Wilde, Adriana and Zaluska, Ed (2017) Comparing attrition prediction in FutureLearn and edX MOOCs At FutureLearn Workshop in Learning Analytics and Knowledge 2017 (LAK17), Canada. 13 - 17 Mar 2017. 20 pp.
Hoang, Thai Son, Dghaym, Dana, Snook, Colin and Butler, Michael (2017) A composition mechanism for refinement-based methods At 22nd International Conference on Engineering of Complex Computer Systems, Fukuoka, Japan. 05 - 08 Nov 2017. 10 pp.
NGUYEN, TRUC L, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2017) Concurrent program verification with Lazy sequentialization and interval analysis In The 5th Edition of The International Conference on Networked sYStems. Springer. 15 pp, pp. 255-271. (doi:10.1007/978-3-319-59647-1_20).
Redman-White, William, Bodnar, Rares and Kennedy, Henry (2017) Continuous tuning of inductive link antennae with zero voltage switched fractional capacitance At 59th IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2016, Abu Dhabi, United Arab Emirates. 16 - 19 Oct 2016.
Sai, Gaole, Halak, Basel and Zwolinski, Mark (2017) A cost-efficient delay-fault monitor In IEEE International Symposium on Circuits and Systems: ISCAS 2017. IEEE. 4 pp.
Ferdous, Md Sadek, Margheri, Andrea, Paci, Federica, Yang, Mu and Sassone, Vladimiro (2017) Decentralised runtime monitoring for access control systems in cloud federations At IEEE International Conference on Distributed Computing, Atlanta, United States. 05 - 08 Jun 2017.
Atlam, Hany F., Wills, Gary B., Walters, Robert J., Alenezi, Ahmed and Daniel, Joshua (2017) Developing an adaptive Risk-based access control model for the Internet of Things In 10th IEEE International conference on Internet of Things (iThings-2017). IEEE Press. 7 pp, pp. 1-7. (doi:10.1109/iThings-GreenCom-CPSCom-SmartData.2017.103).
Alansari, Shorouq, Paci, Federica and Sassone, Vladimiro (2017) A distributed access control system for cloud federations At IEEE International Conference on Distributed Computing, Atlanta, United States. 05 - 08 Jun 2017. 6 pp.
Margheri, Andrea, Ferdous, Md Sadek, Yang, Mu and Sassone, Vladimiro (2017) A distributed infrastructure for democratic cloud federations At IEEE International Conference on Cloud Computing 2017, Honolulu, United States. 25 - 30 Jun 2017.
Ma, Tiejun, Moreno Paredes, Juan, Carlos, Sung, Ming-Chien and Johnson, Johnnie (2017) Do Smartphone Apps Enhance Smart Trading Decisions? At 7th Annual SKBI Conference 2017, Singapore, Singapore. 26 May 2017.
Waniek, Marcin, Tran-Thanh, Long, Michalak, Tomasz P. and Jennings, Nicholas (2017) The dollar auction with spiteful players In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence and the Twenty-Ninth Innovative Applications of Artificial Intelligence Conference. vol. 1, Association for the Advancement of Artificial Intelligence. 7 pp.
Sethi, Aneesha, Paci, Federica and Wills, Gary (2017) EEVi – framework for evaluating the effectiveness of visualization in cyber-security At The 11th International Conference for Internet Technology and Secured Transactions (ICITST-2016), Spain. 05 - 07 Dec 2016. 6 pp, pp. 340-345.
Stein, Sebastian, Gerding, Enrico, Nedea, A, Rosenfeld, Avi and Jennings, Nicholas (2017) Evaluating market user interfaces for electric vehicle charging using Bid2Charge At International Joint Conference on Artificial Intelligence (IJCAI), Melbourne, Australia. 19 - 25 Aug 2017. 5 pp, pp. 4939-4943.
Fraccoli, Enrico, Stefanni, Francesco, Fummi, Franco and Zwolinski, Mark (2017) Fault analysis in analog circuits through language manipulation and abstraction At Forum on specification & Design Languages, Verona, Italy. 18 - 20 Sep 2017. 7 pp.
Howard, Giles, Butler, Michael, Colley, John and Sassone, Vladimiro (2017) Formal analysis of safety and security requirements of critical systems supported by an extended STPA methodology At 2nd Workshop on Safety & Security aSSurance, Paris, France. 29 Apr 2017. 6 pp. (doi:10.1109/EuroSPW.2017.68).
Bogdiukiewicz, Chris, Butler, Michael, Hoang, Thai Son, Paxton, Martin, Snook, James, Harvey, Waldron, Xanthippe and Wilkinson, Toby (2017) Formal development of policing functions for intelligent systems At The 28th International Symposium on Software Reliability Engineering (ISSRE), Toulouse, France. 23 - 26 Oct 2017. 11 pp.
Butler, Michael, Dghaym, Dana, Fischer, Tomas, Hoang, Thai Son, Reichl, Klaus, Snook, Colin and Tummeltshammer, Peter (2017) Formal modelling techniques for efficient development of railway control products At International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, Pistoia, Italy. 14 - 16 Nov 2017.
Alenezi, Ahmed, Hussein, Raid, Khalid Hussein, Walters, Robert and Wills, Gary (2017) A Framework for Cloud Forensic Readiness in Organizations In 2017 5th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (MobileCloud). IEEE., 199 - 204. (doi:10.1109/MobileCloud.2017.12).
Alqahtani, Asma, Crowder, Richard and Wills, Gary (2017) A framework for the adoption of EHRs by primary healthcare physicians in the Kingdom of Saudi Arabia At International Conference on Information Society, Dublin, Ireland. 17 - 19 Jul 2017. 6 pp.
Woo, Lai Leng, Halak, Basel and Zwolinski, Mark (2017) Hardware performance counters for system reliability monitoring In 2nd International Verification and Security Workshop: IVSW 2017. IEEE..
Alenezi, Ahmed, Zulkipli, Nurul H. N., Atlam, H. F.,, Walters, Robert and Wills, Gary (2017) The impact of cloud forensic readiness on security In 7th International Conference on Cloud Computing and Services Science (CLOSER). vol. 1, 7 pp, pp. 539-545. (doi:10.5220/0006332705390545).
Luangmaneerote, Sakchan, Zaluska, Edward and Carr, Leslie (2017) Inhibiting browser fingerprinting and tracking At IEEE BigDataSecurity/HPSC/IDS 2017, Beijing Shi, China. 25 - 28 May 2017. 6 pp.
Atlam, Hany, Fathy, Alenezi, Ahmed, Alharthi, Abdulrahman, Ayad, Walters, Robert and Wills, Gary (2017) Integration of cloud computing with internet of things: challenges and open issues 6 pp, pp. 1-6.
Zulkipli, Nurul H. N.,, Alenezi, Ahmed and Wills, Gary (2017) IoT Forensic: Bridging the Challenges in Digital Forensic and the Internet of Things In 2nd International Conference on Internet of Things, Big Data and Security (IoTBDS). vol. 1, (doi:10.5220/0006308703150324).
NGUYEN, TRUC L, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro, (2017) Lazy-CSeq 2.0: combining lazy sequentialization with abstract interpretation: (Competition contribution) Legay, Axel and Margaria, Tiziana (eds.) In Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P. vol. 10206, Springer. 4 pp.
Lomeli-R., Jaime and Nixon, Mark, (2017) Learning salient structures for the analysis of symmetric patterns Karray, F., Campilho, A. and Cheriet, F. (eds.) In Image Analysis and Recognition. ICIAR 2017. vol. 10317, Springer. 10 pp, pp. 286-295. (doi:10.1007/978-3-319-59876-5_32).
Mispan, Mohd Syafiq, Halak, Basel and Zwolinski, Mark (2017) Lightweight obfuscation techniques for modeling attacks resistant PUFs In 2nd International Verification and Security Workshop: IVSW 2017. IEEE..
Snow, Stephen, Auffenberg, Frederik and schraefel, m.c. (2017) Log it while it’s hot: designing human interaction with smart thermostats for shared work environments At ACM CHI Conference on Human Factors in Computing Systems, Denver, United States. 06 - 11 May 2017. 12 pp. (doi:10.1145/3025453.3025578).
Jeamwatthanachai, Watthanasak, Wald, Mike and Wills, Gary (2017) Map data representation for indoor navigation At International Conference on Information Society (i-Society-2016), Ireland. 10 - 13 Oct 2016. , pp. 1-6. (doi:10.1109/i-Society.2016.7854184).
Halak, Basel, Zwolinski, Mark and Mispan, M. Syafiq (2017) Overview of PUF-Based hardware security solutions for the internet of things In 2016 IEEE 59th International Midwest Symposium on Circuits and Systems, MWSCAS 2016. IEEE. 4 pp. (doi:10.1109/MWSCAS.2016.7870046).
Atlam, Hany, Fathy, Alenezi, Ahmed, Walters, Robert and Wills, Gary (2017) An overview of risk estimation techniques in risk-based access control for the internet of things In 2nd International Conference on Internet of Things, Big Data and Security. INSTICC. 7 pp, pp. 254-260. (doi:10.5220/0006292602540260).
Alansari, Shorouq, Paci, Federica, Margheri, Andrea and Sassone, Vladimiro (2017) Privacy-preserving access control in cloud federations At IEEE International Conference on Cloud Computing 2017, Honolulu, United States. 25 - 30 Jun 2017. 4 pp.
Aniello, Leonardo, Baldoni, Roberto, Gaetani, Edoardo, Lombardi, Federico, Margheri, Andrea and Sassone, Vladimiro (2017) A prototype evaluation of a tamper-resistant high performance blockchain-based transaction log for a distributed database At European Dependable Computing Conference. 05 - 09 Sep 2017.
Redman-White, William, Kennedy, Henry and Bodnar, Rares (2017) A Self-tuning resonant-inductive-link transmit driver using quadrature symmetric phase switched fractional capacitance At International Solid-State Circuits Conference (ISSCC 2017), United States. 05 - 09 Feb 2017.
Grace, Paul and Surridge, Michael (2017) Towards a model of user-centered privacy preservation At International Conference on Availability, Reliability and Security, Reggio Calabria, Italy. 29 Aug - 01 Sep 2017. 10 pp.
Marmion, Vincent, Joseph, Millard, David, Gerding, Enrico and Stevenage, Sarah (2017) The tragedy of the identity assurance commons At ACM Web Science 2017, Troy, United States. 25 - 28 Jun 2017.
Zenonos, Alexandros, Stein, Sebastian and Jennings, Nicholas (2017) A trust-based coordination system for participatory sensing applications At 5th AAAI Conference on Human Computation and Crowdsourcing, Quebec City, Canada. 24 - 26 Oct 2017.
Fryer, Huw and Simperl, Elena (2017) Web science challenges in researching bug bounties In Proceedings of the 9th ACM Conference on Web Science, WebSci 2017. ACM..

Monograph

2017

Ferdous, Sadek, Margheri, Andrea, Paci, Federica and Sassone, Vladimiro (2017) Decentralised runtime monitoring for access control systems in cloud federations , Southampton, GB University of Southampton 11pp.
Buneman, Peter, Gascon Caro, Adrian, Moreau, Luc and Murray-Rust, Dave (2017) Provenance Composition in PROV

Dataset

2017

Rosa Marreiros, Helia, Vlassopoulos, Michael, Tonin, Mirco and Schraefel, Monica (2017) Dataset for "Now that you mention it: A Survey Experiment on Information, Inattention and Online Privacy" University of Southampton doi:10.5258/SOTON/D0085 [Dataset]
Baarslag, Tim, Alan, Alper, Gomer, Richard, Alam, Muddasser, charith, perera, Gerding, Enrico and Schraefel, Monica (2017) Meaningful Consent Study 2 Dataset University of Southampton doi:10.5258/SOTON/405394 [Dataset]
Snook, Colin, Dghaym, Dana, Hoang, Thai, Butler, Michael, Reichl, Klaus, Fischer, Tomas and Tummeltshammer, Peter (2017) Railground RSSRail models - iUML-B/Event-B University of Southampton doi:10.5258/SOTON/D0184 [Dataset]
Hoang, Thai, Snook, Colin, Dghaym, Dana and Butler, Michael (2017) RailGround using Theory plug-in University of Southampton doi:10.5258/SOTON/D0162 [Dataset]
Bogdiukiewicz, Chris, Butler, Michael, Hoang, Thai Son, Paxton, Martin, Snook, James, Harvey, Waldron, Xanthippe and Wilkinson, Toby (2017) Route Validation in Event-B University of Southampton doi:10.5258/SOTON/D0217 [Dataset]

Other

2017

Bedo, Jean Sebastien, El Ayoubi, Salah Eddine, Filippou, Miltiadis, Gavras, Anastasius, Giustiniano, Domenico, Iovanna, Paola, Manzalini, Antonio, Queseth, Olav, Rokkas, Theodoros, Surridge, Michael and Tjelta, Terje (2017) 5G Innovations for New Business Opportunities

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