Secure Compilation of a Multi-Tier Web Language (TLDI)

Loading...

Flash Player 9 (or above) is needed to view presentations.
We have detected that you do not have it on your computer. To install it, go here.

0 comments

Post a comment

    Post a comment
    Embed Video
    Edit your comment Cancel

    Favorites, Groups & Events

    Secure Compilation of a Multi-Tier Web Language (TLDI) - Presentation Transcript

    1. 01 56789 2 
    2.   9 234
    3. 0
    4.    2  9 2  567  22 
    5. 34   292      2 
    6.  222 2 ! $%') *# '-  01* (  \"# & & +(, ).&!/ (2 2 (# & 35689:;5=>?4 467 <44<8 @BD AFCIJ KBLMFC CFO ACDEGHB BHE H NFMKP M Q 92  T R  S   U7=V4XV7YZ6WV]:94[6^4 a44=b\\\\WY 46 W = [\\ W4 W_`7W8^ 85a c>87 5f5\\]\\765[3 <_\\==4 h d\\ 6e6?f 8f 6 _>\\ 6576gi j=W5kU65dlklh 5?[d 5?W m hn opq R 9 
    7.      R  89 2 S  9 292Q
    8. 
    9. 0
    10. r2  2 
    11. 01 56789 2 
    12.   9 234
    13. 0
    14.    2  9 2  567  22 
    15. 34   292      2 
    16.  222 2  !#$ ' $#$ *)*  \"!%%&#(')#*+,* -..12.4 379:867<67. ; / 3 6?60 / 0 30568. ; 3<7 =8626>/8?.4 . 568. ; 60=@7 : /?.@AA9C4:3C7 379:86:6 . .AB126 @CB : BCB6D E: 7 6FGHIJG NOPQRGHN P TK8 96 6A38/ H GKLM HMH S T S G .2@8 66 @94?4B9:D U:89BB?9 8.7 U< V G S W K QXY 9@6 4 ]^ OR L NGOMOSW Z6[ 8BD ]_ 6 >\\ `; BB6<BC0/8 6 ; 9668867. ; B 608 a;:6 626:860b@: 9@ =867A6 B?9B9:.8:<A6 :9<A?8/67B6 : .AB7 ?4 8. =6 . 79 :. B94 ;?7B0=@ 8D < cGPMdJIG WJQ GMFK `;1@59 6B40e. 6C = 6 63@ 89 :2406. 60 6 864:3C :6< 9@ ; BCB6. B;86D fgh i 9 
    17.      i  89 2 l  9 292j
    18. 
    19. 0
    20. k2  2 
    21. 01 56789 2 
    22.   9 234
    23. 0
    24.    2  9 2  567  22 
    25. 34   292      2 
    26.  222 2  ! $ ')'$ ,!( \" %&()*\"+* , #! -.021456 49917/: . 7;<=?@CA F /103 478 : 8 7 8 3 >=A BDE B GIHLLMJONPJ RQSLGOTQ IE GM EDENES HJK N KJKEQK I M ISUVTO Q E KR E QF I R MH WKDE GOKMN WQEQETI FKGM QIXS 34 TKTHNO YEV 567M QIJYQGU LPQZMH PSMNO OM EVWNQIK Q GIHLLMJONPJ I R HJK N KJKEWHQE DE \\IGHE O ^_a F[ IE QKX ^` V] bcd[EHN QKX ^_ TK eHKIE O ^`M V] eRLEFTUONPJ I SE ZKE KJKEWH SEQN NEKQf GOKMN HKMJMQHSMEKGM QIT S KHT R F SITQEDEa bMK i O VghVjklVhnoX U m pqr s 9 
    27.      s  89 2 v  9 292t
    28. 
    29. 0
    30. u2  2 
    31. 01 56789 2 
    32.   9 234
    33. 0
    34.    2  9 2  567  22 
    35. 34   292      2 
    36.  222 2  !\"$% %$*+$ +%/  # &'(!) ,-.$, 0 3 3739: <;?A? 32C3 C2E 1C 12435687 2;=> @B96 DC: 8EF23 @ E1FBB:7B19C3 HC3C FBC9GC: JC9 F73 6 G5DC32FI2J1 D 935 D 21 5K9LM5IG 1KDI D 3739: 1 :G 1 F5 9 19C :DC95687 2IBE5 N 9 9 OF IE91 1F9Q39 31:7 : :5 JP8IL 2GR9266 6 PIF4E19C9 JIBE5GIG D8G 98: FEF:21 1 : 19215 C 9 J5KJ1 9:K1 D 1F9IG 6 C 15 FBFM9 JC928I 193G:2 1 28ILM59 6:2 1F95 92B3CIN 9 STU V 9 
    37.      V  89 2 Y  9 292W
    38. 
    39. 0
    40. X2  2 
    41. 01 56789 2 
    42.   9 234
    43. 0
    44.    2  9 2  567  22 
    45. 34   292      2 
    46.  222 2  !#  \"$ %&(*(+ - 0 3/4 561 9:91 0/= 8@ ')'& , ./12.1/3 78.;:</9 >?1 >1/>;/@=A9<A2=. B<3=:2.=;/3<3 0 . 8= 1 7/9/3<7 /A 3/.9=. ./1 / . 2=. =1 0< 3/.9=. A ?./ 8. .?8@ 8 /<CD/112.=;/3<9131 32= />9=;9 1 1 /3E =. FGI'),K86LNPSPTUQW93/XORZQP[U HJ(I 8 MOQ MLVV 7; YQ M PZ 3R R WT //1LON MME PXL9 0 UPMY\\Y ]&_(+ A?< 39?B9/1/2/C12B/3 3 ^'& ,`1?331/ ?8 ;0.=91 .A?=./ 23;1 3a 0< A71 E 8<A</ 4/11?38>< bcd e 9 
    47.      e  89 2 h  9 292f
    48. 
    49. 0
    50. g2  2 
    51. 01 56789 2 
    52.   9 234
    53. 0
    54.    2  9 2  567  22 
    55. 34   292      2 
    56.  222 2  !#%' 567\" *(++ #  \"$&34 () #,\"- 34 /0/124628 034<37>:3== 6 B6:0/ 567. . 35479:3;50= 50:3/?.@A/53/ 5 CDE<37 G 7B/H.I?7 07J 0=/FBB2776H ;2I/ K@ 567//7 /:380 734 461. 03 /0LMN2GB196 B:/ H 7 BI0 G2G7/0 OKKPBQ76082G=70 7=/ H B8: HCDEB/G/J 72H7 R=7 H706H 6 @ 4619 /B.6B:.I?.@67//7 77=7 @ BI0 4T VWU V ^ S:6/672GB1; UTXYXZ[\\] :H_Xab` a 0 ` X^ _U :Hc`bdW b gZi VXJ 0 ` ef U h fX V jkl m 9 
    57.      m  89 2 p  9 292n
    58. 
    59. 0
    60. o2  2 
    61. 01 56789 2 
    62.   9 234
    63. 0
    64.    2  9 2  567  22 
    65. 34   292      2 
    66.  222 2  !#$# !'* '#  \" %!\" ( +\" &) , -/02467 05; >@?A . 135189:;<=?> B CE HI6467 LMNO RS TRT KNVW NX Y DFG 351<JK NMPQNQ QTN U QQ QV Z[ \\ ] -/;6 3_7 >@?A . 76 :C <=?> ^E ` a @?9:; egfd b 05;cdfhij k l-? 6D1IC prthgwqye{ EGcd~€ mn o ;0 E qsuvfxuezdI7|9 }d G cd ‚ l0EG „ cdr†i‡1lˆ1ED 1EDƒ…> eqvd 2 0EG ‰ lˆmn -? ,[ Š ,, , ;6 3B B 76 \\< ^E ‹Œ Ž 9 
    67.      Ž  89 2 ‘  9 292
    68. 
    69. 0
    70. 2  2 
    71. 01 56789 2 
    72.   9 234
    73. 0
    74.    2  9 2  567  22 
    75. 34   292      2 
    76.  222 2  !\"# $#   $%&\"' () +-./1 )23*2 **37283 *720 6;1 **,*.0.23 - 04 563* .3-.6 9:/ /< : 420.0 /; - 3*>*:88 61 2 )/ 721 -6 .3*4.= 10*?30<@/)2*- 1 1:.3A.-01/<:1*2 103:1/720 2/< **.- 7-781 02+?/2 0213/1.- B1 C-*3 6?2**,*.0 FHJLNEPQ 61 2 0 +D,* ) +-./1EGIKMOIQR30<@/) 2**5-1 1 TVXY >\\^_`Y aXUbc<2 ) 1/ D*2SU Z []T` Z `WXa *. 0 W *:88/2 10* 10 dfFdjkInPKGqrrPurduy eghiFlmopLirsGtvnwxz ( 3;2*3,/3/1@*:17*2*.D**,*.0 2 0): ) ,6 20 3 . ) 3 +-./1@/) : 3D0/* 1/ 1 1 TVXY |\\^_`Y aXUbc 8{8*5- D*2SU Z }]T` Z `WXa 0 W @): *.*:88/2 /)<2 10* 10 dfFdjkInPKGqrrPurd~€z eghiFlmopLirsGtvnw ‚ƒ „ 9 
    77.      „  89 2 ‡  9 292…
    78. 
    79. 0
    80. †2  2 
    81. 01 56789 2 
    82.   9 234
    83. 0
    84.    2  9 2  567  22 
    85. 34   292      2 
    86.  222 2 \"$% %\"#*# %. !# &'!() $+,#$-- /01235 8 2146719 : ; > <>BC B D2E 5 013 F6 7KH 5 01 < ?@A< ==21 FDG G J55 5HHE = HE I L5 15 KMNO P Q< RB<TBUT WF65 11K H 8 N13 F6 >= S ?<>B 5X6H2 87IEE G J5 VI W0 I 5 5HHE KMNO 7KH5 01L5 15 Y A = U S Z B ;[ \\I D 6N1 8H 3X6 N S ? <B<A?> Z W25MI67K E I5E Z F0 1 0531G J3E0DG 013IJ5 6302J20 0J61DK5W02I 5HE GF6]I IF63EN 3J26526^52_ I05WE 5JFF `ab c 9 
    87.      c  89 2 f  9 292d
    88. 
    89. 0
    90. e2  2 
    91. 01 56789 2 
    92.   9 234
    93. 0
    94.    2  9 2  567  22 
    95. 34   292      2 
    96.  222 2 !$# &!(#  \"# % ! ' !  )* -.,0- 3467,844 67*; . +,-//.1235 - 9: ,+- <=>//.,1A0<-+ *D,+?+ .+>+11G/ . ?,0-@0-B,<C/+ E 18/ FE1 ,+D >.+/+H E>E01 I+1D, J53L:L 24/ , */O*-;E, , -4K43M 33N .=+-/, +++ - ,1E0-235 <?10 -++?0- *E 1,>+0? 1+/. 3467.<E -, F</.P/++0 E;.1 .<E+< /0 * F</. G, ;- 9: H <?E-+O0*-/+++?0-. -++/44 67 Q, @ .E1.8-+RE/<0A/+>0+T F=>+<E+>-+< >.+/- * E S < 44 6UE+1>0+S 9:R 0 VRE S << H HH 235R 0+1;@+S 346UE VR,?S < WXY Z 9 
    97.      Z  89 2 ]  9 292[
    98. 
    99. 0
    100. \\2  2 
    101. 01 56789 2 
    102.   9 234
    103. 0
    104.    2  9 2  567  22 
    105. 34   292      2 
    106.  222 2  !#%& !)**!  \"$\"'( )+ ,- 0245 678. -58 :;=3>2. 85. ./13 0/115.51 09:< 80>?3 - ..6380 - D1E3138B3 5783 G @A50 B5.C. E2 50 12 65F. A 41 H.4I51 D1E3138JL 3 OQSUVW B1?02 1 -51C. E2 50 KM 4NPRT RX3 8 8I A 3 -7 41E0BC3-85.5EY8YZA I5F51 3. B5..3 70 53 - I.1?..544. -5/>4 JL 5E F2C3-8 . 33/..5 KM I.@ 5 07F188 ZAG [1 24 @FE. \\8 ]^35 _acd 53/ `ba_^47 8 e-F2 3 41E/eg5 f^@ 5 f,-43 1. -F2 F2 42 ^eE3.35 jke7@ fi .2 7 ^ fi ^F2 j h5 A 8 DI^e>2.35 D1447 / m7.4>2.jke7@ fi 6 16^ l?E4^53 fi 3 no16p ^F2 j 8 8A qrs t 9 
    107.      t  89 2 w  9 292u
    108. 
    109. 0
    110. v2  2 
    111. 01 56789 2 
    112.   9 234
    113. 0
    114.    2  9 2  567  22 
    115. 34   292      2 
    116.  222 2  !\"$&'% *$%!,-.  #%  \" * \"  ()* + / 0235678:;<> 39BBC D GC;B8:;LM7CN EF 1 4 946 ?@AB6>< EF < IJ94K 6O: L = =H P QS358:;@ABK0UT R 4J94?39B TVUF W X0U <;B8:;Z 0TYGC IJ94K H [ <> ^O:8:; abcd gh igi `ckl cm n =\\] J94K_` cbefcf fic j ff fk oL p q 02B: 67A<;<> LM7CN EF 1 ;: C 6 EF 6O: L r> H = s QSB: JC; TVUF R ;: A< K0UT r> H t VU@AB wyxv X 39Buvxz{Z / TT YGC;BA<;Z | VS < IJC K HH / 7QU :=4O< ƒzy†€ˆwŠ >]uvE / }~ 6 B3 > €‚„…x‡„w‰vO;‹@ ŒŽv ] uv / 73>]  uv’{E“47”4>= P 4>=Y‘T w€…v 5 3>]E / 7”}~E W QU /L [ /o / B: JP p ;: [K r> •–— ˜ 9   ˜  89 2 ›  9 
    117.    292™
    118. 
    119. 0
    120. š2  2 
    121. 01 56789 2 
    122.   9 234
    123. 0
    124.    2  9 2  567  22 
    125. 34   292      2 
    126.  222 2  !#% \" $ '()(+,.)/. 2+,3*456/7( . 9(;+<5* * -,/(01,3)) 0 (.8(00:* . 0 & 5 38(00- .0(:+0,39(6,( ? 8:( .+5.5 6 /,5+0:,(=/> @ A B*/( 8: 8(0 DE4 5675 <3<+ ) ,5 (C/5 3 .5 5F34 *8-(3 *+G.0- (. ( . G- /8HIIJ/K(0 -LMN/*-**5 ? ()**0 (:.( .> @ O '(D (+*8+0 *G 6 QS RTV Y SRV G 5 ( .5 - (PRTU WXZ QQ[ C , /0 WZ S- 34 90+*+5D+:-+3 +(E4 5674( 567\\ /.30. /C\\9*G 5F34 \\ +:5+5.]_ 0 .> a/*5.b^_c :3 0- ^` -+ ?(:(*- b `@ , ] d '(<*/ (-/PeU WX WZQQ S* +(9+ 5 3 (,5 ) ZfZV Y SRV 0 0D *+*8:( \\ Z [/ 8-5,0- G0(*+</ 8:( .+5. <7+5.- 6 0.+<5 38(00-@ g h9+:+ 0 6 [fQ RZ jlQX mQZUW- ?4( : (3-0(UiPj kQ ijlV n[Z G> Pl S :-(0+ ) ()(0+*+5.5 +(46.C/5 *:+( /C 60-/*,/ /.30- **G ((( 05 3,< 456.+9-:.. -0a@ 05 . : -(0,.(0 opq r 9 
    127.      r  89 2 u  9 292s
    128. 
    129. 0
    130. t2  2 
    131. 01 56789 2 
    132.   9 234
    133. 0
    134.    2  9 2  567  22 
    135. 34   292      2 
    136.  222 2 !#$&' ) \" % #(# * +- 0204578 , ./1 3 6 9 :;. =0 3@A +< 1>?> B :C<+< 3EF5 1G? D =0 ?@ @ AF H I +- 0204J 8 , ./1 3 KG L :MNO < ?@1E/1 3 KG@? . =F5 0204J G A F P :Q.+< ?@1 R =F5A S :TU=< 1 . =0 V :W U . < 3EF5 1G? <OMNO =0 ?@ @ AF * X * +- 0204Y6[38/1 3 6 0204J * , ./1 3 Z3 020457\\/1 3 KG ]^_ ` 9 
    137.      `  89 2 c  9 292a
    138. 
    139. 0
    140. b2  2 
    141. 01 56789 2 
    142.   9 234
    143. 0
    144.    2  9 2  567  22 
    145. 34   292      2 
    146.  222 2 !$ &'  \"# \"%$ ( %# )* -/.+ ./ +3- 5+7-8+ 9.- 2<-1;2 +,. /01 20-24/061 /782:+8;+.2 ; + =9* 6?/=/2. 24.=79A 8:- B1 * 2-+ 9/+>=.-81;@3- ; 1 .28-1 ;/+.:8 ; ; =7B;-/ :/?+7//0.3--0++/; *41 D ; ++=+.1=9 ==5+ 2 +-.;1B/+ ;C E F++=+4::9 +:.< :81;9/;- HJL+8 ;-/ /=9 8-1+3;/2 1++.GIK =* 5- . 8-+0;1B/ * 9.-./= - ++=+ -<2.5 2-.27; 2/+82:+ */M++B;-/70+1:9E C;9@/=.=+/+/09<9 ?.-+ 1/;- 1=9 -;9/ * 2 ++M+ +<-9 ++E 5 . NOQSTV OX Y[ U Q^Q RT `Z[aU d P RPUQWV Z\\ QNU] U_ V` \\ Qbc Y e/`Z[a+/+C 79 ?=;732 Z[ ? 28/;/; * + ` \\ ? * D42:+2/1+ -4Y \\ 58;=+=1B/+ Y /0 ; :81;7,11;f,+ ==5+L ++=+ ==5+L 5+=73;/2 +;/2. g77//0.B;-/77//0. B;-/73;/2. 29<9 ?+<-3;/2E ++=+ :81;L/0++M+.-+ :81; hij k 9 
    147.      k  89 2 n  9 292l
    148. 
    149. 0
    150. m2  2 
    151. 01 56789 2 
    152.   9 234
    153. 0
    154.    2  9 2  567  22 
    155. 34   292      2 
    156.  222 2 !\" \" #% & (  ! $ '$ & {~ Q23 032ImYI 0PHj03:00XXH ) *,-./0230 3 79 ;3< + + 104356587 0;= : j0 mmk0PIXjX3 22mlXX: H23PH > ?@. , ,A3BCA €m:YlX 0Hl :Q Hm3P3K 0 D EF+5 I;JK ,GH0 K K L EMN,PH9Q;J O5Q2 2 R ?@. Q2BCAST8 ST8Q ,APH , 5;JU 2 V W *,-.U 004 ;526XY8QX [\\ ^ ace^[ + + ST56IST QX23 Y;=Z ]_` dd f I2 b T ?@. 2 , hJ ,AQXBCAg i *,1k 1m2 30=0STj90ST1m2 K :Y0C + j9l:29:Y K 1k K l:290ST3 n P P ) ?@. j , o ,A1kBCA ) ES)8 S)8530 1m2 ) 5;JU :Y 9l:2; P )K >KK ) @ pU 004 ;k=Z r brae] u u wae`ce^[ D n S)56IS) [q^e`c] st vsec] add f b ) ?@. , 4Q0 1m2 L ,AkBCA5mj9l:2;J ) @O-5 Y024Q0; R O+,x3 y5mj;z P ) YX |}Qmj
    157. „9  292…„
    158. 
    159. 89
    160. 0
    161. †2‡92 V I{H 4Q0 ‚ƒ    2
    162. 01 56789 2 
    163.   9 234
    164. 0
    165.    2  9 2  567  22 
    166. 34   292      2 
    167.  222 2 ! !$&\" $( #  \"#%#' )& ( * +-./01341 4 8: <4= , , 215467698 1<> ; ? @A/ - -B4CDB E FG,6 J<KL NO9P -HI1 L LM ? P FQR-T;:W<K S6UV 3 O @A/ T1XMZ1 NZ1 UV - 6<KM 3 -B6VT Y [M [T;<CDBN\\9 N\\9W ]LLL ^ A `M 115 <[>a e gejfk mh o pjfb _ NO67JNO bcdfhik lgh fik q nil \\ +-2[>1NOr _ , r L 2[D s @A/ - ;U1 -B[CDB64 <K T * +-u;3 xzywD t , 2v3>wy{| _ * ,, -~413;U1< * }_6 U 64 <€ TT * +-TN\\>N\\ 2[ r€N\\2v3 2v3N\\41 41<D ? ,W 6N\\r>2[ u;3>u;3€ ;U >;U ‚ _ TT * +-T; X Y [M [TN\\D E , UV>ƒv1MZ1 NZ1 W _ * „ . , T;:† P R@…+@6UV ‡ < ˆ‰Š ‹ 9 
    168.      ‹  89 2 Ž  9 292Œ
    169. 
    170. 0
    171. 2  2 
    172. 01 56789 2 
    173.   9 234
    174. 0
    175.    2  9 2  567  22 
    176. 34   292      2 
    177.  222 2  ! \" #$%' )&,-.&*01, %($+& /212 &$(*+$ /0+&&-*$/*01$3* -4(2/*, %*+ 2.2+1 (./(42307&$ $ ,*&+5*& *+ (2)$* $6/ (/$)2- 20/8&&8+ ,&43*7+/9$ /5& , &5&$ $3+ ,122+ 1+ $ ).(/44+51,35: * * ; 3*$ &+&$(/&.(0<9$%' 4.$ ,$ (% (6/%/'1 * 3 ./&% &$+ 14$*-)* - &*.7,7=0 %0$ , 3 $3$*&2&+,.(3+5 8$&-$$*0$>/&-(/20/ /,1*( /-0, $$3&1 $ ,+2+ A<*& & (4./ 6&0/+$ ?0*)$24&*0 ,@ %*0,6/ &*( $*B- 9$ $'/ )2/$: CDFGHIKJMLIOPRTG DEGHHJILIJNGQSU VWY \\^ XZ[] _`a b 9 
    178.      b  89 2 e  9 292c
    179. 
    180. 0
    181. d2  2 
    182. 01 56789 2 
    183.   9 234
    184. 0
    185.    2  9 2  567  22 
    186. 34   292      2 
    187.  222 2 \"$& !#%' ( +-/0 24-/7 4-/94: 95, 2<>8- )*+,. )1356 )895. 3 ); 5 )13= ? + 7.@9 3 B+BE2.)F HIJKLMOPRT VWY +.AA2@82CD -= 3G NPQSUN X ZXM[RS\\ ^ NR_N N_[ HPYQ N _`SSU SPSXN[]_`Ua SGM \\ XNUVMIN NPX [QJbPX/1 )0. @.f-5@ hi S cOU d*0 ,2 -e . /gh) 39 ( 2. lDB/94m)n2. 3 +.AA2@o2Cl.5= )j-k/8)0C5- 3 -A9)7.@9 3 B 2 -/ - l B235=94.l9@-)F . @- 3 -B35= 3pHqINVMSP hr 9 SPPO/gh) j)0.9+ )m95=+ 3 )12=C , 9@9-u. -.3/( 5 2/94s +Bl)t+>953D@ + - ,+.AA2@B-o- ))F q xKIN [RSX Y .@9 3 C ?gh 3JJL] vwy _`SN NXP zU ]|Lq ^ NR_N cO~MSP {XvIH Z v}U_`Ua SJbPXNR XQ P `NM__RTUUP \\SaTU S `\\[RS/,@= MT[ S ^X_U [T[P[Q[`R XNU 9- O €‚€‚ o;./d;/…0 gh)†*j) ƒ„/d- +< †/ hi ‡ˆ‰ Š 9 
    188.      Š  89 2   9 292‹
    189. 
    190. 0
    191. Œ2  2 
    SlideShare Zeitgeist 2009

    + Ioannis BaltopoulosIoannis Baltopoulos Nominate

    custom

    198 views, 0 favs, 0 embeds more stats

    Presentation from TLDI '09

    More info about this document

    © All Rights Reserved

    Go to text version

    • Total Views 198
      • 198 on SlideShare
      • 0 from embeds
    • Comments 0
    • Favorites 0
    • Downloads 4
    Most viewed embeds

    more

    All embeds

    less

    Flagged as inappropriate Flag as inappropriate
    Flag as inappropriate

    Select your reason for flagging this presentation as inappropriate. If needed, use the feedback form to let us know more details.

    Cancel
    File a copyright complaint
    Having problems? Go to our helpdesk?

    Categories