Skip to content

Publication

Tags

cloud security assurance computational models epilepsy focal seizures intracranial EEG surgical outcome prediction

Identifying Changes in the Cybersecurity Threat Landscape

Identifying Changes in the Cybersecurity Threat Landscape icon09/07/2017

Identifying Changes in the Cybersecurity Threat Landscape iconHuman aspects of information security, privacy and trust: 5th International Conference, HAS 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings

Brexit, cybercrime and cyber security

Brexit, cybercrime and cyber security icon01/10/2018

Patching the patchwork: appraising the EU regulatory framework on cyber security breaches

VirtusCap: Capability-based Access Control for Unikernels

VirtusCap: Capability-based Access Control for Unikernels icon01/01/2017

Cloud workloads w/ small attack surface and capability-based access control for security assurance.

VirtusCap: Capability-based Access Control for Unikernels iconWith Ioannis Sfyrakis. VirtusCap: Capability-based Access Control for Unikernels. In proceedings of the IEEE International Conference on Cloud Engineering (IC2E 2017), 2017.

Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques

Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques icon01/01/2016

We apply our technique to hybrid systems involving nonlinear differential equations.

Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques iconHardware and Software: Verification and Testing, pp. 152–168, Springer International Publishing, 2016.

Predicting neurosurgical outcomes in focal epilepsy patients using computational modelling

Predicting neurosurgical outcomes in focal epilepsy patients using computational modelling icon01/01/2017

Surgery can be a last resort for patients with intractable, medically refractory epilepsy.

Predicting neurosurgical outcomes in focal epilepsy patients using computational modelling iconBrain, Volume 140, Issue 2, 1 February 2017, Pages 319–332.

Home