Details
Name
Alexandra Sofia MendesCluster
Computer ScienceRole
Senior ResearcherSince
15th February 2018
Nationality
PortugalCentre
High-Assurance SoftwareContacts
+351253604440
alexandra.s.mendes@inesctec.pt
2022
Authors
Grilo, M; Campos, J; Ferreira, JF; Almeida, JB; Mendes, A;
Publication
INTEGRATED FORMAL METHODS, IFM 2022
Abstract
2022
Authors
Pereira, RB; Ferreira, JF; Mendes, A; Abreu, R;
Publication
9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022
Abstract
2021
Authors
Carreira, C; Ferreira, JF; Mendes, A; Christin, N;
Publication
Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021.
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.
2021
Authors
Ferreira, JF; Mendes, A; Menghi, C;
Publication
FMTea
Abstract
2021
Authors
Lima, R; Ferreira, JF; Mendes, A;
Publication
2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021)
Abstract
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.