View all research projects

Research project

VAC+: Verifier of Access Control

Research groups:

Cyber Security
Research funder:

EPSRC
Status:

Not active

Collaborating research institutes, centres and groups

Cyber Security

We bring together expertise and excellence in the field of cyber security research and education.

Research outputs

Finding rare concurrent programming bugs:

Gennaro Parlato

, 2018

Type: conference

Preventing unauthorized data flows

Emre Uzun,

Gennaro Parlato,

Vijayalakshmi Atluri,

Anna Lisa Ferrara,

Jaideep Vaidya,

Shamik Sural,

& David Lorenzi

, 2017

DOI: 10.1007/978-3-319-61176-1_3

Type: conference

Parallel bug-finding in concurrent programs via reduced interleaving instances

Truc Nguyen Lam,

Peter Schrammel,

Bernd Fischer,

Salvatore La Torre,

& Gennaro Parlato

, 2017

Type: conference

Back
to top