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


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 'Links between temporal databases and curation'

Poster presented at RDA Plenary 17.    Slides presented at IDCC 2021.      

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