Bounded model checking for hyperproperties TH Hsu, C Sánchez, B Bonakdarpour International Conference on Tools and Algorithms for the Construction and …, 2021 | 34 | 2021 |
Bounded model checking for asynchronous hyperproperties TH Hsu, B Bonakdarpour, B Finkbeiner, C Sánchez International Conference on Tools and Algorithms for the Construction and …, 2023 | 5 | 2023 |
Mapping Synthesis for Hyperproperties TH Hsu, B Bonakdarpour, E Kang, S Tripakis 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 486-500, 2022 | 2 | 2022 |
HyperQB: A QBF-Based Bounded Model Checker for Hyperproperties TH Hsu, B Bonakdarpour, C Sánchez arXiv preprint arXiv:2109.12989, 2021 | 2 | 2021 |
Efficient loop conditions for bounded model checking hyperproperties TH Hsu, C Sánchez, S Sheinvald, B Bonakdarpour International Conference on Tools and Algorithms for the Construction and …, 2023 | | 2023 |