@inproceedings{ccs-mbj-23,
  author    = {McKenna McCall, Abhishek Bichhawat and Limin Jia},
  booktitle = {Proceedings of the 30th ACM Conference on Computer and Communications Security},
  month     = {November},
  title     = {Tainted Secure Multi-Execution to Restrict Attacker Influence},
  year      = {2023}
}

@inproceedings{esorics-bbh-23,
  author    = {Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann and Tim Würtele},
  booktitle = {Proceedings of the 28th European Symposium on Research in Computer Security},
  month     = {September},
  title     = {Layered Symbolic Security Analysis in DY*},
  year      = {2023}
}

@inproceedings{soups-mzs-23,
  author    = {McKenna McCall, Eric Zeng, Faysal Hossain Shezan, Mitchell Yang, Lujo Bauer, Abhishek Bichhawat, Camille Cobb, Limin Jia and Yuan Tian},
  booktitle = {Proceedings of the Nineteenth Symposium on Usable Privacy and Security},
  month     = {August},
  title     = {Towards Usable Security Analysis Tools for Trigger-Action Programming},
  year      = {2023}
}

@inproceedings{eurosp-mbj-22,
  author    = {McKenna McCall, Abhishek Bichhawat and Limin Jia},
  booktitle = {Proceedings of the IEEE European Symposium on Security and Privacy},
  month     = {June},
  title     = {Compositional Information Flow Monitoring for Reactive Programs},
  year      = {2022}
}

@inproceedings{oakland-hpbb-22,
  author    = {Son Ho, Jonathan Protzenko, Abhishek Bichhawat and Karthikeyan Bhargavan},
  booktitle = {Proceedings of the IEEE Symposium on Security and Privacy},
  month     = {May},
  title     = {Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations},
  year      = {2022}
}

@inproceedings{festschrift-bbd-21,
  author    = {Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz and Tim Würtele},
  booktitle = {Protocols, Strands, and Logic. Lecture Notes in Computer Science, vol 13066},
  month     = {Nov},
  title     = {A Tutorial-Style Introduction to DY*},
  year      = {2021}
}

@inproceedings{ccs-bbd-21,
  author    = {Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz and Tim Würtele},
  booktitle = {Proceedings of the ACM Conference on Computer and Communications Security},
  month     = {Nov},
  title     = {An In-Depth Symbolic Security Analysis of the ACME Standard},
  year      = {2021}
}

@inproceedings{eurosp-bbd-21,
  author    = {Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz and Tim Würtele},
  booktitle = {Proceedings of the IEEE European Symposium on Security and Privacy},
  month     = {Sep},
  title     = {{DY}*: {A} Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code},
  year      = {2021}
}

@inproceedings{csf-bmj-21,
  author    = {Abhishek Bichhawat, McKenna McCall and Limin Jia},
  booktitle = {Proceedings of the 34th IEEE Computer Security Foundations Symposium (CSF)},
  month     = {June},
  title     = {Gradual Security Types and Gradual Guarantees},
  year      = {2021}
}

@inproceedings{csf-bfy-21,
  author    = {Abhishek Bichhawat, Matt Fredrikson and Jean Yang},
  booktitle = {Proceedings of the 34th IEEE Computer Security Foundations Symposium (CSF)},
  month     = {June},
  title     = {Automating Audit with Policy Inference},
  year      = {2021}
}

@inproceedings{asiaccs-bfyt-20,
  author    = {Abhishek Bichhawat, Matt Fredrikson, Jean Yang and Akash Trehan},
  booktitle = {Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (AsiaCCS))},
  month     = {October},
  title     = {Contextual and Granular Policy Enforcement in Database-backed Applications},
  year      = {2020}
}

@inproceedings{esorics-brjgh-17,
  author    = {Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg and Christian Hammer},
  booktitle = {Proceedings of the 22nd European Symposium on Research in Computer Security (ESORICS)},
  month     = {September},
  title     = {{WebPol: Fine-grained Information Flow Policies for Web Browsers}},
  year      = {2017}
}

@inproceedings{post-brgh-14,
  author    = {Abhishek Bichhawat, Vineet Rajani, Deepak Garg and Christian Hammer},
  booktitle = {Proceedings of the 3rd International Conference on Principles of Security and Trust (POST)},
  month     = {April},
  title     = {{Information Flow Control in WebKit’s JavaScript Bytecode}},
  year      = {2014}
}

@inproceedings{ica3pp-tvb-11,
  author    = {Udaya Tupakula, Vijay Varadharajan and Abhishek Bichhawat},
  booktitle = {Proceedings of the 3rd International Conference on Principles of Security and Trust (POST)},
  month     = {Oct},
  title     = {{Security Architecture for Virtual Machines}},
  year      = {2011}
}