Centre for Software Reliability Publications

Rahman, A. K. Z. R., Swapno, S. M. M. R., Raha, A. D. , Biswas, S. ORCID: 0000-0002-6770-9845, Khan, S., Khushbu, K. G., Reza, A. W. ORCID: 0000-0003-4321-5880, Bairagi, A. K. ORCID: 0009-0000-9132-8893, Aloteibi, S. & Moni, M. A. ORCID: 0000-0003-0756-1006view all authors (2026). Deep ensemble of multi-head attention CNNs for histopathological image-based of lung and colon cancer diagnosis. Digital Health, 12, doi: 10.1177/20552076261444271

Karim, M. M. ORCID: 0000-0003-1753-065X, Qu, Q. ORCID: 0000-0001-5814-8460, Sharif, K. , Muzammal, M. ORCID: 0000-0001-8817-1629 & Biswas, S. ORCID: 0000-0002-6770-9845view all authors (2026). MTC-SBC: Reputation-based service provision for multi-tier computing-enabled sharded blockchain. Future Generation Computer Systems, 182, article number 108499. doi: 10.1016/j.future.2026.108499

Aghazadeh-Chakherloua, R., Guo, Q., Khastgira, S. , Popov, P. ORCID: 0000-0002-3434-5272, Zhange, X. & Zhao, X.view all authors (2026). A Hierarchical Imprecise Probability Approach to Reliability Assessment of Large Language Models. Reliability Engineering & System Safety, 272(Part 2), article number 112615. doi: 10.1016/j.ress.2026.112615

Karim, M. M., Khan, S., Qu, Q. , Muzammal, M., Sharif, K. & Biswas, S. ORCID: 0000-0002-6770-9845view all authors (2026). From trust to augmentation: A comprehensive survey on synergistic integration of decentralized and generative intelligence. Computer Science Review, 61, article number 100936. doi: 10.1016/j.cosrev.2026.100936

Haider, T. ORCID: 0000-0002-9224-4576, Sattar, K. A. ORCID: 0009-0002-4700-4255, Komninos, N. ORCID: 0000-0003-2776-1283 & Hayat, U. ORCID: 0000-0002-1373-7701view all authors (2026). EIP: Efficient image protection scheme. Journal of Information Security and Applications, 99, article number 104436. doi: 10.1016/j.jisa.2026.104436

Fernando, W. & Komninos, N. ORCID: 0000-0003-2776-1283 (2026). Evaluating and Combating the Impact of Concept Drift on the Performance of Machine Learning-Based Phishing Detection Systems. doi: 10.48550/arXiv.2606.11471

Kartikey, K. & Komninos, N. ORCID: 0000-0003-2776-1283 (2026). On the Study of Biometric Spoofing Detection using Deep Learning. doi: 10.48550/arXiv.2606.11505

Abhijat ORCID: 0009-0001-7431-6847, Sharma, H. ORCID: 0000-0002-2856-7194, Sharma, G. ORCID: 0000-0002-6390-327X , Dogra, A., Wani, N. A. ORCID: 0000-0002-7656-3374, Biswas, S. ORCID: 0000-0002-6770-9845 & Sookhak, M. ORCID: 0000-0001-5822-3432view all authors (2026). CRISPR-ImmunoPred: A Multi-Stage AI Framework to Predict T-Cell Reactivity and Mitigate Immunogenicity in CRISPR-Cas9 Therapies. IEEE Transactions on Emerging Topics in Computational Intelligence, doi: 10.1109/tetci.2026.3697428

Saedi, M. ORCID: 0000-0001-6436-1057, Moore, A., Jafaar, F. , Rahman, A. & Biswas, S. ORCID: 0000-0002-6770-9845view all authors (2026). Zero Trust Rule-Based Protocol for Secure 5G Handover Against Rogue Base Stations. IEEE Open Journal of the Communications Society, 7, pp. 5092-5106. doi: 10.1109/ojcoms.2026.3691214

Bagchi, P. ORCID: 0009-0005-1406-101X, Bera, B. ORCID: 0000-0002-0872-0331, Rakshit, S. , Das, A. K. ORCID: 0000-0002-5196-9589, Biswas, S. ORCID: 0000-0002-6770-9845, Hasan, M. K. ORCID: 0000-0001-5511-0205 & Sikdar, B. ORCID: 0000-0002-0084-4647view all authors (2026). AI-Enabled Adversarial Attacks Resistant Post-Quantum Secure Authentication Protocol for Consumer Applications. IEEE Transactions on Consumer Electronics, doi: 10.1109/tce.2026.3689339

Behbehani, D., Komninos, N. ORCID: 0000-0003-2776-1283 & Muttukrishnan, R. (2026). Sovchain: novel mutual authentication scheme for self-sovereign identity management using blockchain for open banking. Financial Innovation, 12, article number 108. doi: 10.1186/s40854-026-00921-0

Kastantin, A., Balduf, L., Ascigil, O. , Sokoto, S., Scheurmann, B., Duda, A., Krol, M. ORCID: 0000-0002-3437-8621 & Korczynski, M.view all authors (2026). Netting Phish in the IPFS Ocean: Real-Time Monitoring and Characterization of Decentralized Phishing Campaigns. In: Proceedings of the ACM Web Conference 2026. ACM The Web Conference, 13-17 Apr 2026, Dubai, United Arab Emirates. doi: 10.1145/3774904.3792188

Sokoto, S., Badhuf, L., Ascigil, O. , Tyson, G., Castro, I., Scheuermann, B., Baronchelli, A. ORCID: 0000-0002-0255-0829 & Krol, M. ORCID: 0000-0002-3437-8621view all authors (2026). Open or Blocked Skies? Community Moderation Practices in Bluesky. In: WWW '26: Proceedings of the ACM Web Conference 2026. ACM The Web Conference, 13-17 Apr 2026, Dubai, United Arab Emirates. doi: 10.1145/3774904.3792106

Ghanta, S., Pradhan, A. K., Boyapati, P. , Biswas, S. ORCID: 0000-0002-6770-9845 & Mohanty, S. P.view all authors (2026). Security and Verifiability in Federated Learning: A Zero-Knowledge Reputation-Based Blockchain Framework. IEEE Transactions on Network Science and Engineering, 13, pp. 8005-8022. doi: 10.1109/tnse.2026.3676154

Brain, M. & Howe, J. M. ORCID: 0000-0001-8013-6941 (2026). Canonical Forms and Widening for Two Variables Per Inequality Systems. Mathematics in Computer Science, 20(1), article number 2. doi: 10.1007/s11786-025-00612-6

Sharma, G., Sharma, H., Jain, S. , Singh, A. & Biswas, S. ORCID: 0000-0002-6770-9845view all authors (2026). Scheduling irrigation with artificial intelligence: a systematic review on evapotranspiration based techniques. PeerJ Computer Science, 12, article number e3677. doi: 10.7717/peerj-cs.3677

Popov, P. ORCID: 0000-0002-3434-5272 (2026). Why Black-Box Bayesian Safety Assessment of Autonomous Vehicles is Problematic and What Can be Done About it?. IEEE Transactions on Intelligent Vehicles, 11(2), pp. 311-324. doi: 10.1109/tiv.2025.3629618

Iqbal, F. & Howe, J. M. ORCID: 0000-0001-8013-6941 (2026). Rule Extraction from Fake News Classifiers. In: Communications in Computer and Information Science. International Conference on Explainable AI for Neural and Symbolic Methods, 22-24 Oct 2025, Marbella, Spain. doi: 10.1007/978-3-032-15638-9_21

Wickramasinghe, S. Y., Howe, J. M. ORCID: 0000-0001-8013-6941 & Daviaud, L. ORCID: 0000-0002-9220-7118 (2026). Extracting deterministic finite automata from RNNs via hyperplane partitioning and learning. In: Computational Intelligence. International Conference on Explainable AI for Neural and Symbolic Methods, 22-24 Oct 2025, Marbella, Spain. doi: 10.1007/978-3-032-15638-9_8

Arsal, M. ORCID: 0009-0000-9496-8642, Kamel, T. ORCID: 0000-0002-1957-7251, Asad, H. ORCID: 0000-0002-8506-5721 & Khan, A. ORCID: 0000-0003-3620-3048view all authors (2026). A Systematic Review of Cyber Risk Analysis Approaches for Wind Power Plants. Energies, 19(3), article number 677. doi: 10.3390/en19030677

Ibadulla, R. & Asad, H. ORCID: 0000-0002-8506-5721 (2026). PROTECTION: Provably Robust Intrusion Detection system for IoT through recursive Delegation. In: Asad, H. ORCID: 0000-0002-8506-5721 (Ed.), Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops. DECSoS 2025: 20th International Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems, 9 Sep 2025, Stockholm, Sweden. doi: 10.1007/978-3-032-02018-5_11

Miri Kelaniki, S. & Komninos, N. ORCID: 0000-0003-2776-1283 (2026). Efficient Detection of XSS and DDoS Attacks with Bent Functions. Information, 17(1), article number 80. doi: 10.3390/info17010080

Popov, P. & Stankovic, V. ORCID: 0000-0002-8740-6526 (2026). Diverse Database Replication Based on Snapshot Isolation – Performance Implications of Improved Dependability. In: 2025 44th International Symposium on Reliable Distributed Systems (SRDS). 44th IEEE International Symposium on Reliable Distributed Systems, SRDS 2025, 29 Sep - 2 Oct 2025, Porto, Portugal. doi: 10.1109/SRDS69199.2025.00038

Abakumov, A. ORCID: 0000-0002-7742-6515, Kharchenko, V. ORCID: 0000-0001-5352-077X & Popov, P. ORCID: 0000-0002-3434-5272 (2026). Proactive unmanned aerial systems cybersecurity analysis: combining a priori – a posteriori IMECA and penetration testing methods. Radioelectronic and Computer Systems, 2026(1), pp. 282-298. doi: 10.32620/reks.2026.1.18

Albedah, E., Gashi, I. ORCID: 0000-0002-8017-3184 & Howe, J. M. ORCID: 0000-0001-8013-6941 (2026). Longitudinal Vulnerability Lifecycle Analysis. Paper presented at the European Dependable Computing Conference, 7-10 Apr 2026, Canterbury, UK.

Wickramasinghe, S. Y., Howe, J. M. ORCID: 0000-0001-8013-6941 & Daviaud, L. (2025). Extracting Weighted Finite Automata from RNNs via iterative partitioning and spectral learning. In: CEUR Workshop Proceedings. International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, 26 Oct 2025, Bologna, Italy.

Yang, W., Ye, Q., Ascigil, O. , Sokoto, S., Balduf, L., Krol, M. ORCID: 0000-0002-3437-8621 & Tyson, G.view all authors (2025). Beyond Single-Tokenomics: How Farcaster’s Pluralistic Incentives Reshape Social Networking. In: Proceedings of the ACM on Measurement and Analysis of Computing Systems. ACM SIGMETRICS, 9-13 Jun 2025, New York, USA. doi: 10.1145/3771565

Pigaglio, M., Ascgil, O., Krol, M. ORCID: 0000-0002-3437-8621 , Rene, S., Lange, F., Peeroo, K. ORCID: 0000-0001-8601-4750, Sadre, R., Stankovic, V. ORCID: 0000-0002-8740-6526 & Rivière, E.view all authors (2025). PANDAS: Peer-to-peer, Adaptive Networking Allowing Data Availability Sampling within Ethereum Consensus Timebounds. In: Middleware '25: Proceedings of the 26th International Middleware Conference. ACM/IFIP International Middleware Conference, 15-19 Dec 2025, Tennesee, USA. doi: 10.1145/3721462.3770769

Ghanta, S., Siddareddy, V. S., Boyapati, P. , Biswas, S. ORCID: 0000-0002-6770-9845, Swain, G. & Pradhan, A. K.view all authors (2025). Federated proximal learning with data augmentation for brain tumor classification under heterogeneous data distributions. PeerJ Computer Science, 11, article number e3396. doi: 10.7717/peerj-cs.3396

Yates, D., Bishop, P. ORCID: 0000-0003-3307-5159, Fletcher, G. , Guerra, S. & Di Buono, A.view all authors (2025). Digitisation of NPP I&C Systems via Wireless Technologies. In: Proceedings of Nuclear Plant Instrumentation and Control and Human Machine Interface Technology Npic and Hmit 2025. Nuclear Plant Instrumentation and Control & Human-Machine Interface Technology, 15-18 Jun 2025, Chicago, US.

Lopedoto, E., Salako, K. ORCID: 0000-0003-0394-7833, Shekhunov, M. , Aksenov, V. ORCID: 0000-0001-9134-5490 & Weyde, T. ORCID: 0000-0001-8028-9905view all authors (2025). Data Driven Derivative-based Regularization for Regression. In: 2025 International Joint Conference on Neural Networks (IJCNN). International Joint Conference on Neural Networks 2025, 30 Jun - 05 Jul 2025, Rome, Italy. doi: 10.1109/IJCNN64981.2025.11228067

Miri Kelaniki, S. ORCID: 0009-0003-7453-4152 & Komninos, N. ORCID: 0000-0003-2776-1283 (2025). A Study on IoT Device Authentication Using Artificial Intelligence. Sensors, 25(18), article number 5809. doi: 10.3390/s25185809

Nehra, A., Bansal, N., Mittal, S. , Biswas, S. ORCID: 0000-0002-6770-9845, Bali, R. S. & Naik, K.view all authors (2025). A Big Data Federated Learning-based Traffic Optimization Routing Scheme for Emergency Services Provision in Autonomous Vehicles Environment. In: ICC 2025 - IEEE International Conference on Communications. IEEE International Conference on Communications, 8-12 Jun 2025, Montreal, Canada. doi: 10.1109/ICC52391.2025.11161949

Chaudhary, S., Budhiraja, I., Chaudhary, R. , Kumar, N. & Biswas, S. ORCID: 0000-0002-6770-9845view all authors (2025). Asynchronous Federated Learning Technique for Latency Reduction in STAR-RIS enabled VRCS. In: ICC 2025 - IEEE International Conference on Communications. IEEE International Conference on Communications, 8-12 June 2025, Montreal, Canada. doi: 10.1109/ICC52391.2025.11161820

Arsal, M., Asad, H. ORCID: 0000-0002-8506-5721, Kamel, T. & Khan, A.view all authors (2025). Cyber-Safety Assessment of Wind Turbines: A Reachability Analysis Approach Against Cyber-Attacks. In: Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops: CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings. Sensei 2025, 9 Sep 2025, Stockholm, Sweden. doi: 10.1007/978-3-032-02018-5_25

Ghanta, S. ORCID: 0009-0005-5912-2138, Boyapati, P., Biswas, S. ORCID: 0000-0002-6770-9845 , Pradhan, A. K. & Mohanty, S. P.view all authors (2025). Enhancing privacy-preserving brain tumor classification with adaptive reputation-aware federated learning and homomorphic encryption. PeerJ Computer Science, 11, article number e3165. doi: 10.7717/peerj-cs.3165

Lamptey, R., Saedi, M. & Stankovic, V. ORCID: 0000-0002-8740-6526 (2025). Machine-Learning Anomaly Detection for Early Identification of DDOS in Smart Home IoT Devices. In: 2025 IEEE International Conference on Cyber Security and Resilience (CSR). 2025 IEEE International Conference on Cyber Security and Resilience, 4-6 Aug 2025, Crete, Greece. doi: 10.1109/CSR64739.2025.11130003

Bishop, P. ORCID: 0000-0003-3307-5159, Povyakalo, A. ORCID: 0000-0002-4068-422X & Strigini, L. ORCID: 0000-0002-4246-2866 (2025). Doubt in Safety Claims is Inevitable: What is its Impact, What Can be Done About It? In: Torngren, M. (Ed.), Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops. SAFECOMP 2025. SASSUR 2025 12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems, 9 Sep 2025, Stockholm, Sweden. doi: 10.1007/978-3-032-02018-5_17

Popov, P. ORCID: 0000-0002-3434-5272 & Stankovic, V. ORCID: 0000-0002-8740-6526 (2025). Diverse Database Replication Based on Snapshot Isolation – Performance Implications of Improved Dependability. .

Brozik, A., Gashi, I. ORCID: 0000-0002-8017-3184 & Salako, K. ORCID: 0000-0003-0394-7833 (2025). Explaining Black-Box Malware Detectors: A Machine Learning Approach for Behaviour Analysis. In: 2025 20th European Dependable Computing Conference (EDCC). European Dependable Computing Conference, 8-11 Apr 2025, Lisbon, Portgual. doi: 10.1109/EDCC66201.2025.00029

Barlik, M. & Brain, M. ORCID: 0000-0003-4216-7151 (2025). Comparative Analysis of SMT Solvers for Differential Cryptanalysis of SHA-2. In: CEUR Workshop Proceedings. SMT 2025: 23rd International Workshop on Satisfiability Modulo Theories, 10-11 Aug 2025, Glasgow, UK.

Howe, J. M. ORCID: 0000-0001-8013-6941, Brain, M. ORCID: 0000-0003-4216-7151 & Gàmez-Montolio, A. (2025). Evaluating Binary Polynomials using Subpolynomials. In: CEUR Workshop Proceedings. SMT 2025: 23rd International Workshop on Satisfiability Modulo Theories, 10-11 Aug 2025, Glasgow, UK.

Popov, P. ORCID: 0000-0002-3434-5272 (2025). Dynamic safety assessment of Autonomous Vehicle based on Multivariate Bayesian Inference (DyAVSA). Journal of Reliable Intelligent Environments, 11(3), article number 14. doi: 10.1007/s40860-025-00252-4

Zoppi, T. & Popov, P. ORCID: 0000-0002-3434-5272 (2025). Confidence Ensembles: Tabular Data Classifiers on Steroids. Information Fusion, 120, article number 103126. doi: 10.1016/j.inffus.2025.103126

Balduf, L., Sokoto, S., Baronchelli, A. ORCID: 0000-0002-0255-0829 , Castro, I., Król, M. ORCID: 0000-0002-3437-8621, Tyson, G., Pavlou, G., Ascigil, O., Scheuermann, B. & Ascigil, O.view all authors (2025). Bootstrapping Social Networks: Lessons from Bluesky Starter Packs. In: Proceedings of the International AAAI Conference on Web and Social Media. International AAAI Conference on Web and Social Media (ICWSM 2025), 23-26 Jun 2025, Copenhagen,Denmark. doi: 10.1609/icwsm.v19i1.35810

Bloomfield, R. ORCID: 0000-0002-2050-6151 & Rushby, J. (2025). Assurance of AI Systems From a Dependability Perspective (CSL Technical Report SRI-CSL-2024-02R3). SRI.

Junchi, M., Chaudhry, H. N., Kulsoom, F. , Guihua, Y., Khan, S. U., Biswas, S. ORCID: 0000-0002-6770-9845, Khan, Z. U. & Khan, F.view all authors (2025). MULTICAUSENET temporal attention for multimodal emotion cause pair extraction. Scientific Reports, 15(1), article number 19372. doi: 10.1038/s41598-025-01221-w

Popov, P. ORCID: 0000-0002-3434-5272 (2025). Using Copula and Dirichlet to model multivariate distributions (0.1)

Hovorushchenko, T., Savenko, O., Popov, P. ORCID: 0000-0002-3434-5272 & Lysenko, S.view all authors (2025). Preface. In: CEUR Workshop Proceedings. Intelligent Information Technologies & Systems of Information Security 2025, 4 Apr 2025, Khmelnytskyi, Ukraine.

Raha, A. D., Gain, M., Saha, S. K. , Rahman, M. S., Adhikary, A., Rameswar, D., Bairagi, A. K. & Biswas, S. ORCID: 0000-0002-6770-9845view all authors (2025). Resource-Aware Monkeypox Diagnosis: Leveraging High-Capacity and Lightweight Models with Knowledge Distillation. In: 2025 17th International Conference on COMmunication Systems and NETworks (COMSNETS). 17th International Conference on COMmunication Systems and NETworks (COMSNETS), 6-10 Jan 2025, Bengaluru, India. doi: 10.1109/COMSNETS63942.2025.10885586

Thiriveedhi, A., Ghanta, S., Biswas, S. ORCID: 0000-0002-6770-9845 & Pradhan, A. K.view all authors (2025). ALL-Net: integrating CNN and explainable-AI for enhanced diagnosis and interpretation of acute lymphoblastic leukemia. PeerJ Computer Science, 11, article number e2600. doi: 10.7717/peerj-cs.2600

Zhu, L., Bukhari, S., Sharif, K. , Li, F., Fardous, S. & Biswas, S. ORCID: 0000-0002-6770-9845view all authors (2025). A Novel Merging Framework for Homogeneous and Heterogeneous Blockchain Systems. In: Wireless Artificial Intelligent Computing Systems and Applications. 18th International Conference, WASA 2024, 21-23 Jun 2024, Qindao, China. doi: 10.1007/978-3-031-71467-2_25

Bukhari, S., Sharif, K., Zhu, L. , Xu, C., Li, F. & Biswas, S. ORCID: 0000-0002-6770-9845view all authors (2024). Dynamic Fine-grained SLA Management for 6G eMBB-plus Slice using mDNN & Smart Contracts. IEEE Transactions on Services Computing, 17(6), pp. 1-14. doi: 10.1109/tsc.2024.3453709

Korek, W. T., Beecroft, P., Lone, M. , Aldana, E. B., Mendez, A., Enconniere, J., Asad, H. ORCID: 0000-0002-8506-5721, Grzedzinski, K., Milidere, M., Whidborne, J., Li, W. C., Lu, L., Alam, M., Asmayawati, S., Del Barrio Conde, L., Hargreaves, D. & Jenkins, D.view all authors (2024). Simulation Framework and Development of the Future Systems Simulator. Aeronautical Journal, 128(1330), pp. 2754-2780. doi: 10.1017/aer.2024.91

Barlas, Y. & Salako, K. ORCID: 0000-0003-0394-7833 (2024). Performance Comparisons of Reinforcement Learning Algorithms for Sequential Experimental Design. Paper presented at the Workshop on Generalization in Planning (GenPlan), AAAI 2025, 4 Mar 2025, Philadelphia, USA.

Biswas, S. ORCID: 0000-0002-6770-9845, Sharif, K., Latif, Z. , Alenazi, M. J. F., Pradhan, A. K. & Bairagi, A. K.view all authors (2024). Blockchain controlled trustworthy federated learning platform for smart homes. IET Communications, 18(20), pp. 1840-1852. doi: 10.1049/cmu2.12870

Karim, M. M. ORCID: 0000-0003-1753-065X, Sharif, K. ORCID: 0000-0001-7214-6568, Biswas, S. ORCID: 0000-0002-6770-9845 , Latif, Z. ORCID: 0000-0002-5373-8063, Qu, Q. ORCID: 0000-0001-5814-8460 & Li, F. ORCID: 0000-0002-2348-4488view all authors (2024). CIC-SIoT: Clean-Slate Information-Centric Software-Defined Content Discovery and Distribution for Internet-of-Things. IEEE Internet of Things Journal, 11(22), pp. 37140-37153. doi: 10.1109/jiot.2024.3441814

Lopedoto, E., Weyde, T. ORCID: 0000-0001-8028-9905 & Salako, K. ORCID: 0000-0003-0394-7833 (2024). DATE: Derivative Alignment Training for Extrapolation with Neural Networks. In: Goebel, R., Wahlster, W. & Zhou, Z-H. (Eds.), Artificial Intelligence XLI. SGAI BCS AI2024, 17-19 Dec 2024, Cambridge.

Balduf, L. ORCID: 0000-0002-3519-7160, Sokoto, S. ORCID: 0000-0001-7152-546X, Ascigil, O. ORCID: 0000-0002-3023-6431 , Tyson, G. ORCID: 0000-0003-3010-791X, Scheuermann, B. ORCID: 0000-0002-1133-1775, Korczyński, M. ORCID: 0000-0002-4334-3260, Castro, I. ORCID: 0000-0002-7739-6184 & Król, M. ORCID: 0000-0002-3437-8621view all authors (2024). Looking AT the Blue Skies of Bluesky. In: Proceedings of the 2024 ACM on Internet Measurement Conference. IMC '24: ACM Internet Measurement Conference, 4-6 Nov 2024, Madrid, Spain. doi: 10.1145/3646547.3688407

Zohora, F. T., Biswas, S. ORCID: 0000-0002-6770-9845, Bairagi, A. K. & Sharif, K.view all authors (2024). Nature-based Bengali Picture Captioning using Global Attention with GRU. In: 2024 IEEE 34th International Workshop on Machine Learning for Signal Processing (MLSP). 2024 IEEE 34th International Workshop on Machine Learning for Signal Processing (MLSP), 22-25 Sep 2024, London, UK. doi: 10.1109/mlsp58920.2024.10734813

Popov, P. ORCID: 0000-0002-3434-5272 (2024). Multivariate Bayesian Inference for safety assessment of Autonomous Vehicles in changeable operational environement (1.0)

Yazdaninejad, H., Rajarajan, M. ORCID: 0000-0001-5814-9922 & Krol, M. ORCID: 0000-0002-3437-8621 (2024). A Blockchain-enabled and Transparent Evaluation of ML Models in the Decentralised Marketplace. In: 2024 IEEE International Conference on Blockchain (Blockchain). 2024 IEEE International Conference on Blockchain (Blockchain), 19-22 Aug 2024, Copenhagen, Denmark. doi: 10.1109/blockchain62396.2024.00067

Bloomfield, R. ORCID: 0000-0002-2050-6151 & Rushby, J. (2024). Confidence in Assurance 2.0 Cases.

Brain, M. ORCID: 0000-0003-4216-7151 & Polgreen, E. (2024). A Pyramid Of (Formal) Software Verification. In: Lecture Notes in Computer Science. 26th International Symposium, FM 2024, 9-13 Sep 2024, Milan, Italy. doi: 10.1007/978-3-031-71177-0_24

Peeroo, K. ORCID: 0000-0001-8601-4750, Stankovic, V. ORCID: 0000-0002-8740-6526, Popov, P. ORCID: 0000-0002-3434-5272 & Weyde, T. ORCID: 0000-0001-8028-9905view all authors (2024). Visualising the Impact of High-dimensional Configuration Parameters on the Performance of Data Distribution Service

Silkar, D., d'Avila Garcez, A. ORCID: 0000-0001-7375-9518, Bloomfield, R. ORCID: 0000-0002-2050-6151 , Weyde, T. ORCID: 0000-0001-8028-9905, Peeroo, K. ORCID: 0000-0001-8601-4750, Singh, N., Hutchinson, M., Laksono, D. ORCID: 0000-0002-8503-5274 & Reljan-Delaney, M. ORCID: 0009-0000-8722-9323view all authors (2024). The Misclassification Likelihood Matrix: Some Classes Are More Likely To Be Misclassified Than Others. In: Computer Graphics & Visual Computing (CGVC). CGVC, 12-13 Sep 2024, London, United Kingdom. doi: 10.2312/cgvc.20241239

Keizer, N. V., Ascigil, O., Król, M. ORCID: 0000-0002-3437-8621 , Kutscher, D. & Pavlou, G.view all authors (2024). A Survey on Content Retrieval on the Decentralised Web. ACM Computing Surveys, 56(8), pp. 1-39. doi: 10.1145/3649132

Król, M. ORCID: 0000-0002-3437-8621, Ascigil, O., Rene, S. , Sonnino, A., Pigaglio, M., Sadre, R., Lange, F. & Rivière, E.view all authors (2024). DISC-NG: Robust Service Discovery in the Ethereum Global Network. In: 2024 IEEE 9th European Symposium on Security and Privacy (EuroS&P). 2024 IEEE 9th European Symposium on Security and Privacy (EuroS&P), 8-12 Jul 2024, Vienna, Austria. doi: 10.1109/eurosp60621.2024.00019

Sokoto, S., Balduf, L., Trautwein, D. , Wei, Y., Tyson, G., Castro, I., Ascigil, O., Pavlou, G., Korczynski, M., Scheuermann, B. & Krol, M. ORCID: 0000-0002-3437-8621view all authors (2024). Guardians of the Galaxy: Content Moderation in the InterPlanetary File System. In: Proceedings of the 33rd USENIX Security Symposium. USENIX Security Symposium, 14-16 Aug 2024, Philadelphia, USA.

Nag, A., Mondal, H., Mehedi Hassan, M. ORCID: 0000-0002-9890-0968 , Al-Shehari, T. ORCID: 0000-0002-9783-919X, Kadrie, M. ORCID: 0009-0000-4591-5069, Al-Razgan, M. ORCID: 0000-0002-9705-3867, Alfakih, T. ORCID: 0000-0003-0366-5932, Biswas, S. ORCID: 0000-0002-6770-9845 & Kumar Bairagi, A. ORCID: 0009-0000-9132-8893view all authors (2024). TumorGANet: A Transfer Learning and Generative Adversarial Network- Based Data Augmentation Model for Brain Tumor Classification. IEEE Access, 12, pp. 103060-103081. doi: 10.1109/access.2024.3429633

Consul, P. ORCID: 0000-0002-3200-6349, Joshi, N. ORCID: 0000-0002-1984-8197, Budhiraja, I. ORCID: 0000-0002-7495-5032 , Biswas, S. ORCID: 0000-0002-6770-9845, Kumar, N. ORCID: 0000-0002-3020-3947, Sharma, S. ORCID: 0009-0001-8177-9225 & Abraham, A. ORCID: 0000-0002-0169-6738view all authors (2024). A Reliable Zero-Trust Network for Task Offloading in Vehicular Systems Using an Asynchronous Federated Learning Approach in 6G. In: Proceedings of the SIGCOMM Workshop on Zero Trust Architecture for Next Generation Communications. ACM SIGCOMM '24: ACM SIGCOMM 2024 Conference, 4-8 Aug 2024, Sydney, Australia. doi: 10.1145/3672200.3673877

Zatserkovnyi, R. ORCID: 0000-0001-6991-2866, Kutsyk, P. ORCID: 0000-0001-5795-9704, Zatserkovna, R. ORCID: 0000-0003-1011-053X , Maik, V. ORCID: 0000-0002-6650-2703 & Popov, P. T. ORCID: 0000-0002-3434-5272view all authors (2024). Enhancing adapted print publication accessibility via text-to-image synthesis. In: CEUR Workshop Proceedings. 1st International Workshop on Intelligent & CyberPhysical Systems (ICyberPhyS 2024), 28 Jun 2024, Khmelnytskyi, Ukraine.

Bishop, P. G. ORCID: 0000-0003-3307-5159, Povyakalo, A. A. ORCID: 0000-0002-4068-422X & Strigini, L. ORCID: 0000-0002-4246-2866 (2024). How to reason about Risk, given Inevitable Doubt on Arguments for High Dependability. Paper presented at the SAFECOMP 2024, 17-20 Sep 2024, Florence, Italy.

Chatterjee, S., Debnath, R., Biswas, S. ORCID: 0000-0002-6770-9845 & Bairagi, A. K.view all authors (2024). Prediction of RNA Secondary Structure Using Butterfly Optimization Algorithm. Human-Centric Intelligent Systems, 4(2), pp. 220-240. doi: 10.1007/s44230-024-00062-6

Popov, P. ORCID: 0000-0002-3434-5272 (2024). AV IntersectionModels (1.0)

Aghazadeh Chakherlou, R. & Strigini, L. ORCID: 0000-0002-4246-2866 (2024). Using Pre Change Operational Evidence For Predicting Post Change Reliability, Given Prior Confidence In Fault-Freeness. In: Kołowrocki, K. & Dąbrowska, E. (Eds.), Advances in Reliability, Safety and Security, Part 3. ESREL 2024, 23-27 Jun 2024, Cracow, Poland.

Brain, M. ORCID: 0000-0003-4216-7151 & Malkawi, M. (2024). Misconceptions about Loops in C. In: Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. SOAP '24: 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 25 Jun 2024, Copenhagen, Denmark. doi: 10.1145/3652588.3663324

Adhikari, S., Asad, H. ORCID: 0000-0002-8506-5721 & Jones, K. (2024). Enhancing IoT Security: Novel Mechanisms for Malware Detection using HPCs and Neural Networks. In: 2023 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). at 2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 1-3 Nov 2023, Exeter, UK. doi: 10.1109/TrustCom60117.2023.00199

Nosyk, Y., Korczyński, M., Gañán, C. H. , Król, M. ORCID: 0000-0002-3437-8621, Lone, Q. & Duda, A.view all authors (2024). Don’t Get Hijacked: Prevalence, Mitigation, and Impact of Non-Secure DNS Dynamic Updates. In: 2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). 2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 1-3 Nov 2023, Exeter, UK. doi: 10.1109/trustcom60117.2023.00202

Gàmez-Montolio, A., Florit, E., Brain, M. ORCID: 0000-0003-4216-7151 & Howe, J. M. ORCID: 0000-0001-8013-6941view all authors (2024). Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary Polynomials. Paper presented at the Workshop on Binary Analysis Research, 1 Mar 2024, San Diego, USA. doi: 10.14722/bar.2024.23014

Peeroo, K. ORCID: 0000-0001-8601-4750, Popov, P. T. ORCID: 0000-0002-3434-5272, Stankovic, V. ORCID: 0000-0002-8740-6526 & Weyde, T. ORCID: 0000-0001-8028-9905view all authors (2024). Machine Learning for Performance Prediction of Data Distribution Service (DDS). In: 2024 19th European Dependable Computing Conference (EDCC). European Dependable Computing Conference, 8-11 Apr 2024, Leuven, Belgium. doi: 10.1109/edcc61798.2024.00032

Asad, H., Adhikari, S. & Gashi, I. ORCID: 0000-0002-8017-3184 (2024). A Perspective-Retrospective Analysis of Diversity in Signature-Based Open-Source Network Intrusion Detection Systems. International Journal of Information Security, 23(2), pp. 1331-1346. doi: 10.1007/s10207-023-00794-9

Salako, K. ORCID: 0000-0003-0394-7833 & Zhao, X. (2024). Demonstrating Software Reliability using Possibly Correlated Tests: Insights from a Conservative Bayesian Approach. Quality and Reliability Engineering International, 40(3), pp. 1197-1220. doi: 10.1002/qre.3460

Biswas, S., De Martino, A. ORCID: 0000-0002-3656-0419, Rao, S. & Kundu, A.view all authors (2024). Two-channel Kondo problem in coupled interacting helical liquids. Physical Review B, 109(15), article number 155119. doi: 10.1103/physrevb.109.155119

Fernando, D. W. & Komninos, N. ORCID: 0000-0003-2776-1283 (2024). FeSAD ransomware detection framework with machine learning using adaption to concept drift. Computers & Security, 137, article number 103629. doi: 10.1016/j.cose.2023.103629

Sridhar, S., Ascigil, O., Keizer, N. , Genon, F., Pierre, S., Psaras, Y., Rivière, E. & Krol, M. ORCID: 0000-0002-3437-8621view all authors (2024). Content Censorship in the InterPlanetary File System. In: Proceedings 2024 Network and Distributed System Security Symposium. Network and Distributed System Security Symposium, 26 Feb - 1 Mar 2024, San Diego, USA. doi: 10.14722/ndss.2024.23153

Kysil, V., Popov, P. T. ORCID: 0000-0002-3434-5272, Drachuk, O. , Hnenna, V. & Martyniuk, I.view all authors (2024). Concept of Information Technology for Diagnosis and Prognosis of Glaucoma Based on Machine Learning Methods. In: CEUR Workshop Proceedings. IntelITSIS’2024: 5th International Workshop on Intelligent Information Technologies and Systems of Information Security, 28 Mar 2024, Khmelnytskyi, Ukraine.

Singamsetty, S., Ghanta, S., Biswas, S. ORCID: 0000-0002-6770-9845 & Pradhan, A.view all authors (2024). Enhancing machine learning-based forecasting of chronic renal disease with explainable AI. PeerJ Computer Science, 10, article number e2291. doi: 10.7717/peerj-cs.2291

Sokoto, S. ORCID: 0000-0001-7152-546X, Krol, M. ORCID: 0000-0002-3437-8621, Stankovic, V. ORCID: 0000-0002-8740-6526 & Rivière, E.view all authors (2023). Next-Generation Distributed Hash Tables. In: Proceedings of the on CoNEXT Student Workshop 2023. CoNEXT 2023: The 19th International Conference on emerging Networking EXperiments and Technologies, 8 Dec 2023, Paris, France. doi: 10.1145/3630202.3630234

Behbehani, D., Komninos, N. ORCID: 0000-0003-2776-1283, Al-Begain, K. & Rajarajan, M. ORCID: 0000-0001-5814-9922view all authors (2023). Cloud Enterprise Dynamic Risk Assessment (CEDRA): a dynamic risk assessment using dynamic Bayesian networks for cloud environment. Journal of Cloud Computing, 12(1), article number 79. doi: 10.1186/s13677-023-00454-2

Wang, Z., Liu, X., Shao, X. , Alghamdi, A., Alrizq, M., Munir, M. S. & Biswas, S. ORCID: 0000-0002-6770-9845view all authors (2023). An Optimized and Scalable Blockchain-Based Distributed Learning Platform for Consumer IoT. Mathematics, 11(23), article number 4844. doi: 10.3390/math11234844

Behbehani, D., Komninos, N. ORCID: 0000-0003-2776-1283, Al-Begain, K. & Rajarajan, M. ORCID: 0000-0001-5814-9922view all authors (2023). Open Banking API Security: Anomalous Access Behaviour. In: 2023 International Conference on Innovations in Intelligent Systems and Applications (INISTA). 2023 International Conference on Innovations in Intelligent Systems and Applications (INISTA), 20-23 Sep 2023, Hammamet, Tunisia. doi: 10.1109/inista59065.2023.10310517

Peeroo, K. ORCID: 0000-0001-8601-4750, Popov, P. T. ORCID: 0000-0002-3434-5272, Stankovic, V. ORCID: 0000-0002-8740-6526 & Weyde, T. ORCID: 0000-0001-8028-9905view all authors (2023). Machine Learning for Performance Prediction of Data Distribution Service. London, UK: City, University of London.

Balduf, L., Korczyński, M., Ascigil, O. , Keizer, N. V., Pavlou, G., Scheuermann, B. & Król, M. ORCID: 0000-0002-3437-8621view all authors (2023). The Cloud Strikes Back: Investigating the Decentralization of IPFS. In: Proceedings of the 2023 ACM on Internet Measurement Conference. IMC '23: ACM Internet Measurement Conference, 24-26 Oct 2023, Montreal, Canada. doi: 10.1145/3618257.3624797

Pigaglio, M., Król, M. ORCID: 0000-0002-3437-8621 & Riviére, E. (2023). Exploring Locality in Ethereum Transactions. In: 2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS). 2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), 11-13 Oct 2023, Paris, France. doi: 10.1109/brains59668.2023.10317054

Keizer, N. V., Ascigil, O., Król, M. ORCID: 0000-0002-3437-8621 & Pavlou, G.view all authors (2023). Ditto: Towards Decentralised Similarity Search for Web3 Services. In: 2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS). 2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS), 17-20 Jul 2023, Athens, Greece. doi: 10.1109/dapps57946.2023.00018

Haque, S., El-Moussa, F., Komninos, N. ORCID: 0000-0003-2776-1283 & Rajarajan, M. ORCID: 0000-0001-5814-9922view all authors (2023). A Systematic Review of Data-Driven Attack Detection Trends in IoT. Sensors, 23(16), article number 7191. doi: 10.3390/s23167191

Howe, J. M. ORCID: 0000-0001-8013-6941 & Nyx Brain, M. (2023). Widening for Systems of Two Variables Per Inequality. In: CEUR Workshop Proceedings. 8th SC-Square Workshop, 28 Jul 2023, Tromsø, Norway.

Król, M., Ascigil, O., Rene, S. , Rivière, E., Pigaglio, M., Peeroo, K. ORCID: 0000-0001-8601-4750, Stankovic, V. ORCID: 0000-0002-8740-6526, Sadre, R. & Lange, F.view all authors (2023). Data Availability Sampling in Ethereum: Analysis of P2P Networking Requirements. doi: 10.48550/arXiv.2306.11456

Izonin, I., Hovorushchenko, T. & Popov, P. T. ORCID: 0000-0002-3434-5272 (2023). Assurance of Information Systems' Quality and Security. Journal of Cyber Security and Mobility, 12(3), pp. V-XI.

Hovorushchenko, T., Savenko, O., Popov, P. T. ORCID: 0000-0002-3434-5272 & Lysenko, S.view all authors (2023). Preface. In: Proceedings of the 4th International Workshop on Intelligent Information Technologies & Systems of Information Security. 4th International Workshop on Intelligent Information Technologies & Systems of Information Security, 22-24 Mar 2023, Khmelnytskyi, Ukraine.

Biswas, S., Martino, A. D., Rao, S. & Kundu, A.view all authors (2023). Two-channel Kondo problem in coupled interacting helical liquids.

Salako, K. ORCID: 0000-0003-0394-7833 & Zhao, X. (2023). The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments. IEEE Transactions on Software Engineering, 49(4), pp. 2829-2838. doi: 10.1109/TSE.2022.3233802

Brain, M. ORCID: 0000-0003-4216-7151, Cid, C., Player, R. & Robson, W.view all authors (2023). Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation. In: Code-Based Cryptography. 10th International Workshop, CBCrypto 2022, 29-30 May 2022, Trondheim, Norway. doi: 10.1007/978-3-031-29689-5_2

Biswas, S. ORCID: 0000-0002-6770-9845, Yao, Z., Yan, L. , Alqhatani, A., Bairagi, A. K., Asiri, F. & Masud, M.view all authors (2023). Interoperability Benefits and Challenges in Smart City Services: Blockchain as a Solution. Electronics, 12(4), article number 1036. doi: 10.3390/electronics12041036

Kosari, A., Popov, P. ORCID: 0000-0002-3434-5272 & Roy, R. ORCID: 0000-0001-5491-7437 (2023). Modelling Safety of Connected and Autonomous Vehicles (CAVs) under Cyber-Attacks on Perception and Safety Monitors. In: 2022 12th International Conference on Dependable Systems, Services and Technologies (DESSERT). 2022 12th International Conference on Dependable Systems, Services and Technologies (DESSERT), 9-11 Dec 2022, Athens, Greece. doi: 10.1109/dessert58054.2022.10018781

Behbehani, D., Rajarajan, M. ORCID: 0000-0001-5814-9922, Komninos, N. ORCID: 0000-0003-2776-1283 & Al-Begain, K.view all authors (2023). Detecting Open Banking API Security Threats Using Bayesian Attack Graphs. In: 2022 14th International Conference on Computational Intelligence and Communication Networks (CICN). 2022 14th International Conference on Computational Intelligence and Communication Networks (CICN), 4-6 Dec 2022, Online. doi: 10.1109/cicn56167.2022.10008365

Hunt, S. ORCID: 0000-0001-7255-4465, Sands, D. & Stucki, S. (2023). Reconciling Shannon and Scott with a Lattice of Computable Information. Proceedings of the ACM on Programming Languages, 7(POPL), pp. 1987-2016. doi: 10.1145/3571740

Huang, F. & Strigini, L. ORCID: 0000-0002-4246-2866 (2023). HEDF: A Method for Early Forecasting Software Defects Based on Human Error Mechanisms. IEEE Access, 11, pp. 3626-3652. doi: 10.1109/access.2023.3234490

Hovorushchenko, T., Aleksov, S., Ishtvan, E. , Voichur, O. & Popov, P. T. ORCID: 0000-0002-3434-5272view all authors (2023). Recognizing the Situations and Supporting the Decision-Making in the Residential Luminosity Control Subsystem of «Smart House» Cyber-Physical System. In: CEUR Workshop Proceedings. Intelligent Information Technologies & Systems of Information Security 2023, 22-24 Mar 2023, Khmelnytskyi, Ukraine.

Aghazadeh Chakherlou, R., Salako, K. ORCID: 0000-0003-0394-7833 & Strigini, L. ORCID: 0000-0002-4246-2866 (2022). Arguing safety of an improved autonomous vehicle from safe operation before the change: new results. In: RAIS 2022 2nd International Workshop on Reliability of Autonomous Intelligent Systems. RAIS 2022 2nd International Workshop on Reliability of Autonomous Intelligent Systems, 31 Oct - 3 Nov 2022, Charlotte, NC, USA. doi: 10.1109/ISSREW55968.2022.00085

Hovorushchenko, T., Popov, P. T. ORCID: 0000-0002-3434-5272, Medzatyi, D. & Voichur, Y.view all authors (2022). Method and Technology for Ensuring the Software Security by Identifying and Classifying the Failures and Vulnerabilities. In: Lytvynenko, I. & Lupenko, S. (Eds.), Information Technologies: Theoretical and Applied Problems 2022. 2nd International Workshop on Information Technologies: Theoretical and Applied Problems (ITTAP 2022), 22-24 Nov 2022, Ternopil, Ukraine.

Bishop, P. ORCID: 0000-0003-3307-5159, Povyakalo, A. ORCID: 0000-0002-4068-422X & Strigini, L. ORCID: 0000-0002-4246-2866 (2022). Bootstrapping confidence in future safety based on past safe operation. In: 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE). 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE 2022), 31 Oct - 3 Nov 2022, Charlotte, NC, USA. doi: 10.1109/ISSRE55969.2022.00020

Latif, Z., Umer, Q., Lee, C. , Sharif, K., Li, F. & Biswas, S. ORCID: 0000-0002-6770-9845view all authors (2022). A Machine Learning-Based Anomaly Prediction Service for Software-Defined Networks. Sensors, 22(21), article number 8434. doi: 10.3390/s22218434

Popov, P. T. ORCID: 0000-0002-3434-5272, Buerkle, C., Oboril, F. , Paulitsch, M. & Strigini, L. ORCID: 0000-0002-4246-2866view all authors (2022). Modelling road hazards and the effect on AV safety of hazardous failures. In: 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC). The 25th IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC 2022), 8 Oct - 12 Oct 2022, Macau, China. doi: 10.1109/ITSC55140.2022.9922283

Bohm, N., Ladkin, P. B., Littlewood, B. ORCID: 0000-0002-6397-8685 , Marshall, P., Mason, S., Newby, M., Murdoch, SJ, Thimbleby, H. & Thomas, M.view all authors (2022). Briefing Note: The legal rule that computers are presumed to be operating correctly – unforeseen and unjust consequences. Digital Evidence and Electronic Signature Law Review, 19, pp. 123-127. doi: 10.14296/deeslr.v19i0.5476

Alghamdi, A., Zhu, J., Yin, G. , Shorfuzzaman, M., Alsufyani, N., Alyami, S. & Biswas, S. ORCID: 0000-0002-6770-9845view all authors (2022). Blockchain Empowered Federated Learning Ecosystem for Securing Consumer IoT Features Analysis. Sensors, 22(18), article number 6786. doi: 10.3390/s22186786

Terrosi, F., Strigini, L. ORCID: 0000-0002-4246-2866 & Bondavalli, A. (2022). Impact of Machine Learning on Safety Monitors. In: Lecture Notes in Computer Science. 41st International Conference, SAFECOMP 2022, 6-9 Sep 2022, Munich, Germnay. doi: 10.1007/978-3-031-14835-4_9

Bishop, P. ORCID: 0000-0003-3307-5159 & Povyakalo, A. A. ORCID: 0000-0002-4068-422X (2022). Optimising the Reliability that can be Claimed for a Software-based System based on Failure-free Tests of its components. In: Computer Safety, Reliability, and Security. 41st International Conference, SAFECOMP 2022, 6-9 Sep 2022, Munich, Germnay. doi: 10.1007/978-3-031-14835-4

Gadala, M., Strigini, L. ORCID: 0000-0002-4246-2866 & Fujdiak, R. (2022). Authentication for Operators of Critical Medical Devices: A Contribution to Analysis of Design Trade-offs. In: Proceedings of the 17th International Conference on Availability, Reliability and Security. ARES 20222: The 17th International Conference on Availability, Reliability and Security, 23-26 Aug 2022, Vienna, Austria. doi: 10.1145/3538969.3544474

Peeroo, K. ORCID: 0000-0001-8601-4750, Popov, P. & Stankovic, V. ORCID: 0000-0002-8740-6526 (2022). Exploring The Effects of Multicast Communication on DDS Performance. Paper presented at the European Dependable Computing Conference, 12-15 Sep 2022, Zaragoza, Spain.

Littlewood, B. ORCID: 0000-0002-6397-8685 & Strigini, L. ORCID: 0000-0002-4246-2866 (2022). Letter to the Editor: A Critical Response to a Recent Paper by Daniels and Tudor. Safety-Critical Systems eJournal, 1(2),

Berry, C. & Komninos, N. ORCID: 0000-0003-2776-1283 (2022). Efficient Optimisation Framework for Convolutional Neural Networks with Secure Multiparty Computation. Computers and Security, 117, article number 102679. doi: 10.1016/j.cose.2022.102679

Fernando, D. W. & Komninos, N. ORCID: 0000-0003-2776-1283 (2022). FeSA: Feature Selection Architecture for Ransomware Detection Under Concept Drift. Computers & Security, 116, article number 102659. doi: 10.1016/j.cose.2022.102659

Hovorushchenko, T., Savenko, O., Popov, P. T. ORCID: 0000-0002-3434-5272 & Lysenko, S.view all authors (2022). Preface. In: Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security. 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security, 26-25 Mar 2022, Khmelnytskyi, Ukraine.

Wang, J., Zhu, J., Zhang, M. , Alam, I. & Biswas, S. ORCID: 0000-0002-6770-9845view all authors (2022). Function Virtualization Can Play a Great Role in Blockchain Consensus. IEEE Access, 10, pp. 59862-59877. doi: 10.1109/access.2022.3176349

Bloomfield, R. E. ORCID: 0000-0002-2050-6151 & Rushby, J. (2022). Assessing Confidence with Assurance 2.0 (SRI-CSL-2022-02). California, USA: SRI International.

Barbosa, H., Barrett, C., Brain, M. ORCID: 0000-0003-4216-7151 , Kremer, G., Lachnitt, H., Mann, M., Mohamed, A., Mohamed, M., Niemetz, A., Nötzli, A., Ozdemir, A., Preiner, M., Reynolds, A., Sheng, Y., Tinelli, C. & Zohar, Y.view all authors (2022). cvc5: A Versatile and Industrial-Strength SMT Solver. In: Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, 2–7 Apr 2022, Munich, Germany. doi: 10.1007/978-3-030-99524-9_24

Liu, Y., Shan, G., Liu, Y. , Alghamdi, A., Alam, I. & Biswas, S. ORCID: 0000-0002-6770-9845view all authors (2022). Blockchain Bridges Critical National Infrastructures: E-Healthcare Data Migration Perspective. IEEE Access, 10, pp. 28509-28519. doi: 10.1109/access.2022.3156591

Asad, H. & Gashi, I. ORCID: 0000-0002-8017-3184 (2022). Dynamical Analysis of Diversity in Rule-Based Open Source Network Intrusion Detection Systems. Empirical Software Engineering, 27(1), article number 4. doi: 10.1007/s10664-021-10046-w

Bishop, P. G. ORCID: 0000-0003-3307-5159 & Povyakalo, A. A. (2022). Optimising the reliability that can be claimed for a software-based system based on failure-free tests of its components. .

Sonnino, A., Baudet, M. & Krol, M. ORCID: 0000-0002-3437-8621 (2022). Low-latency, Scalable, DeFi with Zef. arXiv. doi: 10.48550/arXiv.2201.05073

Hovorushchenko, T., Osyadlyi, V., Popov, P. T. ORCID: 0000-0002-3434-5272 & Kysil, T.view all authors (2022). The Structure of the Blockchain-Based Multi-Agent System for Secure Management of Medical Information. In: CEUR Workshop Proceedings. 5th International Conference on Informatics & Data-Driven Medicine, 18-20 Nov 2022, Lyon, France.

Hovorushchenko, T., Popov, P. T. ORCID: 0000-0002-3434-5272, Kapustian, M. , Lyubovetskyi, D. & Hovorushchenko, O.view all authors (2022). Cyber-Physical System for Donor Organs' Rejection Risks Prevention Based on Donor and Recipient Health Monitoring. In: CEUR Workshop Proceedings. IntelITSIS’2022: 3rd International Workshop on Intelligent Information Technologies and Systems of Information Security, 23-25 Mar 2022, Khmelnytskyi, Ukraine.

Bohm, N., Christie, J., Ladkin, P. B. , Littlewood, B. ORCID: 0000-0002-6397-8685, Marshall, P., Mason, S., Newby, M., Murdoch, S., Thimbleby, H. & Thomas, M.view all authors (2022). The legal rule that computers are presumed to be operating correctly – unforeseen and unjust consequences. London, UK: Information Security Research & Education, University College London (UCL).