@conference { , title = {Formal evaluation of persona trustworthiness with EUSTACE.}, abstract = {Personas are useful for considering how users of a system might behave, but problematic when accounting for hidden behaviours not obvious from their descriptions alone. Formal methods can potentially identify such subtleties in interactive systems, but we lack methods for eliciting models from qualitative persona descriptions. We present a framework for eliciting and specifying formal models of persona behaviour that a persona might, in certain circumstances, engage in. We also summarise our preliminary work to date evaluating this framework.}, conference = {6th International conference on trust and trustworthy computing (TRUST 2013)}, doi = {10.1007/978-3-642-38908-5\_20}, note = {INFO COMPLETE (notified by contact 07.12.2021 GB) PERMISSION GRANTED (permission not required for full poster; permission for extended abstract granted by Springer: version = AAM ; embargo = none ; licence = publisher's own ; https://www.springernature.com/gp/open-research/policies/book-policies ; 07.12.2021 GB) DOCUMENT READY (unable to retrieve copy of full poster, so used AAM for extended abstract found on Bournemouth cybersecurity website 07.12.2021 GB) ADDITIONAL INFO: Shamal Faily Extended abstract bibliographic details: ISBN 9783642389078 eISBN 9783642389085 ISSN 0302-9743 eISSN 1611-3349 Online Publication Date 31 Dec 2013 Extended abstract publisher statement: This accepted manuscript is subject to the Springer Nature terms of use for archived versions of subscription articles and chapters: https://www.springernature.com/gp/open-research/policies/accepted-manuscript-terms}, publicationstatus = {Unpublished}, url = {https://rgu-repository.worktribe.com/output/1446676}, keyword = {User personas, User behaviour, User-centred design, Software engineering}, author = {Faily, Shamal and Power, David and Armstrong, Philip and Fléchais, Ivan} }