Human 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
Patching the patchwork: appraising the EU regulatory framework on cyber security breaches
Cloud workloads w/ small attack surface and capability-based access control for security assurance.
With Ioannis Sfyrakis. VirtusCap: Capability-based Access Control for Unikernels. In proceedings of the IEEE International Conference on Cloud Engineering (IC2E 2017), 2017.
We apply our technique to hybrid systems involving nonlinear differential equations.
Hardware and Software: Verification and Testing, pp. 152–168, Springer International Publishing, 2016.
Surgery can be a last resort for patients with intractable, medically refractory epilepsy.
Brain, Volume 140, Issue 2, 1 February 2017, Pages 319–332.