Professor Tevfik Bultan recently received a National Science Foundation grant for a project titled "Data Model Verification". The three-year, $499,888 grant will seek to develop innovative approaches to software verification, particularly focusing on code that manipulates and updates the data in modern software systems.
Professor Ambuj Singh has been appointed the new Chair of the Department of Computer Science, effective July 1, 2014. Singh takes over the reins from Prof. Subhash Suri, who is returning to full time research and teaching after serving as Chair for the past three years.
Each year a committee of industry experts and faculty chooses 10 papers from the top conferences to highlight in the annual "Top Picks" issue of IEEE Micro — and UCSB yet again has a paper on the list. This year the paper is titled "SurfNoC: A Low Latency and Provably Non-Interfering Approach to Secure Networks-On-Chip" and represents a collaboration between UC Santa Barbara, UC San Diego, and the Naval Postgraduate School.
The National Science Foundation has awarded more than $1 million to a project led by Prof. Giovanni Vigna to model trust between users and smartphones. The model will explore how cybercriminals can take advantage of users' misplaced trust and will consider ways to secure these weaknesses. See the full announcement here.