6 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.CR2018★ 5 cited
High-level Cryptographic Abstractions
Christopher Kane, Bo Lin, Saksham Chand +2
The interfaces exposed by commonly used cryptographic libraries are clumsy, complicated, and assume an understanding of cryptographic algorithms. The challenge is to design high-le…
cs.PL2016★ 6 cited
Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions
K. Tuncay Tekle, Yanhong A. Liu
Pointer analysis is a fundamental static program analysis for computing the set of objects that an expression can refer to. Decades of research has gone into developing methods of…