Dr Sapna Jaidka

Sapna Jaidka

Teaching Fellow

Qualifications: PhD (Computer Science)

Papers Taught

Recent Publications

  • Ahmed, M., Bhuiyan, M. M. A., Jaidka, S., & Jiranantanagorn, P. (2021). A decentralised mechanism for secure cloud computing transactions. In 2021 6th International Conference on Fog and Mobile Edge Computing,. doi:10.1109/FMEC54266.2021.9732405

  • Ahmed, M., Jaidka, S., & Sarkar, N. I. (2020). Security in decentralised computing, IoT and industrial IoT. In I. Butun (Ed.), Industrial IoT: Challenges, Design Principles, Applications, and Security (pp. 191-211). Springer Cham. doi:10.1007/978-3-030-42500-5_5

  • Jaidka, S., Reeves, S., & Bowen, J. (2019). A coloured petri net approach for modelling and analyzing safety-critical interactive systems. In Proc 26th Asia-Pacific Software Engineering Conference (APSEC 2019) (pp. 347-354). Putrajaya, Malaysia. doi:10.1109/APSEC48747.2019.00054 Open Access version:

  • Jaidka, S., Reeves, S., & Bowen, J. (2019). Formal modelling of safety-critical interactive devices using coloured petri nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 12232 LNCS (pp. 465-485). Porto, Portugal. doi:10.1007/978-3-030-54994-7_34

Find more research publications by Sapna Jaidka