Search research publications and outputs

  1. Refund Attacks on Bitcoin’s Payment Protocol

    McCorry, P., Shahandashti, S. F. & Hao, F., 17 May 2017, p. 581-599. 19 p.

    Research output: Contribution to conferencePaper

  2. Replicating HPC I/O workloads with proxy applications

    Dickson, J., Wright, S., Maheswaran, S., Herdman, A., Miller, M. C. & Jarvis, S. A., 2 Feb 2017, Proceedings of PDSW-DISCS 2016: 1st Joint International Workshop on Parallel Data Storage and Data Intensive Scalable Computing Systems - Held in conjunction with SC16: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 13-18 6 p. 7836562

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Reproductive Conflict and the Evolution of Menopause in Killer Whales

    Croft, D., Ellis, S., Franks, D. W., Nattrass, S., Johnstone, R. A., Brent, L. J. N., Mazzi, S., Balcomb, K. C., Ford, J. K. B. & Cant, M. A., 23 Jan 2017

    Article in Current Biology

  4. Reservoir Computing as a model for in materio computing

    Dale, M. N., Miller, J. F. & Stepney, S., 2017, Advances in Unconventional Computing. Adamatsky, A. (ed.). Springer, Vol. 1. p. 533-571

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Reservoir Computing in materio with LEDs

    Dale, M. N., Miller, J. F., Stepney, S. & Trefzer, M. A., 2017.

    Research output: Contribution to conferencePaper

  6. Resilience Challenge: Using an evidence-based video game as a tool to support patient safety.

    Jackson, J., Iacovides, I. & Duncan, M., 2017.

    Research output: Contribution to conferenceAbstract

  7. Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines

    Burns, A. & Davis, R. I., 5 Dec 2017. 6 p.

    Research output: Contribution to conferencePaper

  8. Rethinking the High Capacity 3D Steganography: Increasing its Resistance to Steganalysis

    Li, Z., Beugnon, S., Puech, W. & Bors, A. G., Oct 2017, IEEE International Conference on Image Processing (ICIP). IEEE, p. 510-514 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Scattering of halo nuclei on heavy targets at energies around the Coulomb barrier: The case of 11Be on 197Au

    Pesudo, V., Borge, M. J. G., Moro, A. M., Lay, J. A., Nácher, E., Gómez-Camacho, J., Tengblad, O., Acosta, L., Alcorta, M., Alvarez, M. A. G., Andreoiu, C., Bender, P. C., Braid, R., Cubero, M., Di Pietro, A., Fernández-García, J. P., Figuera, P., Fisichella, M., Fulton, B. R., Garnsworthy, A. B. & 18 others, Hackman, G., Hager, U., Kirsebom, O. S., Kuhn, K., Lattuada, M., Marquínez-Durán, G., Martel, I., Miller, D., Moukaddam, M., O'Malley, P. D., Perea, A., Rajabali, M. M., Sánchez-Benítez, A. M., Sarazin, F., Scuderi, V., Svensson, C. E., Unsworth, C. & Wang, Z. M., 22 Nov 2017

    Conference article in EPJ Web of Conferences

  10. Scattering of the Halo Nucleus Be 11 on Au 197 at Energies around the Coulomb Barrier

    Pesudo, V., Borge, M. J. G., Moro, A. M., Lay, J. A., Nácher, E., Gómez-Camacho, J., Tengblad, O., Acosta, L., Alcorta, M., Alvarez, M. A. G., Andreoiu, C., Bender, P. C., Braid, R., Cubero, M., Di Pietro, A., Fernández-García, J. P., Figuera, P., Fisichella, M., Fulton, B. R., Garnsworthy, A. B. & 18 others, Hackman, G., Hager, U., Kirsebom, O. S., Kuhn, K., Lattuada, M., Marquínez-Durán, G., Martel, I., Miller, D., Moukaddam, M., O'Malley, P. D., Perea, A., Rajabali, M. M., Sánchez-Benítez, A. M., Sarazin, F., Scuderi, V., Svensson, C. E., Unsworth, C. & Wang, Z. M., 12 Apr 2017

    Article in Physical Review Letters

  11. Security Analysis of Integrated Diffie-Hellman Digital Signature Algorithm Protocols

    Vasilakis, V., Alohali, B., Moscholios, I. & Logothetis, M., 30 Apr 2017, (Accepted/In press). 6 p.

    Research output: Contribution to conferencePaper

  12. Security requirements modelling for virtualized 5G small cell networks

    Vasilakis, V., Mouratidis, H., Panaousis, E., Moscholios, I. & Logothetis, M., May 2017. 5 p.

    Research output: Contribution to conferencePaper

  13. Self-Adaptive Role-Based Access Control for Business Processes

    da Silva, C. E., da Silva, J. D. S., Paterson, C. A. & Calinescu, R. C., 2017, (Accepted/In press) 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). IEEE, 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Shape Simplification Through Graph Sparsification

    Escolano, F., Curado, M., Biasotti, S. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 13-22 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Side-Channel Attack Resilience through Route Randomisation in Secure Real-Time Networks-on-Chip

    Soares Indrusiak, L., Harbin, J. R. & Sepulveda, M. J., 24 Aug 2017, Proceedings of the 12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Simulation of non-Pauli Channels

    Cope, T., Hetzel, L., Banchi, L. & Pirandola, S., 25 Aug 2017

    Article in Physical Review A

  17. Smart Contract for Anonymous Voting over Ethereum

    McCorry, P., Shahandashti, S. F. & Hao, F., 2017

    Research output: Non-textual formSoftware

  18. Sound Simulation and Co-simulation for Robotics

    Cavalcanti, A. L. C., Miyazawa, A. & Woodcock, J., Nov 2017, Present and Ulterior Software Engineering. M. M. & B. M. (eds.). Springer International Publishing Switzerland, p. 173-194 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. Sparse, Continuous Policy Representations for Uniform Online Bin Packing via Regression of Interpolants

    Drake, J. H., Swan, J., Neumann, G. & Özcan, E., 9 Mar 2017, Evolutionary Computation in Combinatorial Optimization: 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings. Hu, B. & López-Ibáñez, M. (eds.). Cham: Springer International Publishing Switzerland, p. 189-200 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results

    Braquehais, R. & Runciman, C., 7 Sep 2017, Proceedings of the ACM SIGPLAN Haskell Symposium 2017. ASSOC COMPUTING MACHINERY, p. 40-51 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution