- importsource = "00010782-2011-09.txt"
- Artículo:
Technical Perspective: Making Browser Extensions Secure
- Autor:
Christopher Kruegel
- Resumen:
Vulnerabilities in browsers and their extensions have become the primary venue through which cyber criminals compromise the security of Web users and, ultimately, earn money …
- Página:
90
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 980177
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
- Artículo:
Vetting Browser Extensions for Security Vulnerabilities with VEX
- Autor:
Sruthi Bandhakavi
Nandit Tiku
Wyatt Pittman
Samuel T. King
P. Madhusudan
Marianne Winslett
- Resumen:
The browser has become the de facto platform for everyday computation and a popular target for attackers of computer systems. Among the many potential attacks that target browsers, vulnerabilities in browser extensions have received …
- Página:
91
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 980178
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
- Artículo:
Technical Perspective: Abstracting Abstract Machines
- Autor:
Olivier Danvy
Jan Midtgaard
- Resumen:
Semanticss-based program analysis requires one to (1) start from a "friendly" semantics; (2) design a "congenial" lattice of runtime properties; (3) associate a "relevant" …
- Página:
100
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 980179
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
- Artículo:
Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis
- Autor:
David Van Horn
Matthew Might
- Resumen:
Predictive models are fundamental to engineering reliable software systems. However, designing conservative, computable approximations for the behavior of programs remains a difficult and error-prone process for modern high-level …
- Página:
101
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 980180
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
- Artículo:
Puzzled: Solutions and Sources
- Autor:
Peter Winkler
- Resumen:
Last month we posted a trio of brainteasers, including one as yet unsolved, concerning divisibility of numbers. Here, we offer solutions to two of them and a remark about the third. How did you do?
- Página:
110
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 980181
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
