Security-minded verification of space systems

Carsten Maple, Matthew Bradbury, Hu Yuan, Marie Farrell, Clare Dixon, Michael Fisher, Ugur Ilker Atmaca

    Research output: Contribution to conference › Paper › peer-review

    Original languageEnglish
    DOIs
    Publication statusPublished - 7 Mar 2020
    Event2020 IEEE Aerospace Conference - Big Sky, MT, U.S.
    Duration: 7 Mar 2020 → 14 Mar 2020

    Conference

    Conference2020 IEEE Aerospace Conference
    Period7/03/20 → 14/03/20

    Bibliographical note

    Note: Published in: Proceedings of 2020 IEEE Aerospace Conference. Piscataway, U.S. : Institute of Electrical and Electronics Engineers, Inc., pp. 1-13. ISBN 9781728127347
    This work was supported by FAIR-SPACE Hub through UKRI under the Industry Strategic ChallengenFund (ISCF) for Robotics and AI Hubs in Extreme and Hazardous Environments [grant no: EP/R026092].

    Organising Body: IEEE

    Keywords

    • Computer science and informatics

    Access to Document

    • 1 Conference contribution

    • Security-minded verification of space systems

      Maple, C., Bradbury, M., Yuan, H., Farrell, M., Dixon, C., Fisher, M. & Atmaca, U. I., 7 Mar 2020, Published in: Proceedings of 2020 IEEE Aerospace Conference. Piscataway, U.S. : Institute of Electrical and Electronics Engineers, Inc., pp. 1-13. ISBN 9781728127347 This work was supported by FAIR-SPACE Hub through UKRI under the Industry Strategic ChallengenFund (ISCF) for Robotics and AI Hubs in Extreme and Hazardous Environments [grant no: EP/R026092]. Organising Body: IEEE Organising Body: IEEE. p. 1-13

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Cite this