3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.CR2019★ 1 cited
Weird Machines as Insecure Compilation
Jennifer Paykin, Eric Mertens, Mark Tullsen +4
Weird machines---the computational models accessible by exploiting security vulnerabilities---arise from the difference between the model a programmer has in her head of how her pr…
cs.PL2019★ 3 cited
Fine-Grained, Language-Based Access Control for Database-Backed Applications
Ezra Zigmond, Stephen Chong, Christos Dimoulas +1
Context: Database-backed applications often run queries with more authority than necessary. Since programs can access more data than they legitimately need, flaws in security check…