Secure distributed programming with value-dependent types
NIKHIL SWAMY , JUAN CHEN , CÉDRIC FOURNET , PIERRE-YVES STRUB
Journal of Functional Programming 23 ( 4) 402 -451
39
2013
Type-Driven Repair for Information Flow Security
Nadia Polikarpova , Shachar Itzhaky , Jean Yang , Armando Solar-Lezama
arXiv: Programming Languages
4
2016
Contextual and Granular Policy Enforcement in Database-backed Applications
Abhishek Bichhawat , Matt Fredrikson , Jean Yang , Akash Trehan
computer and communications security 432 -444
2020
Secure distributed programming with value-dependent types
Nikhil Swamy , Juan Chen , Cédric Fournet , Pierre-Yves Strub
ACM SIGPLAN Notices 46 ( 9) 266 -278
153
2011
Liquid information flow control
Nadia Polikarpova , Deian Stefan , Jean Yang , Shachar Itzhaky
Proceedings of the ACM on Programming Languages 4 1 -30
3
2020
How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web Applications
Jean Yang
acm workshop on programming languages and analysis for security
2020
A Trace Query Language for Rule-based Models
Jonathan Laurent , Hector F. Medina-Abarca , Pierre Boutillier , Jean Yang
computational methods in systems biology 220 -237
1
2018
A language for automatically enforcing privacy policies
Jean Yang , Kuat Yessenov , Armando Solar-Lezama
symposium on principles of programming languages 47 ( 1) 85 -96
183
2012
Faceted execution of policy-agnostic programs
Thomas H. Austin , Jean Yang , Cormac Flanagan , Armando Solar-Lezama
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS '13 15 -26
39
2013
Type-directed program synthesis for RESTful APIs
Zheng Guo , David Cao , Davin Tjong , Jean Yang
Smpte Journal 122 -136
1
2022
Security programming with refinement types and mobile proofs
Nikhil Swamy , Juan Chen , Cédric Fournet , Karthikeyan Bharagavan
Microsoft Research, Tech. Rep. MSR-TR-2010–149
10
2010
Precise, dynamic information flow for database-backed applications
Jean Yang , Travis Hance , Thomas H Austin , Armando Solar-Lezama
ACM Sigplan Notices 51 ( 6) 631 -647
86
2016
End-to-end policy-agnostic security for database-backed applications
Jean Yang , Travis Hance , Thomas H Austin , Armando Solar-Lezama
CoRR, abs/1507.03513
13
2015
Type-driven repair for information flow security
Nadia Polikarpova , Jean Yang , Shachar Itzhaky , Armando Solar-Lezama
CoRR abs/1607.03445
12
2016
Enforcing information flow policies with type-targeted program synthesis
Nadia Polikarpova , Jean Yang , Shachar Itzhaky , Travis Hance
arXiv preprint arXiv:1607.03445
9
2018
Faceted Execution of Policy-Agnostic Programs Extended Version Technical Report# UCSC-SOE-12-18
Thomas H Austin , Jean Yang , Cormac Flangan , Armando Solar-Lezama
Enforcing Declarative Policies with Targeted Program Synthesis
Nadia Polikarpova , Jean Yang , Shachar Itzhaky , Travis Hance
Automating Audit with Policy Inference
Abhishek Bichhawat , Matt Fredrikson , Jean Yang
2021 IEEE 34th Computer Security Foundations Symposium (CSF) 1 -16
5
2021
Counterfactual Resimulation for Causal Analysis of Rule-Based Models.
Jonathan Laurent , Jean Yang , Walter Fontana
IJCAI 1882 -1890
20
2018