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 |
Number of items: 11.
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.
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.
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.
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B - Giles Howard, Michael Butler, John Colley and Vladimiro Sassone
Type: Special issue
| 2019
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
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.
Developing critical software in the modern threat environment - Brian Stevens, Rob Ashmore, Andrea Margheri and Vladimiro Sassone
Type: Conference or Workshop Item
| 2019
Towards an integrated privacy protection framework for IoT: contextualising regulatory requirements with industry best practices. - Robert, Henry Thorburn, Andrea Margheri and Federica Paci
Type: Conference or Workshop Item
| 2019
Survey of machine learning techniques for malware analysis - Daniele Ucci, Leonardo Aniello and Roberto Baldoni
Type: Article
| 2019
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