1. | 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, doi: 10.1109/TSE.2022.3233802 | ![[img]](https://openaccess.city.ac.uk/29507/8.hassmallThumbnailVersion/KSXZ_TSE2022_UnnecessityOfAssumingIndependentTests%20%28002%29.pdf) ![src=https://openaccess.city.ac.uk/29507/8.haspreviewThumbnailVersion/KSXZ_TSE2022_UnnecessityOfAssumingIndependentTests%20%28002%29.pdf]() Preview |
|
2. | 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: UNSPECIFIED . IEEE. ISBN 9781665476805 doi: 10.1109/ISSREW55968.2022.00085 | ![[img]](https://openaccess.city.ac.uk/28642/1.hassmallThumbnailVersion/RAIS_2022_paper_1356.pdf) ![src=https://openaccess.city.ac.uk/28642/1.haspreviewThumbnailVersion/RAIS_2022_paper_1356.pdf]() Preview |
|
3. | Popov, P. T. ORCID: 0000-0002-3434-5272, Buerkle, C., Oboril, F. , Paulitsch, M. & Strigini, L. ORCID: 0000-0002-4246-2866 (2022). Modelling road hazards and the effect on AV safety of hazardous failures. In: 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC). (pp. 1886-1893). New York, USA: IEEE. ISBN 978-1-6654-6880-0 doi: 10.1109/ITSC55140.2022.9922283 | ![[img]](https://openaccess.city.ac.uk/28344/8.hassmallThumbnailVersion/CityIntelAVModel_withHazards_v5.pdf) ![src=https://openaccess.city.ac.uk/28344/8.haspreviewThumbnailVersion/CityIntelAVModel_withHazards_v5.pdf]() Preview |
|
4. | Terrosi, F., Strigini, L. ORCID: 0000-0002-4246-2866 & Bondavalli, A. (2022). Impact of Machine Learning on Safety Monitors. Lecture Notes in Computer Science, 13414, pp. 129-143. ISSN 0302-9743 doi: 10.1007/978-3-031-14835-4_9 Item availability may be restricted. | |
5. | 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. Paper presented at the 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE 2022), 31 Oct - 3 Nov 2022, Charlotte, NC, USA. | ![[img]](https://openaccess.city.ac.uk/28641/1.hassmallThumbnailVersion/ISSRE2022_bootstrapping.pdf) ![src=https://openaccess.city.ac.uk/28641/1.haspreviewThumbnailVersion/ISSRE2022_bootstrapping.pdf]() Preview |
|
6. | 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. . ACM. ISBN 9781450396707 doi: 10.1145/3538969.3544474 | ![[img]](https://openaccess.city.ac.uk/28633/1.hassmallThumbnailVersion/Authentication%20for%20Operators%20of%20Critical%20Medical%20Devices.pdf) ![src=https://openaccess.city.ac.uk/28633/1.haspreviewThumbnailVersion/Authentication%20for%20Operators%20of%20Critical%20Medical%20Devices.pdf]() Preview |
|
7. | 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. . | ![[img]](https://openaccess.city.ac.uk/27560/1.hassmallThumbnailVersion/component_test_optimisation_v1.pdf) ![src=https://openaccess.city.ac.uk/27560/1.haspreviewThumbnailVersion/component_test_optimisation_v1.pdf]() Preview |
|
8. | Bishop, P. G. ORCID: 0000-0003-3307-5159, Povyakalo, A. A. ORCID: 0000-0002-4068-422X & Strigini, L. ORCID: 0000-0002-4246-2866 (2021). Bootstrapping confidence in future safety based on past safe operation. . | ![[img]](https://openaccess.city.ac.uk/26949/1.hassmallThumbnailVersion/2110.10718v1.pdf) ![src=https://openaccess.city.ac.uk/26949/1.haspreviewThumbnailVersion/2110.10718v1.pdf]() Preview |
|
9. | Strigini, L. ORCID: 0000-0002-4246-2866 & Huang, F. (2021). HEDP: A Method for Early Forecasting Software Defects based on Human Error Mechanisms. . | ![[img]](https://openaccess.city.ac.uk/26951/1.hassmallThumbnailVersion/2110.06758.pdf) ![src=https://openaccess.city.ac.uk/26951/1.haspreviewThumbnailVersion/2110.06758.pdf]() Preview |
|
10. | Krol, M. ORCID: 0000-0002-3437-8621, Ascigil, O., Rene, S. , Sonnino, A., Al-Bassam, M. & Rivière, E. (2021). Shard scheduler: object placement and migration in sharded account-based blockchains. In: AFT '21: Proceedings of the 3rd ACM Conference on Advances in Financial Technologies. (pp. 43-56). Association for Computing Machinery. ISBN 9781450390828 doi: 10.1145/3479722.3480989 | ![[img]](https://openaccess.city.ac.uk/27308/8.hassmallThumbnailVersion/blockchain_sharding.pdf) ![src=https://openaccess.city.ac.uk/27308/8.haspreviewThumbnailVersion/blockchain_sharding.pdf]() Preview |
|
11. | Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. ORCID: 0000-0002-4246-2866 & Zhao, X. (2021). Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence. 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021, pp. 451-462. ISSN 1530-0889 doi: 10.1109/DSN48987.2021.00055 | ![[img]](https://openaccess.city.ac.uk/26128/1.hassmallThumbnailVersion/DSN2021_178_PostReview.pdf) ![src=https://openaccess.city.ac.uk/26128/1.haspreviewThumbnailVersion/DSN2021_178_PostReview.pdf]() Preview |
|
12. | Mereani, F. & Howe, J. M. ORCID: 0000-0001-8013-6941 (2021). Rule Extraction from Neural Networks and Other Classifiers Applied to XSS Detection. In: Morelo, J. J. (Ed.), Computational Intelligence. Studies in Computational Intelligence, 922. (pp. 359-386). Cham, Switzerland: Springer. doi: 10.1007/978-3-030-70594-7_15 | ![[img]](https://openaccess.city.ac.uk/25760/1.hassmallThumbnailVersion/RuleExtractionLong.pdf) ![src=https://openaccess.city.ac.uk/25760/1.haspreviewThumbnailVersion/RuleExtractionLong.pdf]() Preview |
|
13. | Gadala, M., Strigini, L. ORCID: 0000-0002-4246-2866 & Ayton, P. (2021). Improving Human Decisions by Adjusting the Alerting Thresholds for Computer Alerting Tools According to User and Task Characteristics. . | ![[img]](https://openaccess.city.ac.uk/26950/1.hassmallThumbnailVersion/2106.13544v1.pdf) ![src=https://openaccess.city.ac.uk/26950/1.haspreviewThumbnailVersion/2106.13544v1.pdf]() Preview |
|
14. | Krol, M. ORCID: 0000-0002-3437-8621, Sonnino, A., Al-Bassam, M. , Tasiopoulos, A. G., Riviere, E. & Psaras, I. (2021). Proof-of-Prestige: A Useful Work Reward System for Unverifiable Tasks. ACM Transactions on Internet Technology (TOIT), 21(2), 44. doi: 10.1145/3419483 | ![[img]](https://openaccess.city.ac.uk/27306/8.hassmallThumbnailVersion/pop_journal.pdf) ![src=https://openaccess.city.ac.uk/27306/8.haspreviewThumbnailVersion/pop_journal.pdf]() Preview |
|
15. | Junejo, A. K., Komninos, N. ORCID: 0000-0003-2776-1283 & McCann, J. A. (2021). A Secure Integrated Framework for Fog-Assisted Internet of Things Systems. IEEE Internet of Things Journal, 8(8), pp. 6840-6852. doi: 10.1109/jiot.2020.3035474 | ![[img]](https://openaccess.city.ac.uk/25202/1.hassmallThumbnailVersion/IFJournal-2ndRevision.pdf) ![src=https://openaccess.city.ac.uk/25202/1.haspreviewThumbnailVersion/IFJournal-2ndRevision.pdf]() Preview |
|
16. | Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. ORCID: 0000-0002-4246-2866 & Zhao, X. (2021). Proofs of Conservative Confidence Bounds on PFD,
Using Claims of Improved Reliability. London, UK: Centre for Software Reliability, City, University of London. | ![[img]](https://openaccess.city.ac.uk/25905/15.hassmallThumbnailVersion/DSN2021_178_TechnicalReport.pdf) ![src=https://openaccess.city.ac.uk/25905/15.haspreviewThumbnailVersion/DSN2021_178_TechnicalReport.pdf]() Preview |
|
17. | Zhang, Z., Krol, M. ORCID: 0000-0002-3437-8621, Sonnino, A. , Zhang, L. & Rivière, E. (2021). EL PASSO: Efficient and Lightweight Privacy-preserving Single Sign On. Proceedings on Privacy Enhancing Technologies, 2021(2), pp. 70-87. doi: 10.2478/popets-2021-0018 | ![[img]](https://openaccess.city.ac.uk/26898/1.hassmallThumbnailVersion/main.pdf) ![src=https://openaccess.city.ac.uk/26898/1.haspreviewThumbnailVersion/main.pdf]() Preview |
|
18. | Bobrovnikova, K., Lysenko, S., Popov, P. T. ORCID: 0000-0002-3434-5272 , Denysiuk, D. & Goroshko, A. (2021). Technique for IoT cyberattacks detection based on the energy consumption analysis. CEUR Workshop Proceedings, 2853, ISSN 1613-0073 | ![[img]](https://openaccess.city.ac.uk/26372/1.hassmallThumbnailVersion/paper54.pdf) ![src=https://openaccess.city.ac.uk/26372/1.haspreviewThumbnailVersion/paper54.pdf]() Preview |
|
19. | Hunt, S. ORCID: 0000-0001-7255-4465 & Sands, D. (2021). A Quantale of Information. 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1, pp. 358-372. ISSN 2374-8303 doi: 10.1109/CSF51468.2021.00031 | ![[img]](https://openaccess.city.ac.uk/26499/1.hassmallThumbnailVersion/Quantale_of_Information__CSF_2021_.pdf) ![src=https://openaccess.city.ac.uk/26499/1.haspreviewThumbnailVersion/Quantale_of_Information__CSF_2021_.pdf]() Preview |
|
20. | Marques, P., Rhode, M. & Gashi, I. ORCID: 0000-0002-8017-3184 (2021). Waste not: using diverse neural networks from hyperparameter search for improved malware detection. Computers & Security, 108, 102339. doi: 10.1016/j.cose.2021.102339 | ![[img]](https://openaccess.city.ac.uk/26278/1.hassmallThumbnailVersion/Waste_not.pdf) ![src=https://openaccess.city.ac.uk/26278/1.haspreviewThumbnailVersion/Waste_not.pdf]() Preview |
|