464 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- East China Normal UniversityCN69 papers
- Ningbo UniversityCN16 papers
- Shanghai Jiao Tong UniversityCN11 papers
- Nanyang Technological UniversitySG5 papers
- Waseda UniversityJP5 papers
- Chinese University of Hong Kong, ShenzhenCN4 papers
- Fudan UniversityCN4 papers
- Iowa State UniversityUS4 papers
- Southern University of Science and TechnologyCN4 papers
- The University of Texas Rio Grande ValleyUS4 papers
- Tsinghua UniversityCN4 papers
- University of MinnesotaUS4 papers
Showing 2024Show all
2 papers · 1 filter
cs.LO2024★ 1 cited
Source-level reasoning for quantitative information flow
Chris Chen, Annabelle McIver, Carroll Morgan
We present a novel formal system for proving quantitative-leakage properties of programs. Based on a theory of Quantitative Information Flow (QIF) that models information leakage a…
cs.SE2024
DeepFWI: Identifying Bug-Sensitive Warnings with Multi-Modal Code-Warning Semantics
Han Liu, Jian Zhang, Cen Zhang +7
Static analysis tools have evolved over time to assist in detecting bugs. However, the excessive false warnings can impede developers' productivity and confidence in the tools. Pre…