3 papers
cs.CY2026
A Cross-Country Evaluation of Sentiment Toward Digital Payment Systems in Africa
Isabel Agadagba, Triphonia Kilasara, Takudzwa Tarutira +8
Digital payment systems have become a cornerstone of consumer finance in Africa. Prominent payment categories include money transfer applications, mobile money, cryptocurrencies, s…
cs.CR2025
Are Users More Willing to Use Formally Verified Password Managers?
Carolina Carreira, João F. Ferreira, Alexandra Mendes +1
Formal verification has recently been increasingly used to prove the correctness and security of many applications. It is attractive because it can prove the absence of errors with…
cs.CR2025
A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges
Carolina Carreira, Alexandra Mendes, João F. Ferreira +1
Cybersecurity incidents such as data breaches have become increasingly common, affecting millions of users and organizations worldwide. The complexity of cybersecurity threats chal…