Browse by ISBN
Book Section
Braun, Christoph H.-J. and Horne, Ross and Käfer, Tobias and Mauw, Sjouke; (2024) SSI, from specifications to protocol? : Formally verify security! In: WWW '24: Proceedings of the ACM on Web Conference 2024. ACM, Singapore, 1620–1631. ISBN 9798400701719
Vu, Anh V. and Thomas, Daniel R. and Collier, Ben and Hutchings, Alice and Clayton, Richard and Anderson, Ross; (2024) Getting bored of cyberwar : exploring the role of low-level cybercrime actors in the Russia-Ukraine conflict. In: WWW '24: Proceedings of the ACM on Web Conference 2024. ACM, Singapore, 1596–1607. ISBN 9798400701719