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

222
2

! $%') *# '- 01* (
quot;# +(, ).!/ (2 2
(#
35689:;5=?4
467 448
@BD AFCIJ KBLMFC CFO
ACDEGHB BHE H NFMKP
M

Q 92 T
R S
U7=V4XV7YZ6WV]:94[6^4 a44=bWY
46 W = [ W4 W_`7W8^ 85a
c87 5f5]765[3 _==4 h
d 6e6?f 8f 6 _ 6576gi
j=W5kU65dlklh
5?[d 5?W m hn

opqR 9

222
2
!#$ ' $#$ *)*
quot;!%%#(')#*+,*
-..12.4 379:86767. ; / 3 6?60
/ 0 30568. ; 37 =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
`; BB6BC0/8 6 ; 9668867. ; B
608 a;:6 626:860b@: 9@ =867A6
B?9B9:.8:A6 :9A?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

fghi 9

222
2
! $ ')'$ ,!(
quot; %()*quot;+* ,
#!
-.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
pqrs 9

222
2
!quot;$% %$*+$ +%/
# '(!) ,-.$,
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

STUV 9

222
2
!#
quot;$
%(*(+ - 0 3/4 561 9:91 0/= 8@
')' , ./12.1/3 78.;:/9 ?1
1/;/@=A9A2=. B3=:2.=;/33 0
. 8= 1 7/9/37 /A 3/.9=. ./1
/ .
2=. =1 0 3/.9=. A ?./ 8. .?8@
8 /CD/112.=;/39131 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 UPMYY
]_(+ A? 39?B9/1/2/C12B/3 3
^' ,`1?331/ ?8 ;0.=91 .A?=./
23;1 3a 0 A71 E
8A/ 4/11?38

bcde 9

222
2
!#%' 567quot; *(++ #
quot;$34 () #,quot;-
34 /0/124628 03437:3== 6 B6:0/
567. . 35479:3;50= 50:3/?.@A/53/
5
CDE37 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

jklm 9

222
2
!#$# !'* '#
quot; %!quot; ( +quot;
)
, -/02467 05; @?A
. 135189:;=?
B CE HI6467 LMNO RS TRT KNVW NX Y
DFG 351JK 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

222
2
!quot;# $#
$%quot;'
() +-./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 aXUbc2
) 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

„
89
2 ‡ 9
292…

222
2
quot;$% %quot;#*# %.
!# '!() $+,#$--
/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 RBTBUT 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 ? BA? Z W25MI67K E I5E
Z F0
1 0531G J3E0DG 013IJ5 6302J20
0J61DK5W02I 5HE GF6]I IF63EN
3J26526^52_
I05WE 5JFF

`abc 9

222
2
!$# !(#
quot;# % ! ' !

)* -.,0- 3467,844 67*; .
+,-//.1235 - 9: ,+-
=//.,1A0-+ *D,+?+ .++11G/
. ?,0-@0-B,C/+ E 18/ FE1 ,+D
.+/+H
EE01
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+10+S
9:R 0 VRE S

H
HH
235R 0+1;@+S
346UE VR,?S

WXYZ 9

222
2
!#% !)**!
quot;$quot;'( )+
,- 0245 678. -58 :;=32. 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^e2.35 D1447 / m7.42.jke7@ fi
6 16^ l?E4^53 fi 3 no16p ^F2 j
8 8A
qrst 9

222
2
!quot;$'% *$%!,-.
#% quot; * quot;
()* +
/ 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Š ]uvE
/ }~ 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

222
2
!#%
quot; $
'()(+,.)/. 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. /C9*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
opqr 9

222
2
!#$' )
quot; % #(#
* +- 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

222
2
!$ '
quot;# quot;%$ (
%#
)* -/.+ ./ +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@/=.=+/+/099 ?.-+ 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. 299 ?+-3;/2E
++=+ :81;L/0++M+.-+ :81;
hijk 9

222
2
!quot; quot; #% (
! $ '$

{~ 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

†2‡92
V I{H 4Q0 ‚ƒ

2

222
2
! !$quot; $( #
quot;#%#' )
(
* +-./01341 4 8: 4=
, , 215467698 1
;
? @A/ -
-B4CDB
E FG,6 JKL NO9P
-HI1 L LM ?
P FQR-T;:WK
S6UV 3
O @A/ T1XMZ1 NZ1 UV - 6KM 3
-B6VT Y [M [T;CDBN9 N9W
]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 , 2v3wy{| _
* ,, -~413;U1
* }_6 U 64 €
TT
* +-TNN 2[ r€N2v3 2v3N41 41D
? ,W 6Nr2[ u;3u;3€ ;U ;U ‚ _
TT
* +-T; X Y [M [TND
E , UVƒv1MZ1 NZ1 W _
* „ . , T;:†
P R@…+@6UV ‡
ˆ‰Š‹ 9

222
2
!
quot;
#$%' ),-.*01, %($+ /212
$(*+$ /0+-*$/*01$3*
-4(2/*, %*+ 2.2+1 (./(42307$
$ ,*+5* *+ (2)$* $6/ (/$)2-
20/88+ ,43*7+/9$ /5 , 5$
$3+ ,122+ 1+ $ ).(/44+51,35:
* *
; 3*$ +$(/.(09$%' 4.$ ,$ (%
(6/%/'1 * 3 ./% $+ 14$*-)*
-
*.7,7=0 %0$ , 3 $3$*2+,.(3+5
8$-$$*0$/-(/20/ /,1*( /-0,
$$31 $ ,+2+ A* (4./ 60/+$
?0*)$24*0 ,@ %*0,6/ *( $*B-
9$ $'/
)2/$:
CDFGHIKJMLIOPRTG
DEGHHJILIJNGQSU
VWY ^
XZ[]
_`ab 9

222
2
quot;$
!#%'
( +-/0 24-/7 4-/94: 95, 28-
)*+,. )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

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

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

Recommandé

Recommandé

Contenu connexe

Tendances

Tendances (18)

En vedette

En vedette (20)

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