Si vous utilisez un lecteur d'écran, cliquez ici pour désactiver la recherche instantanée Google.
Connexion
×

Vous venez ici souvent ? Faites de Google votre page d'accueil.

OK

Google

La recherche instantanée Google n'est pas disponible. Appuyez sur Entrée pour lancer la recherche. En savoir plus
La recherche instantanée Google a été désactivée, car votre connexion est trop lente. Pensez à appuyez sur Entrée pour lancer la recherche.
Appuyez sur Entrée pour lancer la recherche.
Tous
Vidéos
Actualités
Images
Shopping
PlusOutils de recherche
    • Paramètres de recherche
    • Langues (Languages)
    • Activer SafeSearch
    • Recherche avancée
    • Historique
    • Aide sur la recherche
Environ 1 040 résultats (0,90 secondes) 
Looking for results in English?
Change to English
Continuer en Français
Paramètres de langue
Rappel concernant les règles de confidentialité de Google
Me le rappeler plus tard
Consulter

 
 

Articles universitaires correspondant aux termes Automated Analysis of Security-Critical JavaScript APIs Taly Erlingsson Mitchell Miller Nagra

Automated analysis of security-critical javascript apis - ‎Taly - Cité 78 fois

Résultats de recherche

Automated Analysis of Security-Critical JavaScript APIs

research.google.com/pubs/pub37199.html
  1. En cache
  2. Pages similaires
Traduire cette page
de A Taly - ‎2011 - ‎Cité 78 fois - ‎Autres articles
Automated Analysis of Security-Critical JavaScript APIs ... title = {Automated Analysis of Security-Critical JavaScript APIs}, author = {Ankur Taly and Úlfar Erlingsson and John C. Mitchell and Mark S. Miller and Jasvir Nagra}, year = 2011, URL ...

Automated Analysis of Security-Critical JavaScript APIs

dl.acm.org/citation.cfm?id=2006776 - Traduire cette page
de A Taly - ‎2011 - ‎Cité 77 fois - ‎Autres articles
22 mai 2011 - Automated Analysis of Security-Critical JavaScript APIs ... Ankur Taly ... View colleagues of Úlfar Erlingsson ... View colleagues of John C. Mitchell ... View colleagues of Jasvir Nagra ... Mark S. Miller , Tom Van Cutsem , Bill Tulloh, Distributed electronic rights in javascript, Proceedings of the 22nd European ...

Foundations of Security Analysis and Design VIII: FOSAD ...

https://books.google.fr/books?isbn=331943005X - Traduire cette page
Alessandro Aldini, ‎Javier Lopez, ‎Fabio Martinelli - 2016 - ‎Computers
... questions/16054597/uses-of-google-caja Taly, A., Erlingsson, U., Mitchell, J.C., Miller, M.S., Nagra, J.: Automated analysis of security-critical javascript APIs.

Engineering Secure Software and Systems: 8th International ...

https://books.google.fr/books?isbn=3319308068 - Traduire cette page
Juan Caballero, ‎Eric Bodden, ‎Elias Athanasopoulos - 2016 - ‎Computers
Fuchs, A.P., Chaudhuri, A., Foster, J.S.: SCanDroid: automated security certification of android ... Wiley, New York (2011) Taly, A., Erlingsson, ́U., Mitchell, J.C., Miller, M.S., Nagra, J.: Automated analysis of security-critical JavaScript apis. In: SP ...

Integrated Formal Methods: 11th International Conference, IFM 2014, ...

https://books.google.fr/books?isbn=3319101811 - Traduire cette page
Elvira Albert, ‎Emil Sekerinski - 2014 - ‎Computers
387–398 (2013) 35. Taly, A., Erlingsson, U., Mitchell, J.C., Miller, M.S., Nagra, J.: Automated Analysis of Security-Critical JavaScript APIs. In: IEEE Symposium on ...

Applied Cryptography and Network Security: 10th International ...

https://books.google.fr/books?isbn=3642312845 - Traduire cette page
Feng Bao, ‎Pierangela Samarati, ‎Jianying Zhou - 2012 - ‎Computers
In: Proceedings of the IEEE Symposium on Security and Privacy (2010) Nadji, Y., Saxena, ... In: 20th USENIX Security (2011) Taly, A., Erlingsson, U., Mitchell, J.C., Miller, M.S., Nagra, J.: Automated Analysis of Security-Critical JavaScript APIs.

Programming Languages and Systems: 22nd European Symposium on ...

https://books.google.fr/books?isbn=3642370365 - Traduire cette page
Matthias Felleisen, ‎Philippa Gardner - 2013 - ‎Computers
Taly, A., Erlingsson, U., Mitchell, J.C., Miller, M.S., Nagra, J.: Automated analysis of security-critical javascript apis. In: 2011 IEEE Symposium on Security and ...

Trustworthy Global Computing: 10th International Symposium, TGC 2015 ...

https://books.google.fr/books?isbn=3319287664 - Traduire cette page
Pierre Ganty, ‎Michele Loreti - 2016 - ‎Computers
... compiler. http:// www-sop.inria.fr/indes/ifJS/ Taly, A., Erlingsson, U., Mitchell, J.C., Miller, M.S., Nagra, J.: Automated analysis of security-critical javascript apis.

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 ...

https://books.google.fr/books?isbn=3642307930 - Traduire cette page
Holger Giese, ‎Grigore Rosu - 2012 - ‎Computers
Maffeis, S., Mitchell, J.C., Taly, A.: Object capabilities and isolation of untrusted web applications. ... 125–140 (2010) Miller, M.S., Samuel, M., Laurie, B., Awad, I., Stay, M.: Caja: ... Springer, Heidelberg (2010) Taly, A., Erlingsson, U., Miller, M.S., Mitchell, J.C., Nagra, J.: Automated analysis of security-critical javascript apis.

ECOOP 2012 -- Object-Oriented Programming: 26th European Conference, ...

https://books.google.fr/books?isbn=3642310575 - Traduire cette page
James Noble - 2012 - ‎Computers
In: Usenix Security (2010) Guarnieri, S., Livshits, B.: GateKeeper: Mostly ... Proceedings of the IEEE 63(9), 1278–1308 (1975) Taly, A., Erlingsson, U., Miller, M.S., Mitchell, J.C., Nagra, J.: Automated analysis of security-critical javascript apis.

Certains résultats peuvent avoir été supprimés conformément à la loi européenne sur la protection des données. En savoir plus

12345678910Suivant
 - En savoir plus   
Aide Envoyer des commentaires Confidentialité Conditions Utiliser Google.com
  • Mon compte
  • Recherche
  • Maps
  • YouTube
  • Play
  • Actualités
  • Gmail
  • Drive
  • Agenda
  • Google+
  • Traduction
  • Photos
Plus
  • Shopping
  • Docs
  • Livres
  • Blogger
  • Contacts
  • Hangouts
Autres résultats Google