Publisher
Springer International Publishing
Reference29 articles.
1. Assaf, M., Signoles, J., Totel, E., Tronel, F.: The cardinal abstraction for quantitative information flow. In: Workshop on Foundations of Computer Security 2016 (FCS 2016), Lisbon, Portugal (June 2016). https://hal.inria.fr/hal-01334604
2. Backes, M., Köpf, B., Rybalchenko, A.: Automatic discovery and quantification of information leaks. In: 2009 30th IEEE Symposium on Security and Privacy, SP 2009, pp. 141–153. IEEE, Washington, DC (May 2009). https://doi.org/10.1109/SP.2009.18
3. Beyer, D., Gulwani, S., Schmidt, D.A.: Combining model checking and data-flow analysis. In: Handbook of Model Checking, pp. 493–540. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-10575-8_16
4. Lecture Notes in Computer Science;F Biondi,2018
5. Lecture Notes in Computer Science;F Biondi,2015