- 2019
- Published
Bounded and Approximate Strong Satisfiability in Workflows
Crampton, J., Gutin, G. & Majumdar, D., 28 May 2019, Proceedings of ACM SACMAT 2019. ACM, p. 179-184 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- E-pub ahead of print
Strong Post-Compromise Secure Proxy Re-Encryption
Davidson, A., Deo, A., Lee, E. & Martin, K., 30 May 2019, (E-pub ahead of print) Information Security and Privacy - 24th Australasian Conference, ACISP 2019, Proceedings. Jang-Jaccard, J. & Guo, F. (eds.). Springer-Verlag, p. 58-77 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11547 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- E-pub ahead of print
δ-subgaussian Random Variables in Cryptography
Murphy, S. & Player, R., 30 May 2019, (E-pub ahead of print) ACISP 2019 -- The 24th Australasian Conference on Information Security and Privacy. Springer, p. 251-268 18 p. (LNCS; vol. 11547).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Commoning mobility: Towards a new politics of mobility transitions
Nikolaeva, A., Adey, P., Cresswell, T., Jeonjae Lee, J., Novoa, A. & Temenos, C., Jun 2019, In: Transactions of the Institute of British Geographers. 44, 2, p. 346-360 15 p.Research output: Contribution to journal › Article › peer-review
- Published
Hearing attacks in network data: An effectiveness study
Axon, L., Happa, J., Goldsmith, M. & Creese, S., Jun 2019, In: Computers and Security. 83, p. 367-388 22 p.Research output: Contribution to journal › Article › peer-review
- Published
Removing epoxy underfill between neighbouring components using acid for component chip-off
Heckmann, T., McEvoy, J., Markantonakis, K., Akram, R. N. & Naccache, D., Jun 2019, In: digital investigation. 29, p. 198-209 12 p.Research output: Contribution to journal › Article › peer-review
- E-pub ahead of print
An Evaluation of the Security of the Bitcoin Peer-To-Peer Network
Tapsell, J., Akram, R. N. & Markantonakis, K., 3 Jun 2019, (E-pub ahead of print) p. 1-6. 6 p.Research output: Contribution to conference › Paper › peer-review
- E-pub ahead of print
E-Voting With Blockchain: An E-Voting Protocol with Decentralisation and Voter Privacy
Hardwick, F. S., Gioulis, A., Akram, R. N. & Markantonakis, K., 3 Jun 2019, (E-pub ahead of print) p. 1-7. 7 p.Research output: Contribution to conference › Paper › peer-review
- E-pub ahead of print
On Deception-Based Protection Against Cryptographic Ransomware
Alper Genç, Z., Lenzini, G. & Sgandurra, D., 6 Jun 2019, (E-pub ahead of print) DIMVA 2019: 16th Conference on Detection of Intrusions and Malware & Vulnerability Assessment. Springer, p. 219-239 21 p. (Lecture Notes in Computer Science; vol. 11543).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Sound regular expression semantics for dynamic symbolic execution of JavaScript
Loring, B., Mitchell, D. & Kinder, J., 8 Jun 2019, PLDI'19: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, p. 425-438 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution