You are here

Congratulations to Dr. Arun Lakhotia and Dr. Sheng Chen for receiving funding from the Department of Defence

Top Stories

Dr. Mohsen Amini received NSF CAREER Award

Congratulations to Dr. Mohsen Amini for receiving the prestigious NSF CAREER Award. As part of this award, Dr.

Read More ➝

CMIX Faculty leads a project funded by NSF in the amount of $5 million

NSF has funded a project at CMIX that addresses precise regional forecasting via intelligent and rapid harness on na

Read More ➝

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.