23 citations · 23 across the 2 of their papers we have counts for
4 papers
Online Authentication Habits of Indian Users
Pratyush Choudhary, Subhrajit Das, Mukul Paras Potta +2
Passwords have been long used as the primary authentication method for web services. Weak passwords used by the users have prompted the use of password management tools and two-fac…
First-order Gradual Information Flow Types with Gradual Guarantees
Abhishek Bichhawat, McKenna McCall, Limin Jia
Information flow type systems enforce the security property of noninterference by detecting unauthorized data flows at compile-time. However, they require precise type annotations,…
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…
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis
Abhishek Bichhawat, Vineet Rajani, Deepak Garg +1
Preventing implicit information flows by dynamic program analysis requires coarse approximations that result in false positives, because a dynamic monitor sees only the executed tr…