| 2026 | FSCD | Undecidability for Semirings with Fixed Points. | Anupam Das, Abhishek De, Stepan L. Kuznetsov |
| 2026 | NDSS | Cross-Boundary Mobile Tracking: Exploring Java-to-JavaScript Information Diffusion in WebViews. | Sohom Datta, Michalis Diamantaris, Ahsan Zafar, Junhua Su, Anupam Das, Jason Polakis, Alexandros Kapravelos |
| 2025 | CCS | Same Script, Different Behavior: Characterizing Divergent JavaScript Execution Across Different Device Platforms. | Ahsan Zafar, Junhua Su, Sohom Datta, Alexandros Kapravelos, Anupam Das |
| 2025 | EMNLP | Benchmarking LLMs on Semantic Overlap Summarization. | John Salvador, Naman Bansal, Mousumi Akter, Souvika Sarkar, Anupam Das, Shubhra Kanti Karmaker |
| 2025 | MFCS | Right-Linear Lattices: An Algebraic Theory of ω-Regular Languages, with Fixed Points. | Anupam Das, Abhishek De |
| 2025 | WWW | Assessing Compliance in Digital Advertising: A Deep Dive into Acceptable Ads Standards. | Ahsan Zafar, Anupam Das |
| 2025 | SP | Analyzing Ad Prevalence, Characteristics, and Compliance in Alexa Skills. | Aafaq Sabir, Abhinaya S. B., Dilawer Ahmed, Anupam Das |
| 2025 | STACS | Algebras for Automata: Reasoning with Regularity (Invited Talk). | Anupam Das |
| 2025 | TABLEAUX | Cyclic System for an Algebraic Theory of Alternating Parity Automata. | Anupam Das, Abhishek De |
| 2024 | CSL | Intuitionistic Gdel-Lb Logic, la Simpson: Labelled Systems and Birelational Semantics. | Anupam Das, Iris van der Giessen, Sonia Marin |
| 2024 | IJCAR | A Proof Theory of (mega-)Context-Free Languages, via Non-wellfounded Proofs. | Anupam Das, Abhishek De |
| 2024 | LICS | A proof theory of right-linear (ω-)grammars via cyclic proofs. | Anupam Das, Abhishek De |
| 2024 | MOBICOM | Privacy Measurement of Physical Attributes on Voice Anonymity. | Shaohu Zhang, Zhouyu Li, Anupam Das |
| 2024 | SP | Understanding Parents' Perceptions and Practices Toward Children's Security and Privacy in Virtual Reality. | Jiaxun Cao, Abhinaya S. B., Anupam Das, Pardis Emami Naeini |
| 2023 | CSL | Non-Uniform Complexity via Non-Wellfounded Proofs. | Gianluca Curzi, Anupam Das |
| 2023 | DSN | Speaker Orientation-Aware Privacy Control to Thwart Misactivation of Voice Assistants. | Shaohu Zhang, Aafaq Sabir, Anupam Das |
| 2023 | FSCD | Cyclic Proofs for Arithmetical Inductive Definitions. | Anupam Das, Lukas Melgaard |
| 2023 | ICCCN | INSPIRE: Instance-Level Privacy-Pre Serving Transformation for Vehicular Camera Videos. | Zhouyu Li, Ruozhou Yu, Anupam Das, Shaohu Zhang, Huayue Gu, Xiaojian Wang, Fangtong Zhou, Aafaq Sabir, Dilawer Ahmed, Ahsan Zafar |
| 2023 | LICS | Computational expressivity of (circular) proofs with fixed points. | Gianluca Curzi, Anupam Das |
| 2023 | TABLEAUX | On Intuitionistic Diamonds (and Lack Thereof). | Anupam Das, Sonia Marin |
| 2022 | AiML | Modal logic and the polynomial hierarchy: from QBFs to K and back. | Anupam Das, Sonia Marin |
| 2022 | CADE | Cyclic Proofs, Hypersequents, and Transitive Closure Logic. | Anupam Das, Marianna Girlando |
| 2022 | CHI | Hey Alexa, Who Am I Talking to?: Analyzing Users' Perception and Awareness Regarding Third-party Alexa Skills. | Aafaq Sabir, Evan Lafontaine, Anupam Das |
| 2022 | CiE | Proof Complexity of Monotone Branching Programs. | Anupam Das, Avgerinos Delkos |
| 2022 | FSCD | Decision Problems for Linear Logic with Least and Greatest Fixed Points. | Anupam Das, Abhishek De, Alexis Saurin |
| 2022 | LICS | Cyclic Implicit Complexity. | Gianluca Curzi, Anupam Das |
| 2022 | SOFTCOM | A Hybrid Deep Learning Technique for Sentiment Analysis in E-Learning Platform with Natural Language Processing. | Jay Krishna Das, Anupam Das, Joann Rosak-Szyrocka |
| 2021 | AsiaCCS | Understanding the Privacy Implications of Adblock Plus's Acceptable Ads. | Ahsan Zafar, Aafaq Sabir, Dilawer Ahmed, Anupam Das |
| 2021 | CHI | Understanding People's Attitude and Concerns towards Adopting IoT Devices. | Evan Lafontaine, Aafaq Sabir, Anupam Das |
| 2021 | FSCD | On the Logical Strength of Confluence and Normalisation for Cyclic Proofs. | Anupam Das |
| 2021 | FSCD | New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial. | Anupam Das, Alex A. Rice |
| 2021 | MOBICOM | A 2-FA for home voice assistants using inaudible acoustic signal. | Shaohu Zhang, Anupam Das |
| 2021 | NDSS | Hey Alexa, is this Skill Safe?: Taking a Closer Look at the Alexa Skill Ecosystem. | Christopher Lentzsch, Sheel Jayesh Shah, Benjamin Andow, Martin Degeling, Anupam Das, William Enck |
| 2021 | RAID | HandLock: Enabling 2-FA for Smart Home Voice Assistants using Inaudible Acoustic Signal. | Shaohu Zhang, Anupam Das |
| 2020 | CSL | Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs. | Sam Buss, Anupam Das, Alexander Knop |
| 2020 | SOUPS | How Risky Are Real Users' IFTTT Applets? | Camille Cobb, Milijana Surbatovich, Anna Kawakami, Mahmood Sharif, Lujo Bauer, Anupam Das, Limin Jia |
| 2018 | CADE | Focussing, MALL and the Polynomial Hierarchy. | Anupam Das |
| 2018 | CCS | The Web's Sixth Sense: A Study of Scripts Accessing Smartphone Sensors. | Anupam Das, Gunes Acar, Nikita Borisov, Amogh Pradeep |
| 2018 | CSL | A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions. | Anupam Das, Isabel Oitavem |
| 2018 | CSL | Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices). | Anupam Das, Damien Pous |
| 2018 | LPAR | Left-Handed Completeness for Kleene algebra, via Cyclic Proofs. | Anupam Das, Amina Doumane, Damien Pous |
| 2018 | NDSS | Riding out DOMsday: Towards Detecting and Preventing DOM Cross-Site Scripting. | William Melicher, Anupam Das, Mahmood Sharif, Lujo Bauer, Limin Jia |
| 2017 | CVPR | Assisting Users in a World Full of Cameras: A Privacy-Aware Infrastructure for Computer Vision Applications. | Anupam Das, Martin Degeling, Xiaoyou Wang, Junjue Wang, Norman M. Sadeh, Mahadev Satyanarayanan |
| 2017 | INFOCOM | Password correlation: Quantification, evaluation and application. | Shouling Ji, Shukun Yang, Anupam Das, Xin Hu, Raheem A. Beyah |
| 2017 | MMSys | A Scalable and Privacy-Aware IoT Service for Live Video Analytics. | Junjue Wang, Brandon Amos, Anupam Das, Padmanabhan Pillai, Norman M. Sadeh, Mahadev Satyanarayanan |
| 2017 | RAID | Mining on Someone Else's Dime: Mitigating Covert Mining Operations in Clouds and Enterprises. | Rashid Tahir, Muhammad Huzaifa, Anupam Das, Mohammad Ahmad, Carl A. Gunter, Fareed Zaffar, Matthew Caesar, Nikita Borisov |
| 2017 | WWW | Some Recipes Can Do More Than Spoil Your Appetite: Analyzing the Security and Privacy Risks of IFTTT Recipes. | Milijana Surbatovich, Jassim Aljuraidan, Lujo Bauer, Anupam Das, Limin Jia |
| 2017 | TABLEAUX | A Cut-Free Cyclic Proof System for Kleene Algebra. | Anupam Das, Damien Pous |
| 2016 | CSL | Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic. | Patrick Baillot, Anupam Das |
| 2016 | LICS | From positive and intuitionistic bounded arithmetic to monotone proof complexity. | Anupam Das |
| 2016 | NDSS | Tracking Mobile Web Users Through Motion Sensors: Attacks and Defenses. | Anupam Das, Nikita Borisov, Matthew Caesar |
| 2015 | LICS | A Complete Axiomatization of MSO on Infinite Trees. | Anupam Das, Colin Riba |
| 2014 | CCS | Do You Hear What I Hear?: Fingerprinting Smart Devices Through Embedded Acoustic Components. | Anupam Das, Nikita Borisov, Matthew Caesar |
| 2014 | CCS | Re | Anupam Das, Nikita Borisov, Prateek Mittal, Matthew Caesar |
| 2014 | CSL | On the pigeonhole and related principles in deep inference and monotone systems. | Anupam Das |
| 2014 | NDSS | The Tangled Web of Password Reuse. | Anupam Das, Joseph Bonneau, Matthew Caesar, Nikita Borisov, XiaoFeng Wang |
| 2013 | CCS | PnP: improving web browsing performance over tor using web resource prefetch-and-push. | Giang T. K. Nguyen, Xun Gong, Anupam Das, Nikita Borisov |
| 2013 | FC | Securing Anonymous Communication Channels under the Selective DoS Attack. | Anupam Das, Nikita Borisov |
| 2012 | CiE | Complexity of Deep Inference via Atomic Flows. | Anupam Das |
| 2011 | TABLEAUX | On the Proof Complexity of Cut-Free Bounded Deep Inference. | Anupam Das |
| 2010 | LCN | A novel feedback based fast adaptive trust model for P2P networks. | Anupam Das, Mohammad Mahfuzul Islam |
| 2008 | ISNN | Permutation Free Encoding Technique for Evolving Neural Networks. | Anupam Das, Md. Shohrab Hossain, Saeed Muhammad Abdullah, Rashed Ul Islam |