Security-minded verification of space systems

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

doi:10.1109/AERO47225.2020.9172563

Security-minded verification of space systems

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

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

Original language	English
Title of host publication	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
Pages	1-13
DOIs	https://doi.org/10.1109/AERO47225.2020.9172563
Publication status	Published - 7 Mar 2020

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

Organising Body: IEEE

Keywords

Computer science and informatics

Access to Document

10.1109/AERO47225.2020.9172563

https://doi.org/10.1109/AERO47225.2020.9172563

1 Paper

Security-minded verification of space systems
Maple, C., Bradbury, M., Yuan, H., Farrell, M., Dixon, C., Fisher, M. & Atmaca, U. I., 7 Mar 2020.
Research output: Contribution to conference › Paper › peer-review

Cite this

Maple, C., Bradbury, M., Yuan, H., Farrell, M., Dixon, C., Fisher, M., & Atmaca, U. I. (2020). Security-minded verification of space systems. In 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 (pp. 1-13) https://doi.org/10.1109/AERO47225.2020.9172563

Maple, Carsten ; Bradbury, Matthew ; Yuan, Hu et al. / Security-minded verification of space systems. 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. 2020. pp. 1-13

@inproceedings{14c1e070d8e54103a1ae301fff67d67e,

title = "Security-minded verification of space systems",

keywords = "Computer science and informatics",

author = "Carsten Maple and Matthew Bradbury and Hu Yuan and Marie Farrell and Clare Dixon and Michael Fisher and Atmaca, \{Ugur Ilker\}",

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 Organising Body: IEEE",

year = "2020",

month = mar,

day = "7",

doi = "10.1109/AERO47225.2020.9172563",

language = "English",

pages = "1--13",

booktitle = "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",

}

Maple, C, Bradbury, M, Yuan, H, Farrell, M, Dixon, C, Fisher, M & Atmaca, UI 2020, Security-minded verification of space systems. in 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. pp. 1-13. https://doi.org/10.1109/AERO47225.2020.9172563

Security-minded verification of space systems. / Maple, Carsten; Bradbury, Matthew; Yuan, Hu et al.
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. 2020. p. 1-13.

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

TY - GEN

T1 - Security-minded verification of space systems

AU - Maple, Carsten

AU - Bradbury, Matthew

AU - Yuan, Hu

AU - Farrell, Marie

AU - Dixon, Clare

AU - Fisher, Michael

AU - Atmaca, Ugur Ilker

N1 - 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 Organising Body: IEEE

PY - 2020/3/7

Y1 - 2020/3/7

KW - Computer science and informatics

U2 - 10.1109/AERO47225.2020.9172563

DO - 10.1109/AERO47225.2020.9172563

M3 - Conference contribution

SP - 1

EP - 13

BT - 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

ER -

Maple C, Bradbury M, Yuan H, Farrell M, Dixon C, Fisher M et al. Security-minded verification of space systems. In 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. 2020. p. 1-13 doi: 10.1109/AERO47225.2020.9172563