Research project

Sassone. EPSRC. Academic Centre of Excellence in Cyber Security Research

Research groups:
Lead researcher:

Professor vladi Sassone
Research funder:

EPSRC
Status:

Not active

Staff

Lead researcher

Professor vladi Sassone PhD FBCS MAE

Roke/RAEng Research Chair in Cyber Secur

Connect with vladi

Email: vsassone@soton.ac.uk

Collaborating research institutes, centres and groups

Centre for Internet of Things and Pervasive Systems

We bring together researchers who are creating the future of internet-of-things and pervasive systems, from underpinning semiconductor and sensor devices, machine intelligence and data science, through to new application domains.

Research outputs

A rigorous framework for specification, analysis and enforcement of access control policies

Andrea Margheri,

Massimiliano Masi,

Rosario Pugliese,

& Francesco Tiezzi

, 2019 , IEEE Transactions on Software Engineering , 45 (1) , 2--33

DOI: 10.1109/TSE.2017.2765640

Type: article

Survey of machine learning techniques for malware analysis

Daniele Ucci,

Leonardo Aniello,

& Roberto Baldoni

, 2019 , Computers & Security , 81 , 123--147

DOI: 10.1016/j.cose.2018.11.001

Type: article

A descriptive type foundation for RDF Schema

Gabriel Ciobanu,

Ross Horne,

& Vladimiro Sassone

, 2016 , Journal of Logical and Algebraic Methods in Programming , 85 (5) , 681--706

DOI: 10.1016/j.jlamp.2016.02.006

Type: article

FaaS

Francesco Paolo Schiavo,

Vladimiro Sassone,

Luca Nicoletti,

& Andrea Margheri

, 2016

Type: report

Structural operational semantics for stochastic and weighted transition systems

Bartek Klin,

& Vladimiro Sassone

, 2013 , Information and Computation , 227 , 58--83

DOI: 10.1016/j.ic.2013.04.001

Type: article