Home > Research > Security Lancaster > Publications & Outputs
View graph of relations

Security Lancaster

  1. 2017
  2. Published

    Reliable computing service in massive-scale systems through rapid low-cost failover

    Yang, R., Zhang, Y., Garraghan, P., Feng, Y., Ouyang, J., Xu, J., Zhang, Z. & Li, C., 11/2017, In: IEEE Transactions on Services Computing. 10, 6, p. 969-983 15 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  3. Published

    The Extended Cloud: Review and Analysis of Mobile Edge Computing and Fog from a Security and Resilience Perspective

    Shirazi, S. N. U. H., Gouglidis, A., Farshad, A. & Hutchison, D., 11/2017, In: IEEE Journal on Selected Areas in Communications. 35, 11, p. 2586-2595 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  4. Published

    Modelling grating contrast discrimination dippers: the role of surround suppression

    To, M., Chirimuuta, M. & Tolhurst, D., 31/10/2017, In: Journal of Vision. 17, 12, 17 p., 23.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  5. Published

    A Stitch in Time: Supporting Android Developers in Writing Secure Code

    Nguyen, D. C., Wermke, D., Acar, Y., Backes, M., Weir, C. A. F. & Fahl, S., 30/10/2017, CCS '17 Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. New York: ACM, p. 1065-1077 13 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  6. Published

    Quick verification of concurrent programs by iteratively relaxed scheduling

    Metzler, P., Saissi, H., Bokor, P., Suri, N., T.N., N. (Editor), G., R. (Editor) & M., D. P. (Editor), 30/10/2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, p. 776-781 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  7. Published

    TrEKer: Tracing error propagation in operating system kernels

    Coppik, N., Schwahn, O., Winter, S., Suri, N., T.N., N. (Editor), G., R. & M., D. P., 30/10/2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, p. 377-387 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  8. Published

    London’s Polish Borders. Transnationalizing Class and Ethnicity among Polish Migrants in London. By Michał Garapich, Stuttgart: Ibidem-Verlag, 2016. 344pp. Bibliography. Paper.

    Follis, K., 25/10/2017, In: Slavic Review. 76, 3, p. 810-811 2 p.

    Research output: Contribution to Journal/MagazineBook/Film/Article review

  9. Published

    A flexible approach for finding optimal paths with minimal conflicts

    Bowles, J. & Caminati, M. B., 11/10/2017, ICFEM: International Conference on Formal Engineering Methods. Springer, Vol. 10610. p. 209-225

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  10. Published

    Material optimisation in dual particle detectors by comparing advanced scintillating materials using two Monte Carlo codes

    Al Hamrashdi, H., Cheneler, D. & Monk, S. D., 11/10/2017, In: Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 869, p. 163-171 9 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  11. Published

    Experimental studies of 7-cell dual axis asymmetric cavity for energy recovery linac

    Konoplev, I. V., Metodiev, K., Lancaster, A. J., Burt, G. C., Ainsworth, R. & Seryi, A., 10/10/2017, In: Physical Review Accelerators and Beams. 20, 10, 12 p., 103501.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

Back to top