Skip to main

Submitted outputs' details

The submitted outputs' details allows you to browse and search for outputs submitted to the REF 2021. Use the search and filters below to find the outputs you are looking for.
Learn about submitted outputs
Download all details for all outputs (spreadsheet)
Download all details for all outputs (spreadsheet) (generating)

Search and filter

Clear search and filter

Filter by

  • The University of Surrey
   None selected
  • 11 - Computer Science and Informatics
   None selected
   None selected
   None selected
   None selected
Download output details for outputs in the current view (spreadsheet)
Download output details for outputs in the current view (spreadsheet) (generating)
Showing outputs 1 to 56 of 56

A Constructive Approach for Proving Data Structures’ Linearizability

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/978-3-662-48653-5_24
Open access status
Out of scope for open access requirements
Title of journal
Lecture Notes in Computer Science;Distributed Computing

A DFA-Based Functional Proxy Re-Encryption Scheme for Secure Public Cloud Data S ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TIFS.2014.2346023
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Information Forensics and Security

A Fast and Verified Software Stack for Secure Function Evaluation

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3133956.3134017
Title of conference / published proceedings
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security

A formal framework for security analysis of NFC mobile coupon protocols

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.3233/JCS-150531
Open access status
Out of scope for open access requirements
Title of journal
Journal of Computer Security

A Formal Treatment of Accountable Proxying Over TLS

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/SP.2018.00021
Open access status
Deposit exception
Title of conference / published proceedings
2018 IEEE Symposium on Security and Privacy (SP)

A Knee Point-Driven Evolutionary Algorithm for Many-Objective Optimization

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TEVC.2014.2378512
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Evolutionary Computation

A Multiobjective Evolutionary Algorithm Using Gaussian Process-Based Inverse Mod ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TEVC.2015.2395073
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Evolutionary Computation

A Peered Bulletin Board for Robust Use in Verifiable Voting Systems

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1109/CSF.2014.20
Title of conference / published proceedings
2014 IEEE 27th Computer Security Foundations Symposium

A Reference Vector Guided Evolutionary Algorithm for Many-Objective Optimization

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TEVC.2016.2519378
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Evolutionary Computation

An Efficient Approach to Nondominated Sorting for Evolutionary Multiobjective Op ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TEVC.2014.2308305
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Evolutionary Computation

Anonymous Single Sign-On With Proxy Re-Verification

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TIFS.2019.2919926
Open access status
Compliant
Title of journal
IEEE Transactions on Information Forensics and Security

Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TSE.2015.2508444
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Software Engineering

Asynchronous Remote Key Generation

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3372297.3417292
Title of conference / published proceedings
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security

Binary Online Learned Descriptors

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TPAMI.2017.2679193
Open access status
Compliant
Title of journal
IEEE Transactions on Pattern Analysis and Machine Intelligence

Bootstrapping Relational Affordances of Object Pairs Using Transfer

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/tcds.2016.2616496
Open access status
Deposit exception
Title of journal
IEEE Transactions on Cognitive and Developmental Systems

Breaking ‘128-bit Secure’ Supersingular Binary Curves

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/978-3-662-44381-1_8
Open access status
Out of scope for open access requirements
Title of journal
Advances in Cryptology – CRYPTO 2014;Lecture Notes in Computer Science

Content delivery over TLS: a cryptographic analysis of keyless SSL

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/EuroSP.2017.52
Title of conference / published proceedings
2017 IEEE European Symposium on Security and Privacy (EuroS&P)

Convolution as a Unifying Concept

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2874773
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Computational Logic

Cross-Domain Password-Based Authenticated Key Exchange Revisited

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1145/2584681
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Information and System Security

Decidability and complexity for quiescent consistency and its variations

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.ic.2017.09.012
Open access status
Compliant
Title of journal
Information and Computation

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/978-3-030-50086-3_3
Open access status
Compliant
Title of journal
Formal Techniques for Distributed Objects, Components, and Systems;Lecture Notes in Computer Science

Detection of Interictal Discharges With Convolutional Neural Networks Using Discrete ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TNSRE.2017.2755770
Open access status
Compliant
Title of journal
IEEE Transactions on Neural Systems and Rehabilitation Engineering

Dynamic Attention-Controlled Cascaded Shape Regression Exploiting Training Data Augmentation ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/CVPR.2017.392
Title of conference / published proceedings
2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR)

Dynamic Performance Profiling of Cloud Caches

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2670979.2671007
Title of conference / published proceedings
Proceedings of the ACM Symposium on Cloud Computing - SOCC '14

Ecological networks reveal resilience of agro-ecosystems to changes in farming m ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1038/s41559-018-0757-2
Open access status
Compliant
Title of journal
Nature Ecology & Evolution

Evidence Based Prediction and Progression Monitoring on Retinal Images from Three ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1167/tvst.9.2.44
Open access status
Compliant
Title of journal
Translational Vision Science & Technology

Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/EuroSP48549.2020.00034
Title of conference / published proceedings
2020 IEEE European Symposium on Security and Privacy (EuroS&P)

Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3320269.3372197
Title of conference / published proceedings
Proceedings of the 15th ACM Asia Conference on Computer and Communications Security

Gaussian mixture 3D morphable face model

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.patcog.2017.09.006
Open access status
Compliant
Title of journal
Pattern Recognition

Improved Masking for Tweakable Blockciphers with Applications to Authenticated E ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/978-3-662-49890-3_11
Open access status
Compliant
Title of journal
Advances in Cryptology – EUROCRYPT 2016;Lecture Notes in Computer Science

Latent Space Factorisation and Manipulation via Matrix Subspace Projection

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
Title of conference / published proceedings
37th International Conference on Machine Learning

Lattice-based deniable ring signatures

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s10207-018-0417-1
Open access status
Compliant
Title of journal
International Journal of Information Security

Learning Adaptive Discriminative Correlation Filters via Temporal Consistency Preserving ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TIP.2019.2919201
Open access status
Compliant
Title of journal
IEEE Transactions on Image Processing

Learning Context on a Humanoid Robot using Incremental Latent Dirichlet Allocati ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TAMD.2015.2476374
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Cognitive and Developmental Systems

Machine-Checked Proofs of Privacy for Electronic Voting Protocols

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/SP.2017.28
Open access status
Compliant
Title of journal
2017 IEEE Symposium on Security and Privacy (SP)

Managing energy, performance and cost in large scale heterogeneous datacenters using ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.future.2018.10.044
Open access status
Compliant
Title of journal
Future Generation Computer Systems

Meta-interpretive learning: application to grammatical inference

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10994-013-5358-3
Open access status
Out of scope for open access requirements
Title of journal
Machine Learning

Microwave breast cancer detection via cost-sensitive ensemble classifiers: Phantom ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.bspc.2016.09.003
Open access status
Deposit exception
Title of journal
Biomedical Signal Processing and Control

Multi-Shot Distributed Transaction Commit

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.4230/LIPIcs.DISC.2018.14
Open access status
Compliant
Title of conference / published proceedings
Leibniz International Proceedings in Informatics (LIPIcs)

NetDiff – Bayesian model selection for differential gene regulatory network infe ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1038/srep39224
Open access status
Compliant
Title of journal
Scientific Reports

On the asymptotic idealness of the Asmuth-Bloom threshold secret sharing scheme

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.ins.2018.06.046
Open access status
Deposit exception
Title of journal
Information Sciences

On the discrete logarithm problem in finite fields of fixed characteristic

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1090/tran/7027
Open access status
Compliant
Title of journal
Transactions of the American Mathematical Society

On the total variation distance of labelled Markov chains

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2603088.2603099
Title of conference / published proceedings
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14

One TPM to Bind Them All: Fixing TPM 2.0 for Provably Secure Anonymous Attestati ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/SP.2017.22
Title of conference / published proceedings
2017 IEEE Symposium on Security and Privacy (SP)

SCORE: Exploiting Global Broadcasts to Create Offline Personal Channels for On-Demand ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TNET.2015.2456186
Open access status
Out of scope for open access requirements
Title of journal
IEEE/ACM Transactions on Networking

Security Analysis and Implementation of Relay-Resistant Contactless Payments

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3372297.3417235
Title of conference / published proceedings
27th ACM Conference on Computer and Communications Security

Social bootstrapping

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2566486.2568031
Title of conference / published proceedings
Proceedings of the 23rd international conference on World wide web - WWW '14

Space Bounds for Reliable Storage

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2933057.2933104
Title of conference / published proceedings
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing - PODC '16

Sparse Matrix Masking-based Non-Interactive Verifiable (Outsourced) Computation, ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TDSC.2018.2861699
Open access status
Not compliant
Title of journal
IEEE Transactions on Dependable and Secure Computing

Transactions in relaxed memory architectures

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3158106
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages

Transcend: Detecting Concept Drift in Malware Classification Models

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
Title of conference / published proceedings
26th USENIX Security Symposium

True Concurrency in Long-running Transactions for Digital Ecosystems

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.3233/FI-2015-1222
Open access status
Out of scope for open access requirements
Title of journal
Fundamenta Informaticae

Verifying C11 programs operationally

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3293883.3295702
Title of conference / published proceedings
Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming

vVote: A Verifiable Voting System

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1145/2746338
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Information and System Security

Wing Loss for Robust Facial Landmark Localisation with Convolutional Neural Netw ...

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/CVPR.2018.00238
Title of conference / published proceedings
2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition

Zero-Knowledge Password Policy Checks and Verifier-Based PAKE

Submitting institution
The University of Surrey
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-319-11212-1_17
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Computer Security - ESORICS 2014;Lecture Notes in Computer Science
Showing outputs 1 to 56 of 56

Filter by higher education institution

Select one or more of the following higher education institutions and then click Apply selected filters when you have finished.
No higher education institutions found.

Filter by unit of assessment

Select one or more of the following units of assessment and then click Apply selected filters when you have finished.
No unit of assessments found.

Filter by output type

Select one or more of the following output types and then click Apply selected filters when you have finished.

Filter by year

Select one or more of the following years and then click Apply selected filters when you have finished.

Filter by open access status

Select one or more of the following open access statuses and then click Apply selected filters when you have finished.