EAGER: By the People, For the People: Community Ratings for App Privacy
EAGER: By the People, For the People: Community Ratings for App Privacy
批准号:
1449236
负责人:
Shriram Krishnamurthi
金额:
$14.8万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2014
资助国家:
美国
项目状态:
已结题
起止时间:
2014-09-01 至 2017-10-31
中文摘要
应用程序存储使用复杂的用户界面来帮助用户理解应用程序所寻求的权限。不幸的是,这些界面很复杂,可能无法实现帮助用户知情同意的目标。因此,用户可能会在无意中泄露私人信息或使自己暴露于安全攻击之下。这个项目解决的问题是改进这些接口提供的信息的性质。它既关注将更好地表示这些信息的新界面设计,也关注引导提供这些信息的技术。在用户界面方面,它设计了新的界面,帮助未经训练的用户认识到所寻求的权限的安全和隐私后果。为了填充这些信息,它假定使用众包来获得有关许可适用性的大规模信息。我们的目标是最终用这些信息填充应用程序商店,以鼓励采用和用户的额外反馈。该项目将研究如何有效和准确地利用众包来收集这些信息。
英文摘要
Application stores use sophisticated user interfaces to help users understand the permissions sought by applications. Unfortunately, these interfaces are complex and may fail to address their goal of helping users give informed consent. As a result, users may inadvertently surrender private information or open themselves up to security attacks.This project tackles the problem of improving the nature of information provided by these interfaces. It focuses both on new interface designs that will better represent this information, and on techniques to bootstrap the provision of that information. On the user interface side, it designs new interfaces that help untrained users recognize the security and privacy consequences of the sought permissions. To populate this information, it posits the use of crowdsourcing to obtain information at scale about the suitability of permissions. The goal is to eventually populate an application store with this information to encourage adoption and additional feedback from users. The project will study how effectively and accurately crowdsourcing can be used to gather this information.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
FMitF: Track II: Educating Developers about Ownership in Rust
-
批准号:2319014
-
项目类别:Standard Grant
-
资助金额:$9.99万
-
财政年份:2023
-
负责人:Shriram Krishnamurthi
-
依托单位:
SHF: Small: Little Tricky Logics: Misconceptions in Understanding Logics and Formal Properties
-
批准号:2227863
-
项目类别:Standard Grant
-
资助金额:$59.96万
-
财政年份:2023
-
负责人:Shriram Krishnamurthi
-
依托单位:
Pedagogical Tools for Formal Methods
-
批准号:2208731
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2022
-
负责人:Shriram Krishnamurthi
-
依托单位:
EAGER: Semantics for Learning Functional Programming
-
批准号:1803362
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:2018
-
负责人:Shriram Krishnamurthi
-
依托单位:
SHF:Small:The Power of ``Why?'': Using Provenance for Disciplined Exploration in Model Finding
-
批准号:1714431
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2017
-
负责人:Shriram Krishnamurthi
-
依托单位:
CSforAll: EAGER: Making Bootstrap Accessible to Visually-Impaired Users
-
批准号:1648684
-
项目类别:Standard Grant
-
资助金额:$29.64万
-
财政年份:2016
-
负责人:Shriram Krishnamurthi
-
依托单位:
CSforAll: EAGER: Integrating Lightweight Data Science and Computing for K-12
-
批准号:1647486
-
项目类别:Standard Grant
-
资助金额:$29.89万
-
财政年份:2016
-
负责人:Shriram Krishnamurthi
-
依托单位:
Exploring Transfer Between Computing and Algebra and Its Effects on Mathematics Pedagogy and Self-efficacy in Computing Teachers
-
批准号:1535276
-
项目类别:Standard Grant
-
资助金额:$149.74万
-
财政年份:2015
-
负责人:Shriram Krishnamurthi
-
依托单位:
SHF: Medium: A Balance of Power: Programming and Reasoning for Software-Defined Networks
-
批准号:1408745
-
项目类别:Standard Grant
-
资助金额:$100.42万
-
财政年份:2014
-
负责人:Shriram Krishnamurthi
-
依托单位:
TWC: Small: Extensible Web Browsers and User Privacy
-
批准号:1223231
-
项目类别:Standard Grant
-
资助金额:$37.48万
-
财政年份:2012
-
负责人:Shriram Krishnamurthi
-
依托单位:
SHF: Medium: Collaborative Research: Semantics Engineering for Scripting Languages
-
批准号:1064418
-
项目类别:Standard Grant
-
资助金额:$45.15万
-
财政年份:2011
-
负责人:Shriram Krishnamurthi
-
依托单位:
EAGER: Interfaces to Reduce Human Error in Social Network Access Control Policy Authoring
-
批准号:1048846
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2010
-
负责人:Shriram Krishnamurthi
-
依托单位:
CT-ISG: Power to the People: Tools for Explaining Access-Control Consequences
-
批准号:0830945
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2008
-
负责人:Shriram Krishnamurthi
-
依托单位:
CT-ISG: Representation, Analysis, and Verification of Access Control in Dynamic Environments
-
批准号:0627310
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2006
-
负责人:Shriram Krishnamurthi
-
依托单位:
CAREER: Formal Verfication of Aspect-Oriented Software
-
批准号:0447509
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Shriram Krishnamurthi
-
依托单位:
Lightweight Analysis of Program Evolution Using Feature Signatures
-
批准号:0429492
-
项目类别:Standard Grant
-
资助金额:$14.67万
-
财政年份:2004
-
负责人:Shriram Krishnamurthi
-
依托单位:
Collaborative Research: Robust Interactive Web Services
-
批准号:0305949
-
项目类别:Standard Grant
-
资助金额:$13.5万
-
财政年份:2003
-
负责人:Shriram Krishnamurthi
-
依托单位:
Collaborative Research: Compositional Verification of Software Product Lines as Open Systems
-
批准号:0305950
-
项目类别:Continuing Grant
-
资助金额:$15.6万
-
财政年份:2003
-
负责人:Shriram Krishnamurthi
-
依托单位:
海外基金