activity
20142026
most citedGeneralizing Permissive-Upgrade in Dynamic Information Flow Analysis

23 citations · 39 across the 10 of their papers we have counts for

collaborators

10 papers

cs.DC2026

Leveraging SIMD for Accelerating Large-number Arithmetic

Subhrajit Das, Abhishek Bichhawat, Yuvraj Patel

Large-number arithmetic, widely used in scientific computing and cryptography, has seen limited adoption of single instruction, multiple data (SIMD) parallelism on modern CPUs due…

cs.SE2025

On the Prevalence and Usage of Commit Signing on GitHub: A Longitudinal and Cross-Domain Study

Anupam Sharma, Sreyashi Karmakar, Gayatri Priyadarsini Kancherla +1

GitHub is one of the most widely used public code development platform. However, the code hosted publicly on the platform is vulnerable to commit spoofing that allows an adversary…

cs.CR2025

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…

cs.CR2024

Least Privilege Access for Persistent Storage Mechanisms in Web Browsers

Gayatri Priyadarsini Kancherla, Dishank Goel, Abhishek Bichhawat

Web applications often include third-party content and scripts to personalize a user's online experience. These scripts have unrestricted access to a user's private data stored in…

cs.CR2024

Measuring Compliance of Consent Revocation on the Web

Gayatri Priyadarsini Kancherla, Nataliia Bielova, Cristiana Santos +1

The GDPR requires websites to facilitate the right to revoke consent from Web users. While numerous studies measured compliance of consent with the various consent requirements, no…

cs.PL2020

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,…

cs.CR2018★ 2 cited

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…

cs.CR2017★ 8 cited

WebPol: Fine-grained Information Flow Policies for Web Browsers

Abhishek Bichhawat, Vineet Rajani, Jinank Jain +2

In the standard web browser programming model, third-party scripts included in an application execute with the same privilege as the application's own code. This leaves the applica…

cs.CR2015★ 23 cited

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…

cs.CR2014★ 6 cited

Information Flow Control in WebKit's JavaScript Bytecode

Abhishek Bichhawat, Vineet Rajani, Deepak Garg +1

Websites today routinely combine JavaScript from multiple sources, both trusted and untrusted. Hence, JavaScript security is of paramount importance. A specific interesting problem…