Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda

dc.contributor.author Carreira,C en
dc.contributor.author Ferreira,JF en
dc.contributor.author Alexandra Sofia Mendes en
dc.contributor.author Christin,N en
dc.contributor.other 7344 en
dc.date.accessioned 2022-02-07T16:11:55Z
dc.date.available 2022-02-07T16:11:55Z
dc.date.issued 2021 en
dc.description.abstract As software becomes more complex and assumes an even greater role in our lives, formal verification is set to become the gold standard in securing software systems into the future, since it can guarantee the absence of errors and entire classes of attack. Recent advances in formal verification are being used to secure everything from unmanned drones to the internet. At the same time, the usable security research community has made huge progress in improving the usability of security products and end-users comprehension of security issues. However, there have been no human-centered studies focused on the impact of formal verification on the use and adoption of formally verified software products. We propose a research agenda to fill this gap and to contribute with the first collection of studies on people's mental models on formal verification and associated security and privacy guarantees and threats. The proposed research has the potential to increase the adoption of more secure products and it can be directly used by the security and formal methods communities to create more effective and secure software tools. © C. Carreira et al. en
dc.identifier P-00V-RK1 en
dc.identifier.uri http://dx.doi.org/10.4204/eptcs.349.6 en
dc.identifier.uri https://repositorio.inesctec.pt/handle/123456789/12820
dc.language eng en
dc.rights info:eu-repo/semantics/openAccess en
dc.title Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda en
dc.type en
dc.type Publication en
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
P-00V-RK1.pdf
Size:
121.64 KB
Format:
Adobe Portable Document Format
Description: