Items where Author is "Maple, Carsten"

Journal Article

Farrell, Marie and Bradbury, Matthew and Cardoso, Rafael C. and Fisher, Michael and Dennis, Louise and Dixon, Clare and Sheik, Al Tariq and Yuan, Hu and Maple, Carsten (2024) Security-Minded Verification of Cooperative Awareness Messages. IEEE Transactions on Dependable and Secure Computing, 21 (4). pp. 4048-4065. ISSN 1545-5971

Bradbury, Matthew and Jhumka, Arshad and Maple, Carsten (2021) A Spatial Source Location Privacy-Aware Duty Cycle for Internet of Things Sensor Networks. ACM Transactions on Internet of Things, 2 (1): 4. pp. 1-32. ISSN 2691-1914

Bradbury, Matthew and Taylor, Phillip and Atmaca, Ugur Ilker and Maple, Carsten and Griffiths, Nathan (2020) Privacy Challenges with Protecting Live Vehicular Location Context. IEEE Access, 8. pp. 207465-207484. ISSN 2169-3536

Maple, Carsten and Bradbury, Matthew and Le, Anh Tuan and Ghirardello, Kevin (2019) A Connected and Autonomous Vehicle Reference Architecture for Attack Surface Analysis. Applied Sciences, 9 (23): 5101. ISSN 2076-3417

Contribution in Book/Report/Proceedings

Maple, Carsten and Bradbury, Matthew and Yuan, Hu and Farrell, Marie and Dixon, Clare and Fisher, Michael and Atmaca, Uger Ilker (2020) Security-Minded Verification of Space Systems. In: 2020 IEEE Aerospace Conference :. IEEE, Big Sky, Montana, USA. ISBN 9781728127354

Bradbury, Matthew and Maple, Carsten and Atmaca, Uger Ilker and Cannizzaro, Sara (2020) Identifying Attack Surfaces in the Evolving Space Industry Using Reference Architectures. In: IEEE Aerospace Conference :. IEEE, USA.

Yuan, Hu and Bradbury, Matthew and Maple, Carsten and Gu, Chen (2019) Throughput Aware Authentication Prioritisation for Vehicular Communication Networks. In: 2019 IEEE 90th Vehicular Technology Conference (VTC2019-Fall) :. IEEE, pp. 1-5. ISBN 9781728112213

Farrell, Marie and Bradbury, Matthew and Fisher, Michael and Dennis, Louise A. and Dixon, Clare and Yuan, Hu and Maple, Carsten (2019) Using Threat Analysis Techniques to Guide Formal Verification : A Case Study of Cooperative Awareness Messages. In: Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings. Lecture Notes in Computer Science . Springer International Publishing, Cham, pp. 471-490. ISBN 9783030304454

Bradbury, Matthew and Jhumka, Arshad and Maple, Carsten (2019) The Impact of Decreasing Transmit Power Levels on FlockLab To Achieve a Sparse Network. In: CPS-IoTBench '19 : Proceedings of the 2nd Workshop on Benchmarking Cyber-Physical Systems and Internet of Things. ACM, New York, pp. 7-12. ISBN 9781450366939

Monograph

Maple, Carsten and Bradbury, Matthew and Elsden, Miles and Cruickshank, Haitham and Yuan, Hu and Gu, Chen and Asuquo, Phillip (2019) IoT Transport and Mobility Demonstrator : Cyber Security Testing on National Infrastructure. Working Paper. UNSPECIFIED, Coventry, UK.