Centre for Doctoral Training in Cyber Security

Research output

Research output per year 2015 2016 2017 2021

• 15 Conference contribution
• 5 Article
• 1 Chapter

Research output per year

Research output per year

Search results

• 2021

  The Philosophy of Bitcoin and The Question of Money

  Butler, S., 5 Nov 2021, (E-pub ahead of print) In: Theory, Culture and Society.

  Research output: Contribution to journal › Article › peer-review

  Open Access
• 2019

  Majority vote ensembles of conformal predictors

  Cherubin, G., Mar 2019, In: Machine Learning. 108, 3, p. 475–488 14 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• 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

  Open Access

  File
  75 Downloads (Pure)
• 2018

  Analysing and exploiting the Mantin biases in RC4

  Bricout, R., Murphy, S., Paterson, K. & Van Der Merwe, T., Apr 2018, In: Designs, Codes and Cryptography. 86, 4, p. 743–770 28 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access
• 2017

  An Efficient Toolkit for Computing Private Set Operations

  Davidson, A. & Cid, C., 2017, Information Security and Privacy: 22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3–5, 2017, Proceedings, Part II. Pieprzyk, J. & Suriadi, S. (eds.). Springer Heidelberg, Vol. 2. p. 261-278 18 p. (Lecture Notes in Computer Science; vol. 10343).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  142 Downloads (Pure)

• Bayes, not Naïve: Security Bounds on Website Fingerprinting Defenses

  Cherubin, G., 2017, In: Proceedings on Privacy Enhancing Technologies. 2017, 4, p. 215-231 17 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Checking cryptographic API usage with composable annotations

  Mitchell, D., van Binsbergen, L. T., Loring, B. & Kinder, J., 25 Dec 2017, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018). p. 53-59 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  129 Downloads (Pure)

• ExpoSE: practical symbolic execution of standalone JavaScript

  Loring, B., Mitchell, D. & Kinder, J., 13 Jul 2017, SPIN 2017 : Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. ACM, p. 196–199 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  96 Downloads (Pure)

• Key Rotation for Authenticated Encryption

  Everspaugh, A., Paterson, K., Ristenpart, T. & Scott, S., 2 Aug 2017, (E-pub ahead of print) Advances in Cryptology – CRYPTO 2017 : 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20–24, 2017, Proceedings, Part III. Springer, p. 98-129 32 p. (Lecture Notes in Computer Science ; vol. 10403 ).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  299 Downloads (Pure)

• Modular Synthesis of Heap Exploits

  Repel, D., Kinder, J. & Cavallaro, L., 30 Oct 2017, PLAS '17 Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security. Association for Computing Machinery (ACM), p. 25-35 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  101 Downloads (Pure)

• POTUS: Probing Off-The-Shelf USB Drivers with Symbolic Fault Injection

  Patrick-Evans, J., Cavallaro, L. & Kinder, J., Aug 2017, USENIX Workshop on Offensive Technologies (WOOT). USENIX, p. 1-10 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  128 Downloads (Pure)

• Website Fingerprinting Defenses at the Application Layer

  Cherubin, G., Hayes, J. & Juarez, M., 2017, In: Proceedings on Privacy Enhancing Technologies. 2017, 2, p. 186-203 18 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access
• 2016

  A Model for Secure and Mutually Beneficial Software Vulnerability Sharing

  Davidson, A., Fenn, G. & Cid, C., 24 Oct 2016, WISCS '16 Proceedings of the 2016 ACM on Workshop on Information Sharing and Collaborative Security. ACM, p. 3-14 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  324 Downloads (Pure)

• A Surfeit of SSH Cipher Suites

  Albrecht, M., Degabriele, J., Hansen, T. & Paterson, K., 24 Oct 2016, Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), p. 1480-1491 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  242 Downloads (Pure)

• Backdoors in Pseudorandom Number Generators: Possibility and Impossibility Results

  Degabriele, J., Paterson, K., Schuldt, J. & Woodage, J., Aug 2016, Advances in Cryptology – CRYPTO 2016: 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I. Robshaw, M. & Katz, J. (eds.). Springer Berlin / Heidelberg, Vol. 9814. p. 403-432 30 p. (Lecture Notes in Computer Science ; vol. 9814).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  Open Access

  File
  161 Downloads (Pure)

• Hidden Markov Models with Confidence

  Cherubin, G. & Nouretdinov, I., 17 Apr 2016, Conformal and Probabilistic Prediction with Applications: 5th International Symposium, COPA 2016 Madrid, Spain, April 20–22, 2016 Proceedings. Springer, Vol. 9653. p. 128-144 17 p. (Lecture Notes in Computer Science; vol. 9653).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On Completeness in Languages for Attribute-Based Access Control

  Crampton, J. & Williams, C., 6 Jun 2016, Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies: SACMAT '16. New York: ACM Press, p. 149-160 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  130 Downloads (Pure)

• Prescience: Probabilistic Guidance on the Retraining Conundrum for Malware Detection

  Deo, A., Dash, S., Suarez de Tangil Rotaeche, G., Vovk, V. & Cavallaro, L., 28 Oct 2016, ACM Workshop on Artificial Intelligence and Security. Vienna, Austria: ACM, p. 71-82 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  225 Downloads (Pure)

• Reactive and Proactive Standardisation of TLS

  Paterson, K. & Merwe, T. V. D., 2 Nov 2016, (E-pub ahead of print) Security Standardisation Research - Third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5-6, 2016, Proceedings. Chen, L., McGrew, D. A. & Mitchell, C. (eds.). Springer Verlag, Vol. 10074. p. 160-186 27 p. (Lecture Notes in Computer Science; vol. 10074).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  522 Downloads (Pure)
• 2015

  Attacks Only Get Better: Password Recovery Attacks Against RC4 in TLS

  Garman, C., Paterson, K. & Van Der Merwe, T., Aug 2015, Proceedings of the 24th USENIX Security Symposium. USENIX Association, p. 113-128 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  46 Downloads (Pure)

• Conformal Clustering and Its Application to Botnet Traffic

  Cherubin, G., Nouretdinov, I., Gammerman, A., Jordaney, R., Wang, Z., Papini, D. & Cavallaro, L., 3 Apr 2015, Statistical Learning and Data Sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Springer, p. 313-322 10 p. (Lecture Notes in Computer Science; vol. 9047).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution