1. Ron Amadeo. 2021. Google is now writing low-level Android code in Rust. https://arstechnica.com/gadgets/2021/04/google-is-nowwriting- low-level-android-code-in-rust/ Ron Amadeo. 2021. Google is now writing low-level Android code in Rust. https://arstechnica.com/gadgets/2021/04/google-is-nowwriting- low-level-android-code-in-rust/
2. Amazon Web Services 2022. Announcing the Kani Rust Verifier Project. Amazon Web Services. https://model-checking.github.io/kaniverifier- blog/2022/05/04/announcing-the-kani-rust-verifierproject. html?fbclid=IwAR2M_B1IEBfkVhIXSuuAxt3McC_ QpUnTuzDq9jG40HOaJzxw8z1Nw9XU_i4 Amazon Web Services 2022. Announcing the Kani Rust Verifier Project. Amazon Web Services. https://model-checking.github.io/kaniverifier- blog/2022/05/04/announcing-the-kani-rust-verifierproject. html?fbclid=IwAR2M_B1IEBfkVhIXSuuAxt3McC_ QpUnTuzDq9jG40HOaJzxw8z1Nw9XU_i4
3. V. Astrauskas , A. Bílý , J. Fiala , Z. Grannan , C. Matheja , P. Müller , F. Poli , and A. J. Summers . 2022. The Prusti Project: Formal Verification for Rust (invited) . In NASA Formal Methods (14th International Symposium). Springer, 88--108 . https://link.springer.com/chapter/10.1007/978--3- 031-06773-0_5 V. Astrauskas, A. Bílý, J. Fiala, Z. Grannan, C. Matheja, P. Müller, F. Poli, and A. J. Summers. 2022. The Prusti Project: Formal Verification for Rust (invited). In NASA Formal Methods (14th International Symposium). Springer, 88--108. https://link.springer.com/chapter/10.1007/978--3- 031-06773-0_5
4. Sally Browning and PhilipWeaver. 2010. Designing Tunable , Verifiable Cryptographic Hardware Using Cryptol . In Design and Verification of Microprocessor Systems for High-Assurance Applications, David S . Hardin (Ed.). Springer , 89--143. Sally Browning and PhilipWeaver. 2010. Designing Tunable, Verifiable Cryptographic Hardware Using Cryptol. In Design and Verification of Microprocessor Systems for High-Assurance Applications, David S. Hardin (Ed.). Springer, 89--143.
5. Rod Chapman . 2022 . SPARKNaCl: A Verified, Fast Re-implementation of TweetNaCl . In Proceedings of FOSDEM'22 . https://fosdem.org/2022/ schedule/event/ada_sparknacl/ Rod Chapman. 2022. SPARKNaCl: A Verified, Fast Re-implementation of TweetNaCl. In Proceedings of FOSDEM'22. https://fosdem.org/2022/ schedule/event/ada_sparknacl/