Author of the publication

Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations.

, , , , , and . SEC, volume 529 of IFIP Advances in Information and Communication Technology, page 307-322. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Galpin, Vashti
add a person with the name Galpin, Vashti
 

Other publications of authors with the same name

Mental models of recursion., , and . SIGCSE, page 346-350. ACM, (2003)Equivalence and Discretisation in Bio-PEPA., and . CMSB, volume 5688 of Lecture Notes in Computer Science, page 189-204. Springer, (2009)Modelling Network Performance with a Spatial Stochastic Process Algebra.. AINA, page 41-49. IEEE Computer Society, (2009)Bounds on series-parallel slowdown, and . CoRR, (2009)CARMA: Collective Adaptive Resource-sharing Markovian Agents., , , , , , , and . QAPL, volume 194 of EPTCS, page 16-31. (2015)A semi-quantitative equivalence for abstracting from fast reactions, , and . CompMod, volume 67 of EPTCS, page 34-49. (2011)Statistical Analysis of CARMA Models: an Advanced Tutorial., , , and . WSC, page 395-409. IEEE, (2018)Modelling Residential Smart Energy Schemes.. SASO Workshops, page 49-54. IEEE Computer Society, (2014)Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations., , , , , and . SEC, volume 529 of IFIP Advances in Information and Communication Technology, page 307-322. Springer, (2018)Computer self-efficacy, gender, and educational background in South Africa., , , and . IEEE Technol. Soc. Mag., 22 (3): 43-48 (2003)