Congratulations to Dr. Mohsen Amini for receiving the prestigious NSF CAREER Award. As part of this award, Dr.
Dr. Arun Lakhotia and Dr. Sheng Chen received funding from the U.S. Department of Defense under its Darpa/STTR program for a project entitled "ACADIANA: Annotating Code for Assured Data Intent to Avoid Novel Attacks." The project investigates programming language support for assured data intents. Specifically, the project looks into extending the Rust programming language with various kinds of program annotations to guarantee that programs are free from certain kinds of security issues, such as timing channel attacks, password exfiltration, etc. Rust is a multi-paradigm programming language focused on performance and safety, especially safe concurrency.