Stephen Chong

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Fast incremental PEG parsing.

[BibT_eX]

[DOI]

Zachary Yedidia

Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021

Coupled Relational Symbolic Execution for Differential Privacy.

[BibT_eX]

[DOI]

Gian Pietro Farina

Marco Gaboardi

Proceedings of the Programming Languages and Systems, 2021

Relational Analysis of Sensor Attacks on Cyber-Physical Systems.

[BibT_eX]

[DOI]

Jian Xiang

Nathan Fulton

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

2020

Fine-Grained, Language-Based Access Control for Database-Backed Applications.

[BibT_eX]

[DOI]

Art Sci. Eng. Program., 2020

Formulog: Datalog for SMT-based static analysis.

[BibT_eX]

[DOI]

Aaron Bembenek

Michael Greenberg

Proc. ACM Program. Lang., 2020

Formulog: Datalog for SMT-Based Static Analysis (Extended Version).

[BibT_eX]

[DOI]

Aaron Bembenek

Michael Greenberg

CoRR, 2020

2019

Formalizing Privacy Laws for License Generation and Data Repository Decision Automation.

[BibT_eX]

[DOI]

Micah Altman

Alexandra Wood

CoRR, 2019

Aquarium Technical Report Preprint.

[BibT_eX]

[DOI]

CoRR, 2019

Trials and Tribulations in Synthesizing Operating Systems.

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019

Relational Symbolic Execution.

[BibT_eX]

[DOI]

Gian Pietro Farina

Mathias Vorreiter Pedersen

Marco Gaboardi

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

Machine Learning-Enabled Adaptation of Information Fusion Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 22th International Conference on Information Fusion, 2019

Programming with Flow-Limited Authorization: Coarser is Better.

[BibT_eX]

[DOI]

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

Information Flow Control for Distributed Trusted Execution Environments.

[BibT_eX]

[DOI]

Anitha Gollamudi

Owen Arden

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

FormuLog: Datalog for static analysis involving logical formulae.

[BibT_eX]

[DOI]

Aaron Bembenek

CoRR, 2018

2017

Whip: higher-order contracts for modern services.

[BibT_eX]

[DOI]

Lucas Waye

Christos Dimoulas

Proc. ACM Program. Lang., 2017

A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version).

[BibT_eX]

[DOI]

Comput. Secur., 2017

Cryptographically Secure Information Flow Control on Key-Value Stores.

[BibT_eX]

[DOI]

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

Authorization Contracts.

[BibT_eX]

[DOI]

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

2016

Truthful Mechanisms for Agents That Value Privacy.

[BibT_eX]

[DOI]

ACM Trans. Economics and Comput., 2016

Report on the NSF Workshop on Formal Methods for Security.

[BibT_eX]

[DOI]

CoRR, 2016

A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2016

Correct Audit Logging: Theory and Practice.

[BibT_eX]

[DOI]

Sepehr Amir-Mohammadian

Christian Skalka

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

Precise, dynamic information flow for database-backed applications.

[BibT_eX]

[DOI]

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Extensible access control with authorization contracts.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Automatic enforcement of expressive security policies using enclaves.

[BibT_eX]

[DOI]

Anitha Gollamudi

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

Using Architecture to Reason about Information Security.

[BibT_eX]

[DOI]

Ron van der Meyden

ACM Trans. Inf. Syst. Secur., 2015

Self-Identifying Data for Fair Use.

[BibT_eX]

[DOI]

Christian Skalka

ACM J. Data Inf. Qual., 2015

End-To-End Policy-Agnostic Security for Database-Backed Applications.

[BibT_eX]

[DOI]

CoRR, 2015

It's My Privilege: Controlling Downgrading in DC-Labels.

[BibT_eX]

[DOI]

Proceedings of the Security and Trust Management - 11th International Workshop, 2015

Exploring and enforcing security guarantees via program dependence graphs.

[BibT_eX]

[DOI]

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Cryptographic Enforcement of Language-Based Information Erasure.

[BibT_eX]

[DOI]

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

Hybrid Monitors for Concurrent Noninterference.

[BibT_eX]

[DOI]

Aslan Askarov

Heiko Mantel

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

2014

SHILL: A Secure Shell Scripting Language.

[BibT_eX]

[DOI]

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Language-based capabilities.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Workshop on Privacy & Security in Programming, 2014

Declarative Policies for Capability Control.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Enforcing Language Semantics Using Proof-Carrying Data.

[BibT_eX]

[DOI]

Eran Tromer

IACR Cryptol. ePrint Arch., 2013

Towards fully automatic placement of security sanitizers and declassifiers.

[BibT_eX]

[DOI]

Benjamin Livshits

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Asynchronous functional reactive programming for GUIs.

[BibT_eX]

[DOI]

Evan Czaplicki

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Required information release.

[BibT_eX]

[DOI]

J. Comput. Secur., 2012

Towards a practical secure concurrent language.

[BibT_eX]

[DOI]

Stefan K. Muller

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Learning is Change in Knowledge: Knowledge-Based Security for Dynamic Policies.

[BibT_eX]

[DOI]

Aslan Askarov

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

Precise enforcement of progress-sensitive security.

[BibT_eX]

[DOI]

Scott Moore

Aslan Askarov

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

Inference of Expressive Declassification Policies.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Static Analysis for Efficient Hybrid Information-Flow Control.

[BibT_eX]

[DOI]

Scott Moore

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

2010

A more precise security type system for dynamic security tests.

[BibT_eX]

[DOI]

Gregory Malecha

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

Self-identifying sensor data.

[BibT_eX]

[DOI]

Christian Skalka

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

2009

Building secure web applications with automatic partitioning.

[BibT_eX]

[DOI]

Commun. ACM, 2009

Deriving epistemic conclusions from agent architecture.

[BibT_eX]

[DOI]

Ron van der Meyden

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Provenance: a future history.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Towards Semantics for Provenance Security.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on the Theory and Practice of Provenance, 2009

2008

Expressive and Enforceable Information Security Policies.

[BibT_eX]

PhD thesis, 2008

Civitas: Toward a Secure Voting System.

[BibT_eX]

[DOI]

Michael R. Clarkson

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

End-to-End Enforcement of Erasure and Declassification.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

2007

SIF: Enforcing Confidentiality and Integrity in Web Applications.

[BibT_eX]

[DOI]

K. Vikram

Proceedings of the 16th USENIX Security Symposium, Boston, MA, USA, August 6-10, 2007, 2007

Secure web application via automatic partitioning.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

Civitas: A Secure Remote Voting System.

[BibT_eX]

[DOI]

Michael E. Clarkson

Proceedings of the Frontiers of Electronic Voting, 29.07. - 03.08.2007, 2007

2006

Information-Flow Security for Interactive Programs.

[BibT_eX]

[DOI]

Kevin R. O'Neill

Michael R. Clarkson

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

Decentralized Robustness.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005

Language-Based Information Erasure.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

2004

A Framework for Creating Natural Language User Interfaces for Action-Based Applications

[BibT_eX]

[DOI]

Riccardo Pucella

CoRR, 2004

Scalable extensibility via nested inheritance.

[BibT_eX]

[DOI]

Nathaniel Nystrom

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Owned Policies for Information Security.

[BibT_eX]

[DOI]

Hubie Chen

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

Security policies for downgrading.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM Conference on Computer and Communications Security, 2004

2003

Review of type-logical semantics.

[BibT_eX]

[DOI]

Riccardo Pucella

SIGACT News, 2003

Using Replication and Partitioning to Build Secure Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE Symposium on Security and Privacy (S&P 2003), 2003

Static Analysis of Accessed Regions in Recursive Data Structures.

[BibT_eX]

[DOI]