College of Engineering
Trustworthy and Reliable Technologies Lab (TART)

Prof. Borzoo Bonakdarpour

Borzoo Bonakdarpour
Associate Professor -- Director
Biography:

 

Research Interests

I am currently an Associate Professor with the Department of Computer Science and Engineering at Michigan State University. I am broadly interested in the application of automated formal methods in:

  1. Security/Privacy
  2. Cyber-physical Systems
  3. Distributed Computing 

Awards & Recognition

  1. RV 2021 Best Paper Award
  2. IEEE SRDS 2017 Best Paper Award
  3. SSS 2014 Best Student Paper Award
  4. IEEE SIES 2010 Best Paper Award
  5. Best Paper Award runner up or finalist at EMSOFT'19, ATVA'19, EMSOFT'11, EMSOFT'09, ICDCS'07
  6. ISU LAS Spring 2019 Dean's Lecture
  7. Best Professor Award by the McMaster Software Engineering Club, 2017

Teaching (Fall 2021)

  1. Graduate-level course Computer and Network Security (CSE 825)

Professional Activities

  1. SRDS'21, General Chair.
  2. OPODIS'21, PC member.
  3. RV'21, PC member.
  4. CAV'21, PC member.
  5. ATVA'21, PC member.
  6. SSS'21, PC member.
  7. SRDS'20, PC co-chair.
  8. EMSOFT'20, PC member.
  9. DATE'20, Topic E4 co-chair.
  10. CAV'20, PC member.
  11. ATVA'20, PC member.
  12. RV'20, PC member.
  13. SIROCCO'20, PC member.
Homepage:
http://www.cse.msu.edu/~borzoo/
borzoo@msu.edu
Borzoo Bonakdarpour

Publications

2023

Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, Cesar Sanchez, "Bounded Model Checking for Asynchronous Hyperproperties" International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), , 2023.   tacas23-1.pdf (693.42 KB)   
Tzu-Han Hsu, Cesar Sanchez, Sarai Sheinvald, Borzoo Bonakdarpour, "Efficient Loop Conditions for Bounded Model Checking Hyperproperties" International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), , 2023.   tacas23-2.pdf (837.58 KB)   
Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour, "Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems" International Conference on Cyber-physical Systems, ACM, 2023.   iccps23.pdf (782.54 KB)   
Borzoo Bonakdarpour, Sarai Sheinvald, "Finite-Word Hyperlanguages" Information and Computation, Elsevier, 2023.   InfComp23-1.pdf (628.4 KB)   

2022

Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis, "Mapping Synthesis for Hyperproperties" The 35th IEEE International Symposium on Computer Security Foundations (CSF), IEEE, 2022.   main.pdf (466 KB)   
Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki, "Synthesizing Optimal Bias in Randomized Self-Stabilization" Springer Journal on Distributed Computing (DC), Springer, 2022.   dc22.pdf (538.27 KB)   
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy, "Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols" International Conference on Distributed Computing Systems, IEEE, 2022.   main.pdf (503.17 KB)   
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David Rsenblueth, Corentin Travers, "Decentralized Asynchronous Crash-Resilient Runtime Verification" Journal of the ACM, , 2022.   journal.pdf (784.05 KB)   
Houssam Abbas, Borzoo Bonakdarpour, "Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems" International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, , 2022.   isola22.pdf (473.33 KB)   
Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, "Model Checking Hyperproperties for Markov Decision Processes" Information and Computation, Elsevier, 2022.   InfComp23.pdf (659.33 KB)   
Oyendrila Dobe, Lukas Wilke, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, "Probabilistic Hyperproperties with Rewards" NASA Formal Methods Symposium, , 2022.   NFM22.pdf (544.59 KB)   

2021

Sandro Stucki, Cesar Sanchez, Gerardo Schneider, Borzoo Bonakdarpour, "Gray-box Monitoring of Hyperproperties with Application in Privacy" Formal Methods in System Design (FMSD), Springer, 2021.   fmsd21.pdf (1002.76 KB)   
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Cesar Sanchez, Bernd Finkbeiner, "A Temporal Logic for Asynchronous Hyperproperties" 33rd International Conference on Computer Aided Verification (CAV), Springer, 2021.   test.pdf (1.95 MB)   
Tzu-Han Hsu, Cesar Sanchez, Borzoo Bonakdarpour, "Bounded Model Checking for Hyperproperties" The 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, 2021.   tacas21.pdf (579.32 KB)   
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic, "Probabilistic Conformance for Cyber-Physical Systems" In the 12th ACM International Conference on Cyber-physical Systems (ICCPS), , 2021.   iccps21.pdf (1.7 MB)   
Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic, "Statistical Model Checking for Hyperproperties" The 34th IEEE International Symposium on Computer Security Foundations (CSF), IEEE, 2021.   csf21_1.pdf (436.14 KB)   
Borzoo Bonakdarpour, Sarai Sheinvald, "Finite-Word Hyperlanguages" The 14t International Conference on Language and Automata Theory and Applications (LATA), Springer, 2021.   lata21.pdf (418.21 KB)   
Anh-Duy Vu, Borzoo Bonakdarpour, "Optimal Recharging of Teams of Mobile Robots" The 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), IEEE, 2021.   rtcsa21.pdf (2.07 MB)   
Hadi Moloodi, Fathiyeh Faghih, Borzoo Bonakdarpour, "Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction" The 40th International Symposium on Reliable Distributed Systems (SRDS), IEEE, 2021.   main.pdf (365.33 KB)   
Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, "HyperProb: A Model Checker for Probabilistic Hyperproperties" The 24th International Symposium on Formal Methods (FM), Springer, 2021.   fm21.pdf (350.22 KB)   
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour, "Predicate Monitoring in Distributed Cyber-physical Systems" The 21st International Conference on Runtime Verification (RV), Springer, 2021.   rv21.pdf (573.81 KB)    [Received the Best Paper Award]

2020

Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour, "Parameterized synthesis of self-stabilizing protocols in symmetric networks" Acta Informatica, Springer, 2020.   acta20.pdf (420.62 KB)   
Borzoo Bonakdarpour, Bernd Finkbeiner, "Controller Synthesis for Hyperproperties" The 33rd IEEE International Symposium on Computer Security Foundations (CSF), IEEE, 2020.   csf20.pdf (397.7 KB)   
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe, "Probabilistic Hyperproperties with Nondeterminism" The 18th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, 2020.   atva20.pdf (558.93 KB)   
Borzoo Bonakdarpour, Pavithra Prabhakar, Cesar Sanchez, "Model Checking Timed Hyperproperties in Discrete-time Systems" The 12th NASA Formal Methods Conference (NFM), Springer, 2020.   nfm20.pdf (597.86 KB)   
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe, "Parameter Synthesis for Probabilistic Hyperproperties" The 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), , 2020.   lpar20.pdf (703.87 KB)   
Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour, "Monitoring Distributed Systems under Partial Synchrony" The 25th International Conference on Principles of Distributed Systems (OPODIS), LIPICS, 2020.   opodis20.pdf (688.15 KB)   

2019

Ezio Bartocci, Ylies Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang, "First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014" International Journal on Software Tools for Technology Transfer (STTT), , 2019.   sttt19.pdf (1.29 MB)   
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic, "Statistical Verification of Hyperproperties for Cyber-Physical Systems" ACM Transactions on Embedded Computing Systems, ACM, 2019.   tecs19.pdf (865.93 KB)    [Best Paper Award Finalist]
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, "Energy-Efficient Multiple Producer-Consumer" IEEE Transactions on Parallel and Distributed Systems (TPDS), IEEE, 2019.   tpds19.pdf (1007.7 KB)   
Borzoo Bonakdarpour, Bernd Finkbeiner, "Program Repair for Hyperproperties" The 17th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, 2019.   atva19.pdf (484.66 KB)    [Best Paper Award Finalist]
Sandro Stucki, Cesar Sanchez, Gerardo Schneider, Borzoo Bonakdarpour, "Gray-Box Monitoring of Hyperproperties" The 23rd International Symposium on Formal Methods (FM), Springer, 2019.   fm19.pdf (457.86 KB)   
Anh-Duy Vu, Ramy Medhat, Borzoo Bonakdarpour, "Managing the security-energy tradeoff in distributed cyber-physical systems" The 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), ACM, 2019.   iccps19.pdf (2.54 MB)   

2018

Borzoo Bonakdarpour, Jyotirmoy Deshmukh, Miroslav Pajic, "Opportunities and Challenges in Monitoring Cyber-Physical Systems Security" The 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice (ISoLA), Springer, 2018.   isola18-2.pdf (269.89 KB)   
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour, "Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings" The 22nd International Conference on Principles of Distributed Systems (OPODIS), LIPICS, 2018.   opodis18.pdf (506.39 KB)   
Erika Abraham, Borzoo Bonakdarpour, "HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties" The 15th International Conference on Quantitative Evaluation of Systems (QEST), Springer, 2018.   qest18.pdf (409.6 KB)   
Shokufeh Kazemloo, Borzoo Bonakdarpour, "Crash-Resilient Decentralized Synchronous Runtime Verification" The 37th IEEE Symposium on Reliable Distributed Systems (SRDS), IEEE, 2018.   srds18.pdf (371.43 KB)   
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep Kulkrani, "Automated Synthesis of Distributed Self-Stabilizing Protocols" Logical Methods in Computer Science, , 2018.   lmcs18.pdf (369.17 KB)   
Fathiyeh Faghih, Borzoo Bonakdarpour, "Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery" IEEE Transactions on Dependable and Secure Computing, IEEE, 2018.   tdsc18.pdf (968.46 KB)   
Borzoo Bonakdarpour, Bernd Finkbeiner, "The Complexity of Monitoring Hyperproperties" The 31st IEEE Computer Security Foundations Symposium (CSF), IEEE, 2018.   csf18.pdf (497.96 KB)   
Borzoo Bonakdarpour, Cesar Sanchez, Gerardo Schneider, "Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification" The 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Verification (ISoLA), Springer, 2018.   isola18-1.pdf (442.06 KB)   

2017

Ramy Medhat, Michael O. Lam, Barry L. Rountree, Borzoo Bonakdarpour, Sebastian Fischmeister, "Managing the Performance/Error Tradeoff of Floating-point Intensive Applications" ACM Transactions on Embedded Computing Systems, Volume 16, ACM, 2017.      
Akhil Krishnan, Mikhail Markov, Borzoo Bonakdarpour, "Distributed Vehicle Routing Approximation" The 31st IEEE International Parallel and Distributed Processing Symposium (IPDPS), IEEE, 2017.   ipdps17.pdf (418.54 KB)   
Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann, "Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms" The 36th IEEE Symposium on Reliable Distributed Systems (SRDS), IEEE, 2017.   srds17.pdf (364.86 KB)    [Received the Best Paper Award]
Fathiyeh Faghih, Borzoo Bonakdarpour, "ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms" The 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, 2017.   sss17.pdf (414.41 KB)   
Noel Brett, Umair Siddique, "Rewriting-Based Runtime Verification for Alternation-Free HyperLTL" The 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, 2017.   tacas17.pdf (423.52 KB)   

On This Site

Departments

MSU Resources

Contact Us

Engineering Building
428 S. Shaw Lane
East Lansing, MI 48824-1226
Phone: (517) 355-5113
Fax: (517) 355-2288

Michigan State University Wordmark Michigan State University Wordmark