-
1
-
-
18944378251
-
From Object Based to Class Based Programming via Types
-
Anderson, C., Drossopoulou, S.: BabyJ: From Object Based to Class Based Programming via Types. Electr. Notes in Theor. Comput. Sci. 82(7), 53-81 (2003)
-
(2003)
Electr. Notes in Theor. Comput. Sci.
, vol.82
, Issue.7
, pp. 53-81
-
-
Anderson, C.1
Drossopoulou, S.2
Baby, J.3
-
2
-
-
27744498729
-
Type checking for JavaScript
-
DOI 10.1016/j.entcs.2005.09.010, PII S1571066105051340, Proceedings of the Second Workshop on Object Oriented Developments (WOOD 2004)
-
Anderson, C., Giannini, P.: Type Checking for JavaScript. Electr. Notes Theor. Comput. Sci. 138(2), 37-58 (2005) (Pubitemid 41625696)
-
(2005)
Electronic Notes in Theoretical Computer Science
, vol.138
, Issue.2
, pp. 37-58
-
-
Anderson, C.1
Giannini, P.2
-
3
-
-
35248891044
-
Precise analysis of string expressions
-
In: Cousot, R. (ed.) SAS 2003 Springer, Heidelberg
-
Christensen, A.S., Møller, A., Schwartzbach, M.I.: Precise Analysis of String Expressions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol. 2694, pp. 1-18. Springer, Heidelberg (2003)
-
(2003)
LNCS
, vol.2694
, pp. 1-18
-
-
Christensen, A.S.1
Møller, A.2
Schwartzbach, M.I.3
-
4
-
-
70450253203
-
Staged information flow for javascript
-
Chugh, R., Meister, JA., Jhala, R., Lerner, S.: Staged Information Flow for JavaScript. In: Conference on Programming Language Design and Implementation (PLDI), pp. 50-62 (2009)
-
(2009)
Conference on Programming Language Design and Implementation (PLDI
, pp. 50-62
-
-
Chugh, R.1
Meister, J.A.2
Jhala, R.3
Lerner, S.4
-
5
-
-
70350626575
-
-
Springer, Heidelberg LNCS In: Flegel, U., Bruschi, D. (Eds.) DIMVA 2009
-
Egele, M., Wurzinger, P., Kruegel, C., Kirda, E.: Defending Browsers against Drive-by Downloads: Mitigating Heap-Spraying Code Injection Attacks. In: Flegel, U., Bruschi, D. (eds.) DIMVA 2009. LNCS, vol. 5587, pp. 88-106. Springer, Heidelberg (2009)
-
(2009)
Defending Browsers against Drive-by Downloads: Mitigating Heap-Spraying Code Injection Attacks
, vol.5587
, pp. 88-106
-
-
Egele, M.1
Wurzinger, P.2
Kruegel, C.3
Kirda, E.4
-
10
-
-
84868688494
-
Evaluating the dynamic behaviour of python applications
-
Australian Computer Society, Inc., Darlinghurst
-
Holkner, A., Harland, J.: Evaluating the Dynamic Behaviour of Python Applications. In: Proceedings of the Thirty-Second Australasian Conference on Computer Science, ACSC 2009, vol. 91, pp. 19-28. Australian Computer Society, Inc., Darlinghurst (2009)
-
(2009)
Proceedings of the Thirty-Second Australasian Conference on Computer Science, ACSC 2009
, vol.91
, pp. 19-28
-
-
Holkner, A.1
Harland, J.2
-
11
-
-
72949107345
-
Points-to analysis for javascript
-
ACM, New York
-
Jang, D., Choe, K.M.: Points-to Analysis for JavaScript. In: Proceedings of the 2009 ACM Symposium on Applied Computing, SAC 2009, pp. 1930-1937. ACM, New York (2009)
-
(2009)
Proceedings of the 2009 ACM Symposium on Applied Computing, SAC 2009
, pp. 1930-1937
-
-
Jang, D.1
Choe, K.M.2
-
12
-
-
78649998785
-
An empirical study of privacy-violating in-formation flows in javascript web applications
-
ACM, New York
-
Jang, D., Jhala, R., Lerner, S., Shacham, H.: An Empirical Study of Privacy-Violating In-formation Flows in JavaScript Web Applications. In: CCS 2010: Proceedings of the 17th ACM Conference on Computer and Communications Security, pp. 270-283. ACM, New York (2010)
-
(2010)
CCS 2010: Proceedings of the 17th ACM Conference on Computer and Communications Security
, pp. 270-283
-
-
Jang, D.1
Jhala, R.2
Lerner, S.3
Shacham, H.4
-
13
-
-
70350302847
-
Type analysis for JavaScript
-
In: Palsberg, J., Su, Z. (eds.) SAS 2009 Springer, Heidelberg
-
Jensen, S.H., Møller, A., Thiemann, P.: Type Analysis for JavaScript. In: Palsberg, J., Su, Z. (eds.) SAS 2009. LNCS, vol. 5673, pp. 238-255. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5673
, pp. 238-255
-
-
Jensen, S.H.1
Møller, A.2
Thiemann, P.3
-
14
-
-
33646718786
-
Reflection Analysis for Java
-
In: Yi, K. (ed.) APLAS 2005 Springer, Heidelberg
-
Livshits, B., Whaley, J., Lam, M.S.: Reflection Analysis for Java. In: Yi, K. (ed.) APLAS 2005. LNCS, vol. 3780, pp. 139-160. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3780
, pp. 139-160
-
-
Livshits, B.1
Whaley, J.2
Lam, M.S.3
-
15
-
-
70350371746
-
Isolating JavaScript with filters, rewriting, and wrap-pers
-
In: Backes, M., Ning, P. (eds.) ESORICS 2009 Springer, Heidelberg
-
Maffeis, S., Mitchell, J.C., Taly, A.: Isolating JavaScript with Filters, Rewriting, and Wrap-pers. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol. 5789, pp. 505-522. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5789
, pp. 505-522
-
-
Maffeis, S.1
Mitchell, J.C.2
Taly, A.3
-
18
-
-
77954735985
-
An Analysis of the Dynamic Behavior of JavaScript Programs
-
Richards, G., Lebresne, S., Burg, B., Vitek, J.: An Analysis of the Dynamic Behavior of JavaScript Programs. In: Programming Language Design and Implementation Conference, PLDI (2010)
-
(2010)
Programming Language Design and Implementation Conference, PLDI
-
-
Richards, G.1
Lebresne, S.2
Burg, B.3
Vitek, J.4
-
19
-
-
78751553658
-
Cujo: Efficient detection and prevention of drive-by-download attacks
-
Rieck, K., Krueger, T., Dewald, A.: Cujo: Efficient Detection and Prevention of Drive-by-Download Attacks. In: Annual Computer Security Applications Conference, ACSAC (2010)
-
(2010)
Annual Computer Security Applications Conference, ACSAC
-
-
Rieck, K.1
Krueger, T.2
Dewald, A.3
-
20
-
-
24644446108
-
Towards a type system for analyzing JavaScript programs
-
Programming Languages and Systems - 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Proceedings
-
Thiemann, P.: Towards aType System for Analyzing JavaScript Programs. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 408-422. Springer, Heidelberg (2005) (Pubitemid 41274072)
-
(2005)
Lecture Notes in Computer Science
, vol.3444
, pp. 408-422
-
-
Thiemann, P.1
-
21
-
-
84865647705
-
Characterizing insecure javascript practices on the web
-
WWW
-
Yue, C., Wang, H.: Characterizing Insecure JavaScript Practices on the Web. In: World Wide Web Conference, WWW (2009)
-
(2009)
World Wide Web Conference
-
-
Yue, C.1
Wang, H.2
|