Secure distributed programming with value-dependent types

Nikhil Swamy, Juan Chen, Cédric Fournet, +3

ACM SIGPLAN Notices

EngineeringInformation SecurityVerificationAffine TypesSoftware Analysis +18

Secure distributed programming with value-dependent types

Nikhil Swamy, Juan Chen, Cédric Fournet, +3

EngineeringInformation SecurityVerificationSoftware EngineeringSoftware Analysis +19

Fully abstract compilation to JavaScript

Cédric Fournet, Nikhil Swamy, Juan Chen, +3

EngineeringCompiler TechnologyVerificationSoftware EngineeringInterpreter (Computing) +18

Gradual typing embedded securely in JavaScript

Nikhil Swamy, Cédric Fournet, Aseem Rastogi, +4

EngineeringUsable SecurityInformation SecurityType TheorySoftware Engineering +16

Secure distributed programming with value-dependent types

Nikhil Swamy, Juan Chen, Cédric Fournet, +3

Journal of Functional Programming

Fine CompilerEngineeringInformation SecurityVerificationSoftware Analysis +18

A provably sound TAL for back-end optimization

Juan Chen, Dinghao Wu, Andrew W. Appel, +1

ACM SIGPLAN Notices

Large-scale Global OptimizationEngineeringCompiler TechnologyVerificationComputer Architecture +20

Type-preserving compilation of end-to-end verification of security enforcement

Juan Chen, Ravi Chugh, Nikhil Swamy

EngineeringInformation SecurityVerificationRich Type SystemsComputer-aided Verification +19

A provably sound TAL for back-end optimization

Juan Chen, Dinghao Wu, Andrew W. Appel, +1

Large-scale Global OptimizationEngineeringCompiler TechnologyVerificationComputer Architecture +20

Self-certification

Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, +1

ACM SIGPLAN Notices

EngineeringVerificationComputer-aided VerificationSoftware EngineeringSoftware Analysis +14

Type-preserving compilation for large-scale optimizing object-oriented compilers

Juan Chen, Chris Hawblitzel, Frances Perry, +4

Type-preserving CompilerEngineeringCompiler TechnologyVerificationSoftware Engineering +16