Head and shoulders photo of Vashti Galpin

Vashti Galpin


Laboratory for Foundations of Computer Science
School of Informatics
University of Edinburgh

BScHons MSc(Wits) PhD(Edin)

Cape Wine Master

Current Research Interests

  • Provenance
  • Security
  • Quantitative modelling and performance evaluation
  • Concurrency, process algebras and formats

Publications

Seminars, Invited Talks, Panels and Presentations (not updated since 2014)


Vashti Galpin <Vashti.Galpin@ed.ac.uk>
Vashti Galpin <vashti@gaon.net>
Poster with title 'Where software meets hardware: verifying performance impacts of micro-architecture vulnerability mitigations'
CARMA micro-architecture model (CARMA installation instructions)      Poster with title 'Covert timing channel attacks and mitigations in software-defined networking'
CARMA SDN fat-tree topology models