Language-Based Defenses Against Untrusted Browser Origins - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Language-Based Defenses Against Untrusted Browser Origins

Karthikeyan Bhargavan
Sergio Maffeis
  • Fonction : Auteur
  • PersonId : 940496

Résumé

We present new attacks and robust countermeasures for security-sensitive components, such as single sign-on APIs and client-side cryptographic libraries, that need to be safely deployed on untrusted web pages. We show how failing to isolate such components leaves them vulnerable to attacks both from the hosting website and other components running on the same page. These attacks are not prevented by browser security mechanisms alone, because they are caused by code interact- ing within the same origin. To mitigate these attacks, we propose to combine fine-grained component isola- tion at the JavaScript level with cryptographic mechanisms. We present Defensive JavaScript (DJS), a subset of the language that guarantees the behavior integrity of scripts even when loaded in a hostile environment. We give a sound type system, type inference tool, and build defensive libraries for cryptography and data encodings. We show the effectiveness of our solution by implement- ing several applications using defensive patterns that fix some of our original attacks. We present a model extraction tool to analyze the security properties of our applications using a cryptographic protocol verifier.
Fichier principal
Vignette du fichier
language-based-defenses-against-untrusted-origins-sec13.pdf (657.02 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00863372 , version 1 (04-04-2016)

Identifiants

  • HAL Id : hal-00863372 , version 1

Citer

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis. Language-Based Defenses Against Untrusted Browser Origins. Proceedings of the 22th USENIX Security Symposium, Aug 2013, Washington, D.C., United States. ⟨hal-00863372⟩

Collections

INRIA INRIA2
99 Consultations
109 Téléchargements

Partager

Gmail Facebook X LinkedIn More