Non INESC TEC publications - Indexed Articles in Conferences

Permanent URI for this collection


Recent Submissions

Now showing 1 - 5 of 155
  • Item
  • Item
    Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
    ( 2021) Carreira,C ; Ferreira,JF ; Alexandra Sofia Mendes ; Christin,N ; 7344
    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.
  • Item
  • Item
    Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
    ( 2020) Ferreira,JF ; Pereira,D ; Alexandra Sofia Mendes ; 7344
    In this paper we measure the accuracy of password strength meters (PSMs) using password guessing resistance against off-the-shelf guessing attacks. We consider 13 PSMs, 5 different attack tools, and a random selection of 60,000 passwords extracted from three different datasets of real-world password leaks. Our results show that a significant percentage of passwords classified as strong were cracked, thus suggesting that current password strength estimation methods can be improved. © 2020 IEEE.
  • Item
    Secure Conflict-free Replicated Data Types
    ( 2021) Ferreira,B ; Preguiça,NM ; Manuel Barbosa ; Portela,B ; Marques,JC ; 5604