暂无分享,去创建一个
Ezio Bartocci | Borzoo Bonakdarpour | Erika Abraham | Oyendrila Dobe | E. Ábrahám | Borzoo Bonakdarpour | E. Bartocci | Oyendrila Dobe
[1] Sebastian Junges,et al. A Storm is Coming: A Modern Probabilistic Model Checker , 2017, CAV.
[2] Ezio Bartocci,et al. Parameter Synthesis for Probabilistic Hyperproperties , 2020, LPAR.
[3] Bowen Alpern,et al. Defining Liveness , 1984, Inf. Process. Lett..
[4] Yu Wang,et al. Statistical Model Checking for Hyperproperties , 2019, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).
[5] Christel Baier,et al. Stochastic game logic , 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
[6] J. Meseguer,et al. Security Policies and Security Models , 1982, 1982 IEEE Symposium on Security and Privacy.
[7] Bernd Finkbeiner,et al. Probabilistic Hyperproperties of Markov Decision Processes , 2020, ATVA.
[8] Andrew Chi-Chih Yao,et al. The complexity of nonuniform random number generation , 1976 .
[9] Michael R. Clarkson,et al. Hyperproperties , 2008, 2008 21st IEEE Computer Security Foundations Symposium.
[10] Yu Wang,et al. Statistical Verification of Hyperproperties for Cyber-Physical Systems , 2019, ACM Trans. Embed. Comput. Syst..
[11] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[12] Marieke Huisman,et al. Confidentiality for Probabilistic Multi-threaded Programs and Its Verification , 2012, ESSoS.
[13] Andrew C. Myers,et al. Observational determinism for concurrent program security , 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
[14] Christel Baier,et al. Principles of model checking , 2008 .
[15] Christel Baier,et al. On Decision Problems for Probabilistic Büchi Automata , 2008, FoSSaCS.
[16] Srdjan Marinovic,et al. Securing Databases from Probabilistic Inference , 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
[17] César Sánchez,et al. Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification , 2018, ISoLA.
[18] Erika Ábrahám,et al. HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties , 2018, QEST.
[19] Bernd Finkbeiner,et al. The Complexity of Monitoring Hyperproperties , 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF).