2022 WhatsApp Research Awards: Privacy Aware Program Analysis RfP

Facebook is particularly interested in those that address fundamental problems around verifying that software satisfies given privacy properties. For example, formal techniques or automatic testing for finding privacy vulnerabilities in source code. Example topics include the following:

1. Code Analysis for Privacy

2. Software Testing

3. Runtime Verification

Funding: $50,000 total 

Duration: no fixed limit 

Research Authority due date: 21.7.22