Abhishek Bichhawat

IACR Cryptol. ePrint Arch., 2023

Towards Usable Security Analysis Tools for Trigger-Action Programming.

[BibT_eX]

[DOI]

Eric Zeng

Faysal Hossain Shezan

Proceedings of the Nineteenth Symposium on Usable Privacy and Security, 2023

Layered Symbolic Security Analysis in $\textsf {DY}^\star $.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2023, 2023

Tainted Secure Multi-Execution to Restrict Attacker Influence.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (Long Version).

[BibT_eX]

[DOI]

Son Ho

Jonathan Protzenko

IACR Cryptol. ePrint Arch., 2022

Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations.

[BibT_eX]

[DOI]

Son Ho

Jonathan Protzenko

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Compositional Information Flow Monitoring for Reactive Programs.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE European Symposium on Security and Privacy, 2022

2021

Permissive runtime information flow control in the presence of exceptions.

[BibT_eX]

[DOI]

J. Comput. Secur., 2021

An In-Depth Symbolic Security Analysis of the ACME Standard.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code.

[BibT_eX]

[DOI]

Proceedings of the IEEE European Symposium on Security and Privacy, 2021

Gradual Security Types and Gradual Guarantees.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

Automating Audit with Policy Inference.

[BibT_eX]

[DOI]

Matt Fredrikson

Jean Yang

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

A Tutorial-Style Introduction to DY*.

[BibT_eX]

[DOI]

Proceedings of the Protocols, Strands, and Logic, 2021

2020

First-order Gradual Information Flow Types with Gradual Guarantees.

[BibT_eX]

[DOI]

CoRR, 2020

Contextual and Granular Policy Enforcement in Database-backed Applications.

[BibT_eX]

[DOI]

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2018

Practical dynamic information flow control.

[BibT_eX]

[DOI]

PhD thesis, 2018

ESTRELA: Automated Policy Enforcement Across Remote APIs.

[BibT_eX]

[DOI]

CoRR, 2018

2017

WebPol: Fine-Grained Information Flow Policies for Web Browsers.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2017, 2017

2015

Post-Dominator Analysis for Precisely Handling Implicit Flows.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Information Flow Control for Event Handling and the DOM in Web Browsers.

[BibT_eX]

[DOI]

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Information Flow Control in WebKit's JavaScript Bytecode.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Exception handling for dynamic information flow control.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014

2011

Security Architecture for Virtual Machines.

[BibT_eX]

[DOI]

Udaya Kiran Tupakula

Vijay Varadharajan