Juan Chen

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Scripting Language

Rights Management

Attribute Grammars

Top Venues

J. Funct. Program.

Publications

Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. Bierman
Gradual typing embedded securely in JavaScript. POPL (2014)
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
Secure distributed programming with value-dependent types. J. Funct. Program. 23 (4) (2013)
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits
Fully abstract compilation to JavaScript. POPL (2013)
Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits
Verifying higher-order programs with the dijkstra monad. PLDI (2013)
Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy
dkal ⋆ : Constructing Executable Specifications of Authorization Protocols. ESSoS (2013)
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen
Self-certification: bootstrapping certified typecheckers in F* with Coq. POPL (2012)
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
Secure distributed programming with value-dependent types. ICFP (2011)
Johannes Borgström, Juan Chen, Nikhil Swamy
Verifying stateful programs with substructural state and hoare types. PLPV (2011)
Juan Chen, Ravi Chugh, Nikhil Swamy
Type-preserving compilation of end-to-end verification of security enforcement. PLDI (2010)
Nikhil Swamy, Juan Chen, Ravi Chugh
Enforcing Stateful Authorization and Information Flow Policies in Fine. ESOP (2010)