Author:
Taghdiri Mana,Snelting Gregor,Sinz Carsten
Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Integrating Information Flow Analysis in Unifying Theories of Programming;2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC);2021-12
2. Policy Dependent and Independent Information Flow Analyses;Formal Methods and Software Engineering;2017
3. Sparse representation of implicit flows with applications to side-channel detection;Proceedings of the 25th International Conference on Compiler Construction;2016-03-17
4. A CEGAR Scheme for Information Flow Analysis;Formal Methods and Software Engineering;2016
5. Data-Centric Refinement of Information Flow Analysis of Database Applications;Communications in Computer and Information Science;2015