Items where Schools and Departments is "Software Reliability" and Year is 2021
B
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.
.
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.
In:
CEUR Workshop Proceedings.
IntelITSIS’2021: 2nd International Workshop on Intelligent Information Technologies and Systems of Information Security, 24-26 Mar 2021, Khmelnytskyi, Ukraine.
G
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.
.
H
Hunt, S. ORCID: 0000-0001-7255-4465 & Sands, D. (2021).
A Quantale of Information.
In:
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 21-25 Jun 2021, Dubrovnik, Croatia.
doi: 10.1109/CSF51468.2021.00031
J
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
K
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.
AFT '21: 3rd ACM Conference on Advances in Financial Technologies, 26-28 Sep 2021, Arlington Virginia, USA.
doi: 10.1145/3479722.3480989
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),
pp. 1-27.
doi: 10.1145/3419483
M
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,
article number 102339.
doi: 10.1016/j.cose.2021.102339
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., Garibaldi, J., Linares-Barranco, A. , Warwick, K. & Madani, K. (Eds.),
Computational Intelligence.
11th International Joint Conference, IJCCI 2019, 17-19 Sep 2019, Vienna, Austria.
doi: 10.1007/978-3-030-70594-7_15
S
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.
In:
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
The 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 21-24 Jun 2021, Taipei, Taiwan.
doi: 10.1109/DSN48987.2021.00055
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.
Strigini, L. ORCID: 0000-0002-4246-2866 & Huang, F. (2021).
HEDP: A Method for Early Forecasting Software Defects based on Human Error Mechanisms.
.
Z
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