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

Security Lancaster (Systems Security)

  1. 2022
  2. Published

    Local is Best: Efficient Reductions to Modal Logic K

    Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 23/05/2022, In: Journal of Automated Reasoning. 66, 4, p. 639-666 28 p., 4.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  3. Published

    Efficient Pruning-Split LSTM Machine Learning Algorithm for Terrestrial-Satellite Edge Network

    Zheng, G., Ni, Q., Navaie, K., Pervaiz, H. & Zarakovitis, C., 16/05/2022, 2022 IEEE International Conference on Communications Workshops (ICC Workshops 2022). Institute of Electrical and Electronics Engineers Inc., p. 307-311 5 p.

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

  4. Published

    An ICT Architecture for Enabling Ancillary Services in Distributed Renewable Energy Sources Based on the SGAM Framework

    Stocker, A., Alshawish, A., Bor, M., Vidler, J., Gouglidis, A., Scott, A., Marnerides, A., de Meer, H. & Hutchison, D., 12/05/2022, In: Energy Informatics. 5, 1, 5.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  5. E-pub ahead of print

    i2Key: A Cross-sensor Symmetric Key Generation System using Inertial Measurements and Inaudible Sound

    Wei, B., Xu, W., Li, K., Luo, C. & Zhang, J., 4/05/2022, (E-pub ahead of print) IPSN’22: 2022 21st ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN). ACM, 12 p.

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

  6. Published

    Threat Modelling Guided Trust-based Task Offloading for Resource-constrained Internet of Things

    Bradbury, M., Jhumka, A., Watson, T., Flores, D., Burton, J. & Butler, M., 1/05/2022, In: ACM Transactions on Sensor Networks. 18, 2, 41 p., 29.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  7. Published

    Design and Performance Analysis of Multi-scale NOMA for Future Communication-Positioning Integration System

    Yin, L., Cao, J., Ni, Q., Ma, Y. & Li, S., 30/04/2022, In: IEEE Journal on Selected Areas in Communications. 40, 4, p. 1333-1345 13 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  8. Published

    Art is Not Research. Research is not Art.

    Blair, K., Sturdee, M., Vermeulen, L. M. & Oehlberg, L., 27/04/2022, CHI EA '22: Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems. New York: ACM, p. 4:1-4:9 9 p. 4. (Conference on Human Factors in Computing Systems - Proceedings).

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

  9. Published

    Exploring AltNarrative in HCI Imagery and Comics.

    Lewis, M., Sturdee, M., Miers, J., Davis, J. U. & Hoang, T. N., 27/04/2022, CHI EA '22: Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems. New York: ACM, p. 7:1-7:13 13 p. 7. (Conference on Human Factors in Computing Systems - Proceedings).

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

  10. Published

    InContext: Futuring User-Experience Design Tools

    Carter, A. R. L., Sturdee, M., Dix, A. J., Raju, D. K., Aldridge, M., Sari, E., Mackay, W. E. & Churchill, E. F., 27/04/2022, CHI EA '22: Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems. New York: ACM, p. 95:1-95:6 6 p. 95. (Conference on Human Factors in Computing Systems - Proceedings).

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

  11. Published

    Take a line for a walk! A Hands-on Introductory Course on Sketching in HCI.

    Lewis, M. & Sturdee, M., 27/04/2022, CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems. New York: ACM, p. 129:1-129:4 4 p. 129. (Conference on Human Factors in Computing Systems - Proceedings).

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

Previous 1...8 9 10 11 12 13 14 15 ...255 Next

Back to top