Rappel concernant les règles de confidentialité de Google
Consulter
Résultats de recherche
Automated Analysis of Security-Critical JavaScript APIs
research.google.com/pubs/pub37199.htmlTraduire 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 apisIntegrated 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