Comparative Analysis of Leakage Tools on Scalable Case Studies-Reference-Cited by-同舟云学术

Comparative Analysis of Leakage Tools on Scalable Case Studies

Published:2015 Issue: Volume: Page:263-281
ISSN:0302-9743
Container-title:Model Checking Software
language:
Short-container-title:

Author:

Biondi Fabrizio,Legay Axel,Quilbeuf Jean

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-23404-5_17

Reference30 articles.

1. Alvim, M.S., Chatzikokolakis, K., Palamidessi, C., Smith, G.: Measuring information leakage using generalized gain functions. In: Chong, S. (ed.) CSF, pp. 265–279. IEEE (2012)

2. Backes, M., Doychev, G., Köpf, B.: Preventing side-channel leaks in web traffic: A formal approach. In: NDSS. The Internet Society (2013)

3. Lecture Notes in Computer Science;F Biondi,2013

4. Biondi, F., Legay, A., Nielsen, B.F., Malacaria, P., Wasowski, A.: Information leakage of non-terminating processes. In: Raman and Suresh [28], pp. 517–529

5. Lecture Notes in Computer Science;F Biondi,2013

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Upper Bound Computation of Information Leakages for Unbounded Recursion;Software Engineering and Formal Methods;2021

2. Channel Capacity of Concurrent Probabilistic Programs;Entropy;2019-09-12

3. Information leakage of multi-threaded programs;Computers & Electrical Engineering;2019-09

4. Hybrid statistical estimation of mutual information and its application to information flow;Formal Aspects of Computing;2019-04

5. Secure Information Flow Analysis Using the PRISM Model Checker;Information Systems Security;2019