AWS Automated Reasoning call for proposals - fall 2021
Security assurance, backed by mathematical proof
About this CFP
AWS is committed to helping you achieve the highest levels of security, availability, and robustness in the cloud. Using automated reasoning technology, the application of mathematical logic to help answer critical questions about your infrastructure, AWS is able to detect previously missed misconfigurations, or show their absence, and to prove that protocols and programs work as intended. Our work in provable security provides higher assurance for customers—both of the cloud and in the cloud. We are looking to fund research in these subcategories:
- Automated reasoning, including model checking
- Theorem proving
- Invariant discovery
- Improvements to SAT/SMT solvers
- Correct-by-construction software
- Abstract interpretation
- Static analysis
Submission period: August 16 - October 8, 2021
Decision letters will be sent out March 2022
Selected Principal Investigators (PIs) may receive the following:
- Unrestricted funds, no more than $80,000 USD on average
- AWS Promotional Credits, no more than $20,000 USD on average
- Training resources, including AWS tutorials and hands-on sessions with Amazon scientists and engineers
Awards are structured as one-year unrestricted gifts. The budget should include a list of expected costs specified in USD, and should not include administrative overhead costs. The final award amount will be determined by the awards panel.
Please refer to the ARA Program rules on the FAQ page.
Proposals should be prepared according to the proposal template. In addition, to submit a proposal for this CFP, please also include the following information:
- Does your work target specification/protocol-level or implementation/code-level testing or proofs?
- Describe current applications of your work (e.g, libraries, codebases and industry code).
- What are potential applications of your work to Amazon?
- What assumptions are made by your work? If the techniques proposed are sound: What are issues that may invalidate this result?
- If your work involves the development and maintenance of a tool:
- What license is your tool released under?
- What on-boarding/tutorial material is available?
- Is your tool actively maintained (commits within last 3 months)? How many active contributors does your project have?
ARA will make the funding decisions based on the potential impact to the research community and quality of the scientific content.
Expectations from recipients
To the extent deemed reasonable, Award recipients should acknowledge the support from ARA. Award recipients will inform ARA of publications, presentations, code and data releases, blogs/social media posts, and other speaking engagements referencing the results of the supported research or the Award. Award recipients are expected to provide updates and feedback to ARA via surveys or reports on the status of their research. Award recipients will have an opportunity to work with ARA on an informational statement about the awarded project that may be used to generate visibility for their institutions and ARA.