The University of Southampton
University of Southampton Institutional Repository
Warning ePrints Soton is experiencing an issue with some file downloads not being available. We are working hard to fix this. Please bear with us.

Items where Division is "Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Security
School of Electronics and Computer Science > Cyber Security" and Year is 2019

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Authors/Creators | Item Type
Jump to: F | G | H | L | R | S | T | U | W
Number of items: 14.

F

Towards a semantic modelling for threat analysis of IoT applications: a case study on transactive energy - Nawfal Fadhel, Federico Lombardi, Leonardo Aniello, Andrea Margheri and Vladimiro Sassone
Type: Conference or Workshop Item | 2019 | Institute of Engineering and Technology, IET | Item availability restricted.

G

ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference: (Competition Contribution) - Mikhail R. Gadelha, Felipe Monteiro, Lucas Cordeiro and Denis Nicole
Type: Conference or Workshop Item | 2019 | Springer Verlag | Item not available on this server.

SMT-based refutation of spurious bug reports in the clang static analyzer - Mikhail R. Gadelha, Enrico Steffinlongo, Lucas Cordeiro, Bernd Fischer and Denis Nicole
Type: Conference or Workshop Item | 2019 | IEEE Press | Item availability restricted.

Type: Dataset | 2019 | University of Southampton

Identifying vulnerabilities in trust and reputation systems - Taha Gunes, Long Tran-Thanh and Timothy Norman
Type: Conference or Workshop Item | 2019 | International Joint Conferences on Artificial Intelligence Organization

H

Fuzzy-based approach to assess and prioritize privacy risks - Stephen Hart, Anna Lisa Ferrara and Federica Paci
Type: Article | 2019 | Item not available on this server.

Type: Special issue | 2019

L

PASCAL: An architecture for proactive auto-scaling of distributed services - Federico Lombardi, Andrea Muti, Leonardo Aniello, Roberto Baldoni, Silvia Bonomi and Leonardo Querzoni
Type: Article | 2019

R

Access control in Internet-of-Things: A survey - Sowmya Ravidas, Alexios Lekidis, Federica Paci and Nicola Zannone
Type: Article | 2019 | Item not available on this server.

S

Developing critical software in the modern threat environment - Brian Stevens, Rob Ashmore, Andrea Margheri and Vladimiro Sassone
Type: Conference or Workshop Item | 2019

Two-stage architectures for resilient lightweight PUFs - Haibo Su, Basel Halak and Mark Zwolinski
Type: Conference or Workshop Item | 2019 | IEEE | Item not available on this server.

T

Type: Conference or Workshop Item | 2019

U

Survey of machine learning techniques for malware analysis - Daniele Ucci, Leonardo Aniello and Roberto Baldoni
Type: Article | 2019

W

Predictive thermal management for energy-efficient execution of concurrent applications on heterogeneous multicores - Eduardo Weber Wächter, Cédric De Bellefroid, Karunakar Reddy Basireddy, Amit Kumar Singh, Bashir M. Al-Hashimi and Geoff Merrett
Type: Article | 2019

This list was generated on Tue Nov 23 02:09:11 2021 GMT.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×