141 - 150 out of 2,173Page size: 10
- 2020
- Published
Legislation-Driven Development of a Gift Aid system using Event-B
Williams, D. M., Darwish, S., Schneider, S. & Michael, D. R., 25 May 2020, In: Formal Aspects of Computing. 32, 2, p. 251-273 23 p.Research output: Contribution to journal › Article › peer-review
- E-pub ahead of print
Adversary Model for Attacks Against IEC 61850 Real-Time Communication Protocols
Nweke, L. O., Kahsay Weldehawaryat, G. & Wolthusen, S. D., 11 May 2020, (E-pub ahead of print) 2020 16th International Conference on the Design of Reliable Communication Networks, DRCN 2020. Institute of Electrical and Electronics Engineers Inc., p. 1-8 8 p. 9089346. (2020 16th International Conference on the Design of Reliable Communication Networks, DRCN 2020).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
How not to secure wireless sensor networks revisited: Even if you say it twice it's still not secure
Mitchell, C. J., 9 May 2020, arXiv.Research output: Working paper
- E-pub ahead of print
Digital welfare: designing for more nuanced forms of access
Coles-Kemp, L., Ashenden, D., Morris, A. & Yuille, J., 7 May 2020, (E-pub ahead of print) In: Policy Design and Practice. p. 1-12 12 p.Research output: Contribution to journal › Book/Film/Article review › peer-review
- Published
- E-pub ahead of print
(One) Failure Is Not an Option: Bootstrapping the Search for Failures in Lattice-Based Encryption Schemes
D'Anvers, J-P., Rossi, M. & Virdia, F., 1 May 2020, (E-pub ahead of print) Advances in Cryptology – EUROCRYPT 2020. Springer, p. 3-33 31 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- E-pub ahead of print
Implementing Grover Oracles for Quantum Key Search on AES and LowMC
Jaques, S., Naehrig, M., Roetteler, M. & Virdia, F., 1 May 2020, (E-pub ahead of print) Advances in Cryptology – EUROCRYPT 2020. Springer, p. 280-310 31 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
- Published
Anti-virus, Anti-malware, & Firewalls: Police Digital Security Centre
Agha, D., May 2020Research output: Other contribution
- E-pub ahead of print
Improved Classical Cryptanalysis of SIKE in Practice
Costello, C., Longa, P., Naehrig, M., Renes, J. & Virdia, F., 29 Apr 2020, (E-pub ahead of print) Public-Key Cryptography – PKC 2020. Springer, p. 505-534 30 p. (Lecture Notes in Computer Science; vol. 12111).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution