14 citations · 14 across the 1 of their papers we have counts for
2 papers
cs.PL2022★ 14 cited
Type-Directed Program Synthesis for RESTful APIs
Zheng Guo, David Cao, Davin Tjong +3
With the rise of software-as-a-service and microservice architectures, RESTful APIs are now ubiquitous in mobile and web applications. A service can have tens or hundreds of API me…
cs.CR2018
Contextual and Granular Policy Enforcement in Database-backed Applications
Abhishek Bichhawat, Matt Fredrikson, Jean Yang +1
Database-backed applications rely on inlined policy checks to process users' private and confidential data in a policy-compliant manner as traditional database access control mecha…