published in Proceedings of the 17th International Conference on Availability, Reliability and Security