Edinburgh Research Explorer

Research outputs for: UoE: Security

Advanced

Reset

to
  1. 2016
  2. Decoupled uplink/downlink user association in HetNets: A matching with contracts approach

    Kassem, M. M., Hasan, C. & Marina, M. 13 Nov 2016 Q2SWinet '16 Proceedings of the 12th ACM Symposium on QoS and Security for Wireless and Mobile Networks. ACM, p. 19-28 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Tales of Software Updates: The process of updating software

    Vaniea, K. & Rashidi, Y. 7 May 2016 Proceedings for Computer Human Interaction (CHI) 2016. ACM, 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. A Text-Mining Approach to Explain Unwanted Behaviours

    Chen, W., Aspinall, D., Gordon, A., Sutton, C. & Muttik, I. 18 Apr 2016 EuroSec '16 Proceedings of the 9th European Workshop on System Security . ACM, 6 p. 4

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Randomised testing of a microprocessor model using SMT-solver state generation

    Campbell, B. & Stark, I. 1 Mar 2016 In : Science of Computer Programming. 118, p. 60-76 17 p.

    Research output: Contribution to journalArticle

  6. Understanding Saudis' privacy concerns when using WhatsApp

    Rashidi, Y., Vaniea, K. & Camp, J. L. 21 Feb 2016 Usable Security and Privacy (USEC) 2016. 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. 2015
  8. Proof-relevant pi-calculus

    Perera, R. & Cheney, J. 2 Aug 2015 2015 Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2015). EPTCS, Vol. 185, p. 46-70 25 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Programming Abstractions for Software–Defined Wireless Networks

    Riggio, R., Marina, M., Schulz-Zander, J., Kuklinski, S. & Rasheed, T. Jun 2015 In : IEEE Transactions on Network and Service Management. 12, 2, 17 p.

    Research output: Contribution to journalArticle

  10. 2014
  11. StatVerif: Verification of stateful processes

    Arapinis, M., Phillips, J., Ritter, E. & Ryan, M. 19 Oct 2014 In : Journal of Computer Security. 22, 5, p. 743-821 78 p.

    Research output: Contribution to journalArticle

  12. Propositions as sessions

    Wadler, P. May 2014 In : Journal of Functional Programming. 24, Special Issue 2-3, p. 384-418 35 p.

    Research output: Contribution to journalArticle

  13. Property-oriented semantics of structured specifications

    Sannella, D. & Tarlecki, A. Apr 2014 In : Mathematical Structures in Computer Science. 24, 2, 37 p., e240205

    Research output: Contribution to journalArticle

Previous 1 2 3 4 5 6 Next