Understanding the Usability of Cryptographic Verification Tools
该论文针对密码学协议形式化验证工具的实际使用体验开展了一项以人为中心的探索性研究。作者指出，Tamarin、ProVerif 等协议验证工具已被广泛用于分析复杂协议的安全性，但用户如何与这些工具交互、在哪里受阻，长期以来缺乏系统性研究。为此
#usability
共收录 8 条相关情报。
← 返回所有主题Usable Anonymity in Reproductive Health Privacy.
该研究聚焦于在线平台内置隐私功能在实现匿名性方面的可用性问题，以经期与生育追踪（PFT）应用为研究场景。由于生殖健康数据具有高度敏感性，用户面临数据监控与隐私泄露的风险，对匿名保护功能（APFs）的需求尤为迫切。研究招募了32名参与者，对六
"Who is Trying to Access My Account?" Exploring User Perceptions and Reactions to Risk-based Authentication Notifications.
该研究围绕风险认证（Risk-based Authentication, RBA）通知的用户感知与反应展开。随着在线账户攻击日益频繁，许多服务引入RBA机制，通过判断登录上下文的风险等级触发额外验证或告警。然而，用户对这些通知的认知度偏低、
Exploring Usability and Legal Practice: Insights from German Judicial Users of Digital Forensics
数字取证已成为现代刑事诉讼中的关键组成部分，但随着数据量的增长、技术的持续演进以及技术和法律相关方之间的复杂交互，其有效整合面临挑战。以往研究主要聚焦于数字取证工具和方法本身，对更广泛的流程和组织背景关注不足。本文借鉴可用性研究和以人为中心
Modeling Failure Dynamics in Time-Constrained Authentication Systems: Evidence of a Success Cliff in USSD Workflows
该论文聚焦于时间受限的交互式认证系统（如基于USSD的金融服务）中的失败动态。这类系统受限于严格的会话时长和顺序用户交互，虽然更强的认证机制提升了安全性，但增加了交互复杂性和时间负担，可能导致交易完成率下降。作者首先通过分析认证复杂度、用户
A Usable and Secure Bengali CAPTCHA
该论文提出并实现了一种基于孟加拉语的文本验证码（CAPTCHA）机制，旨在解决传统英语验证码对非英语母语用户存在的可用性问题。这是首个针对孟加拉语用户的文本验证码方案。作者设计了6种变体，并通过6000个挑战（每种变体约1000个）进行自动
"In Eighty Percent of the Cases, I Select the Password for Them": Security and Privacy Challenges, Advice, and Opportunities at Cybercafes in Kenya.
该论文通过实地调查和半结构化访谈，深入研究了肯尼亚网吧（cybercafe）中用户和工作人员面临的安全与隐私挑战。研究在肯尼亚的两个城市（内罗毕和基苏木）进行，共调查了200名用户和26名网吧工作人员。主要发现包括：（1）高达80%的用户在
Mapping the Cloud: A Mixed-Methods Study of Cloud Security and Privacy Configuration Challenges.
本文采用混合研究方法，系统性地分析了云服务配置中的安全与隐私挑战。研究团队对2008年至2024年间约251,900篇与安全及隐私相关的Stack Overflow帖子进行了主题建模和定性分析，旨在映射云使用场景与其对应的安全配置问题。研究