October 24, 2018
Borzoo Bonakdarpour, faculty with the Department of Computer Science, received an NSF grant, as a sole PI to develop model checking techniques for hyperproperties. The award will span three years, and include a total of $350,000.
Hyperperoperties is a uniform formalism to express and reason about important information-flow security as well as consistency models in concurrent computing. The proposed research aims to bring a paradigm shift in techniques to model check software systems with respect to hyperproperties. This includes developing partial-order reduction, bounded model checking, and abstraction-refinement.
For more information, please to go to: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1813388&HistoricalAwards=false