Browse by ISBN
B
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
V
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