Joe Gibbs Politz

Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud

Arnar Birgisson, Joe Gibbs Politz, Úlfar Erlingsson et al. · 2014 · 94 citations · Full text

ADsafety: Type-Based Verification of JavaScript Sandboxing

Joe Gibbs Politz, Spiridon Eliopoulos, Arjun Guha et al. · arXiv (Cornell University) · 2015 · 74 citations · Full text

Engineering, Verification, Source Code Analysis +16

TeJaS

Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha et al. · 2013 · 47 citations

Engineering, Single Type System, Generic Programming +13

A tested semantics for getters, setters, and eval in JavaScript

Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner et al. · 2012 · 45 citations

Engineering, Information Security, Scripting Language +18

Python

Joe Gibbs Politz, Alejandro Martínez, Mae Milano et al. · 2013 · 41 citations

Engineering, Verification, Software Engineering +16