Research
-
Quantitative Program Analysis and Model Counting Modern world is heavily dependent on software systems running on an increasingly large number of computing systems surrounding us.
-
Security Policy Analysis for the Cloud Examining, evaluating, and validating the security-related policies and configurations that govern access, permissions, and behavior within cloud environments
-
Side-Channel Analysis We are developing new analysis techniques and tools for the identification and verification of complexity-related and side-channel vulnerabilities for Java bytecode.
-
Neural Network Verification Neural networks are being used in a vast number of applications, and thus it is necessary to find ways to verify their decision.
-
String Analysis Web applications provide critical services over the Internet and frequently handle sensitive data. Unfortunately, web application development is error prone and results in applications that are vulnerable to attacks by malicious users.
-
Data Model Verification The growing influence of web applications in every aspect of society makes their dependability an immense concern.
-
Analyzing Service-Oriented and Distributed Systems Service-oriented systems are distributed software systems that consist of web accessible software components (services) that interact with each other via messages sent over the Internet.
-
Design for Verification A promising approach in attacking the dependability problem is to find ways of constructing software that facilitate automated verification.
-
Infinite State Verification One direction of research at VLab addresses fundamental limitations of automated verification which hinder its applicability to software.
VLab News
Awards, dissertations, and press coverage from the lab.
- Robert Mehrahbian College of Engineering highlights Tegan Brennan's research.
- Convergence article on computer security research at UCSB.
- An interview with Tegan Brennan.
- Lucas Bang has successfully defended his disseration titled: "Software Side-Channel Analysis" and completed his Ph.D. He is now an assistant professor in the Department of Computer Science at Harvey Mudd College. Congratulations Lucas!
- Abdulbaki Aydin has successfully defended his disseration titled: "Automata-based Model Counting String Constraint Solver for Vulnerability Analysis" and completed his Ph.D. He joined Microsoft. Congratulations Baki!
- Ivan Bocic has successfully defended his disseration titled: "Data Model Verification via Theorem Proving" and completed his Ph.D. He joined Google. Congratulations Bo!
- Prof. Bultan received the UCSB Academic Senate Outstanding Graduate Mentor Award which is an annual campus-wide award that recognizes the contributions of faculty whose mentoring is considered exemplary. You can read the announcement for Prof. Bultan's Outstanding Graduate Mentor Award here and you can read an interview with him about this award here.
- Faculty profile interview with Prof. Bultan.