Logical Systems Lab Seminar

Tuesday, October 13, 2015 -
4:00pm to 5:30pm


8102 Gates & Hillman Centers


BORZOO BONAKDARPOUR, Assistant Professor http://www.cas.mcmaster.ca/borzoo/

Event Website:


For More Information, Contact:

sdinardo @ cs.cmu.edu

Cybersecurity is an area of information technology where dependability plays a crucial role. This is because even a short transient violationof security policies may result in leaking private or highly sensitive information, compromise safety, or lead to the interruption of vital public or social services. This talk will go over a general runtime monitoring technique for a rich class of security polices (e.g., information flow) that cannot be expressed by traditional trace-based specification languages. To this end, we employ Clarkson and  Schneider's theory of hyperproperties. We first define the notion of monitorability and identify monitorable policies. Then, I will describe the complexity of runtime monitoring of such policies and introduce related algorithms
Borzoo Bonakdarpour is currently an assistant professor at the Department of Computing and Software at McMaster University, Canada. His research interests include runtime monitoring of distributed systems and security/privacy policies, power-aware algorithms, and model synthesis. His work in these areas have received multiple best paper awards and nominations from highly prestigious conferences. He is the main developer of the tool SYCRAFT which is capable of synthesizing fault-tolerant distributed protocols of size 1080 reachable states  and beyond. His Ph.D. dissertation, "Automated Revision of Distributed  and Real-Time Programs", was nominated for the 2010 ACM Doctoral Dissertation Award.


Seminar Series