From 4478393fb8951dd77b2364e13242ed338e4922f6 Mon Sep 17 00:00:00 2001 From: Martin Thoma Date: Thu, 2 May 2013 10:41:34 +0200 Subject: [PATCH] added IND-CPA --- tikz/IND-CPA-Game/IND-CPA-Game.png | Bin 0 -> 15254 bytes tikz/IND-CPA-Game/IND-CPA-Game.tex | 23 +++++++++++++++++++ tikz/IND-CPA-Game/Makefile | 35 +++++++++++++++++++++++++++++ tikz/IND-CPA-Game/Readme.md | 3 +++ 4 files changed, 61 insertions(+) create mode 100644 tikz/IND-CPA-Game/IND-CPA-Game.png create mode 100644 tikz/IND-CPA-Game/IND-CPA-Game.tex create mode 100644 tikz/IND-CPA-Game/Makefile create mode 100644 tikz/IND-CPA-Game/Readme.md diff --git a/tikz/IND-CPA-Game/IND-CPA-Game.png b/tikz/IND-CPA-Game/IND-CPA-Game.png new file mode 100644 index 0000000000000000000000000000000000000000..6aa2f4737ba6ffab091f6cac42765560f9edd1e3 GIT binary patch literal 15254 zcmdUWXH=6>*JTP)1q4L8NEhjZ-lYlBq=_h1CG?_HfsmjmU8EDL0@4MPBAo~-BB9p+ zp@RM^o9ny79bD= zcnMagrUd>V0;Vqme<=L54XvnwpK$8OF~I*ceg?MwAP^nP`7aohoy!iq$q}G;FTm0l z9uVyO)CCkA94zVXws5X+4>!$ceE*2w)Z*G?#*=(@0j!hZWUNF)6NFncJBW`}@&$R<)raSla zZca-QNj?5>j#p?r4v)*rQ|}xM+>}=>Ra?z>!TA@IX15CP^Yj0+NZSJG>gpB~M8TJs zm}1|3KVrDX0-NDHG#V-CnLSMp{{}Q0c{4Uc0a~NZ&De`zcuS!L425cp;u=3cv(D}F zZ$C7kLB+%vT>P(R@Cku{C(9K7r`@YGP)tnB*Eh@{CZ=R|3&{V#mkc6h>Js}mK6&KN z3}O%Z1C9ADLV#W_UxKYOs8P=5I3q1#Bu$vA8a^TzNwek-cO83}#cu&RZ$l09q*a5Q z;P9O$xX-0%JmW0GMd-nR)$3L=z0wf&cpTowZ_z0~5Del^Y3Kx*HIov?cnD|0+rlWc zOWTo%GB5ihxN1|FyHEG!WbL<{pk#;>{2S&Q=7(L{D#0JMj}q`V&yTr$6?> zxZ<4+u2-xJ678XjUcC3Sf;!jC`)A;!5Uz|_V zu%0X;$c*|O0m_6-3b$`@wF?*6@CA1=TrYnb@Z}2T0^!VFelU|eR>dbM>G)C1nDY5f z)j_3&{+!;YL7`8tgpA`;edl6L5jED!+Jv*afsg=VFUJbUn-)ddEE=^ML9LyeG$;dx zEZkiTo8cx|*9=F8+ANF!wa=cS(=18M(`3!^I;Zy?O4mY9<^8NQpvfVCtEF&}QqO=X z;R!BP_WK0}oGLC#W}F>JVFdCey5YwIL1rVsAU!b8?NM}*!f?1~G!~=)`rb-n6eYbj zRnh1b)WPg;&0m8c9Xuj@&AAN zHrF;UcH;u9Z{Ln=kH$lqcgk*({%R2t?CJRv^Vx%@iD z;DdDCOe8E-0YP=br|f>YoW25pqTZUi$gq^T&(O0+aMxAQtFf{7OfPuBxmfNxiwSO0 z`+qhQwo;5Y=>7-^VVQ!3`eFjjZw(*YnuxvJs3Dwri?g6~7}W!2kYv*Q%WQk{jd^g4 zLEgQj+Oro1)p%$)SD!FS!FyV6F!&-rKWm8SJlLR{t&bD+*d$wSk=RK_baa;utqm91 zetK;9YqJ}p`0U~>-KVaW3+xjo5)R;8NE(y=g`sykRFoIl-xRDBe_>aCDkx@Ctxn^% z!GbC=$$3g>UR_a5piSgblvD;c_2K7xUDfz4{Narn+oGOl3`n{S0-+!qClkA*68P6@ zi>z;WN?a>Ss!j!c{Y0asTYOcC)c|{1dy##OP_QC%HJ0NXRgeDl6mR(k5M!Uk>pnCD zK-VBb@D)*l(x>0`8nfBQE$B7=6p>DF#I1WG56wGXBp;dsfSW=^I1>^T(~TPwk_Z1! zgYkdEzNj>OVitQ)z0%y1Wt(c(Bgp^q7GSYpnK}kcCn`yHW6KMUz*gD5;ui)9V5=T^ zf4dIgi1Kz%WYSRT7Hi^xaYLlagBpwkEX^`l%7}Z5P>_W~qWmM*|B8nK z-vOeP1*q@_=_clddr&aA5gKITY6BwdgOHQi`F*8Gz@4p+D^MH3>E!>(8CY)+3dAYA0P`Y;Gx zfs(N+g0LBe5VjEJL)c<3qAsnwG5%+NNt+4k9{?X3ZO?V)1q49=9s{lc#DvaXtPdp| zYJ$oWQ|-ZWf|2}IqrMPs0wI2cyCp(FCJQGONs1)<6BV&lF4Pj%0`E#D?6)&E5 z>k~)?2V0^{;S((>OM?_=rf%^C*^4WT((*S{1z_tJ?4aC>1Yg~pXwU;!rT0|Qbt#9s z#gXTD@*oW23rQ^^s>68L)j!lQR#7S>4D>ywU3`^SUZq20LOl=F>EGakg+UIXe^kNR zZg;cHzsTzqgDqKrZZ~OWAzqi;$*j&h`3+fUFcM4&E!EALuXsEAnI@Ga_gdvtD07^P z-Eb`=MDATM(tYn3-700`f6AZ*b9&gwYplz8;$NZR0>z1RbpzAa+#me>bvp%C~Sc;*zw-CU10ckfDydTvK4XaXw7UPK^C}11VQjd z`NnPedhhj~v&_Sa?_KW;xulb=kzgC z(U5*Gm=oQN>N6?~-UyW%8HTNT76?fgXuY&nu*rSFLKW-90#n6evsYBF#ESd}>)AX- zK&g=>TA#mC!bs}dRu-+{@5jl#vj|#e2J%uR$I?~Id%~H?d6bAbMztBNH63a1ITV`$ zgsL}h4x?(gHOWci1mBFzC!A@I$b{+Fq)&hZn@DQGyykfz{OPxVJjnY2dCCYTM5m&k z+to+OS?Bu&9WGRPFUmqNj&)!;1xZ3*mE^Wi-O z1AL_scmu&J3SS0{k70fOAu2$(0>i}7R<-!AzgJ#>+BVRelpL1O~;hVe?KJUFK_ zOV>t{$_tFMe36d9NPZW`hyMzyD#`B`WAqWZ23gd!UB*e4Sg)G43ql_YDYS|yv0g?n zu8X-8dqAKTjWz~fY*P7?TWy|*SspI&?%%k!Pw9Io?&byWFB}(e1WDdjDQ0oDT@~12 ze)}~}7{XjG3=^ZQj+;A6tpyD^VmAg2jkaH3+dDRMm<~q1RhGV?Qo}UF5t0XS$nC+# zQ5U>_qK@oeZK!*;=0S0y5Wl4Bp$km*N})Ar37?e;7jZd5jN!!SAfet-6bxTpKs zeV=xYj*%E|L(R(f7$~No@(^~VoLLC;(ls-j>e~8`ReHgB#hTlWmNrsp^4KcP?a##~ z{?wb~nIZ};4>U8VJjRmI=bCNX%I-?W+J=aQ(C~Fsa+UkTZ2FBwf@T)(;3(esmo|;o zVl(aG8ByI$;+g)@XtDE1%FW2>w$l;*p^NfQo_{{#9lmnmSaSEgq1jz&0*TumztHw;w8>LqZ*!7Gacvo; zmhNA9m?xzj^rRQB-hZ|dWi2~jR+j7L9ZwgjIwqn8Y-G$BvIh#ow+nWkIYhDU&q>!g zX4#g~{tSgqfu~@2Q`k(SelpOd5GaKW-uMo!p0=e#n~ZLdu4~1LOOlbnAcra^ay}*r zBZP^-EW!^G(DEkgLjZLD!I*OV{ObeHoRD@%e*RViWFY{bxH`o;^=gP|-6WXoSYN}w zwnUH;;z5dUi`O!*v3SpLPxa$_#++xl^kvxe9Iqg(_fDe;XL|PEvRtWstGWo7N1G6Em|eCHk<`l5&dZjZ{DJ^dcgqi@z! z0}AAP#EGQ1(h~Nb?ne{p7Ca+{cr)0HMBxo@M+u-J2xm_Nq5ec!n5T(BMg-kn)dn|A zl{th*2^!LeFLhDcd+-+V3W29-VA~Q&pFzJ_FzNRjxPq}sj|vvv&PJb(;*nLq?TsC`Q0}-Ph@AVZ*H-8K#g3X|l&?VF@8l5^q#Xe*5+}!ZG z7@8qQV{|ksaAudk;<%HO{r=0*WBr<%_o6k)XnH=iKw^1szh>_ohC*9HJ1H)7ItQm8 z<#G5eN;r;&HBB|qugGjQtZNI`R_sk;NqN=jsA6sYJhSynqLB9(?F3@jd_U*x78NA4_)jryBF0i+w*H zK|r~;4JzjPR~E|PMQpX)Sy`WajTU5_Qd-H%(VoLwCLx6d`XM*wE1o}+;unlW6cTG} z{Jg$XT>I-Q`?{?63pRrOjlrT z7P7)jaL}?`;0bn24#-=I%t66q<>{=V(emKwCQ|r>n!Rtq z;#7BJCLSTf2flZq&Hm;;Gia+m!eB)CiW?lR$g%>R!sAB=fH3<&cQQ;Ae_89n?a)z3@Ey);)pPzvPCBg8nK+KOj#`o63M6 zSehd5v~Dx_IgLpopSMaSymkj~FeH?9 zxvuA&;0nzdgPBwueeQl4eG<6Yl|3D+3mHls5_xNvCcXKKz;>&9FBH7hLK;NV1`(Cv z2fW(!V+i*HDLzs`|D`UsNTGC|H3D6~m&`i>&+qdt$=dHJv~JX?zJpHK-MAXxekFLY zqM}6>9(3WI&9fc9_JH})8RGj^UaOn`Vkw+lVXgT?SK4`;?>%zi*_4D(LLHgEzn#}# zdlq5wYlV3q-Sl#3BbiW_r_;p8lM}+3bfrp}N{Ky0S|#At+pLC}X0cJl&^#x27&9C* zBYk6)Ut9i}q|h`OtZ_}vrL+>#ErrA>JoAHR!4 zheN&W^VVa>f^UP0Wn&elS8sR_YxK;Rr&n!mIp!~t0!UX}Zpel56KK*v$an=ds3o;x zbwVDbNMTWupfQRKidSF+HJUv8G<#|42bS|z|J7a>ZiC~BLr0J%xJKC9=wdRqf>GOo zgya}1cyo#8CVQbGs}dgT6GW`36O}STP#0bHBc{U@qSKN=!_+A>hNs$}+{q$0cBx>h zmz(CWudEsT>i~Bn4xSSpoovY)amZ)i67bHvXw1h@ zz7$yg)I)(&a}7xX0Y;tL_Io-%ifbu{aArDkpjfEzw}BZ1o0-M4==8+Vn0>nBQx8HK z5w_WdXh@f)7c70x)|v7NnU`MaWcU+FktEB9CKn_78Y!<0pOGcDQ(8st_U8D&i%?6{ zCak4!TZfm045>U8%yI6RfAEPeJTmST^+6CZKIQcv9RrI`f60pkA$Sm_^Ay}VM>-;i z=tZg#Br&;JChit9G^>7|k5KK;miP3d!NjqODeYom9133S68GzWxZ}<@M51VN@RRx% zECW;{kVqSSf7!P1SkvD1BU@^;QZ{ZN>R=THE;J4FFT|@t-ecNDT{eufVnpmsx+Jxz zoOBhuhohLN-<*;sJBHWW4Hd~zVyGfiD%PtBs5-fzS#imC{8PMCwpHI!Ij48%)*#=8 zXZ*lN_F8kiytIGw=xqhKg;Z*-E;8~;+T7yi{YEd2I@iIHs;cAkVDIVrcSf0#$_Y1! zX9u4<{|(>beL}eimef zeWa*+_3rxG{`mC>ql!>dIj+YuAI1Oup1*o18NWo*ukkGbidtsajfe%guFg@FzV*90 zPf1AahgtXo_{6I_qbX|1BLiBya;xKtTukt4aRdL=f#ok$yv4=EQSPH9A43D#H%1!0 zAE*Qqj8lb8CR8Ghc9u^Lmy*JF`xV7)nV*iDDB{yH9e%=xbR&#&6cSepkohu?zFUQ| zH~{nYZTm+FtfI?Ev7z|AOHW&Y)o2O$)3uW0J5b$9$W{PnX(BZQ^b?#Ws%)2M6lT0& zK{MWpz^ZKBHv)lPs~_AeF-CX2VAS{_TAG_u_cR?emi*o*a|Z)u9ICXD3c|T$hDTen zN?odm3u95Kw_X{HdbUva?9&IUfI1cBzHSx-h`Giw$2N0J!4dYLpq3pwDA<23bMcr2 zHo+tEN=;$w2KUSsCge&9x5|E*C4A{*G&mVFkz;-AHL6(WD6F0*;vq220>4*veeU-G z*;r@2n$OrjydG_DV{Vf8vf*l@AJLH2F37Q~GwhQt8iA^rRhN&vEhjNfq^;9(+t}-o&rWe+TkS{7Qb=^FtURL@&vjAJ#ipg#OTgm)Iwgv= z&5x-P&M2G@I=c(!esiF4<(LV=nV(*d^>BGq#a>2Kuge70gh2fhMLxlgdITSW!*4<& zzI_Ux(-O9Nk*DK8uzsmCZ(5^Z=h?xvy@gKoZa%=~Jn?Qt({XbcI`ilzs4Yo&hgbVn zCt}2|4vkI}G=7~X9sfprBU^Mr5J9b(^9NlqprEX<$XrbaPwsFtx*Bd}a<=KqO4&sks~E#b=<_9JD_1p({sIs}A0;L}*%K zmv#c>cv(#L1w7uGc;Nf~QP1l=pyu{-Ramo^_o>0MkxlqcugL7vJ_);sqh+;&sYijK zyHxjl+xM0JmK8NEJg2)Z(SPV#c{>d>7O6^TdXc0-i&(R$oTdFrW~%tft62BQ!c`wu z=Z)Q9=%N?eOe}1fZO7u-T1jSv4!LYOx8~NG0HXEqSygCY4$c%F#J@G4*B92$fVC zc_B~x8Em6s-5^abb`aA84|?*m*^K$_fmrN-`y;s2Edh%AOvmXbJy@T}Ce{GMMwf#{*09#{=vGdBs$sB`GvkA#UW)O^C=w=k;bQ(=fv!GlGM%Su3+Q zMYoLZjVcyi;=Xyvb3J6MqZNMtb%or`>dv#{{YFZsjj4~olw;curYm<|SXS9Jr<7ZE zZ_Kj_>Arvee%7y>{xU1;lRB7kvdUGy-6=R@$xmwJM&Fp=^4%ag>7+H zE*;0-_PI*vi1Aw*Sh+8ijq8h|34c|L(<~5QrHS#lmSUaJBqaR&w&WvuXYc2fqS=v}+Ei}x zPMoM+LqN6=4nsLKjj&`SuF_Ne>Tq;F!5*!@F^9 zdd$nHXUAZT-oQl*WD_ZRc<&2YuI`08DUhS0AA1H;TX)Zh@WBwk`F_Om^sBZYfS+}e z&q$-DZ&L{?nqdcC`bk&&e|?KrUO++D<~ub(E-o%=N54~zv!o+g#qMq|C25X)_H{JX zIC`9|;ClR9S8kRK%X*YZ4&ky z9z9GK`b;i00%?#oU;uIXh9G{Z8yHc!B60s~t#fzNYJOOj+B4bG+^4kX^e2o+$PJ!* z#{KjM-)zWIqMYYM0uYOy{E8LX8MkqK0+_M&Jwju>Scj$?Za=hB_?z)%ulkRWW#D^)Y?jcn#+c+cB!2E z!t5yxj5LS6FJz`^XEYht->_y>Ka&)h!+$ME322@#zwuXH(9b^$KM^&i#G>1lg6J zVl|Ivygx4k1m%5GNPpQF)zuJ`RL9}-OoveS52n7r$q>0h{Yu1iz56nw3y}UCY~W@Q zM11(+Vl?PH*Z={%Z0_~6$4sLHU_;mf%})I~xs`fG6x!Ppu4-M2EJL@$;Y-*JSy*K# zu^%G+tn9xc4ac%yk#aDe zthVp_oSBjFDdgX;D&aFj5%W_%I2C=2i}Vw(i;4B=(Q8en5fiCL)8k^Q-hVnkqQ)z2N_jY&!jGQD z#l`*fq*R#o(~)f78`(Kc6^TAdKENxUo>;-)QF>~hfsC=<2sd|bbN{}v0X{44ZAJoU z_bUdTmVtwpbZiiukVN@8%iQ}j+SkXc7nZTp_-?AECq-wciGANHI)j=kAH>6j?-51H|spEacCd8n(Fp6 zOX&&!pe9-EocRNZVdYN4r*YtPS3iOMOY2rgAJZ*v^COz7qmA-@VQcFT6d0_+wW?p^ z8t)TUw9Mt^L-p=6mx#XPK1rFR0>X#O_XLiMTngfwXS(#5=NIViwTA|ptfXkj93Lb0 zI_RB0rq2;Hq`H;)Ewl=0Iy`{fS!WG_95cV=GF#A;48IXPkgI&oe(T*wg*Ov} z&T}ra8tcve0(QjqsG0j@OT`_2!iUD`imt{37E`6jSQZfrAh!iP`DnMmlC2f{VXi%F zv^DrZtZWrH_00&yi{8Hsms$wv8V&zdone9)_#EZzWph{L)$wD1I@pD6HrPG+#u`rA z{Cslws6=Q@N90RNN{UCKW1_e}5jcYoi+btE34L(siuIolxFcN(Z4&aA@Pl*;Ct#pz z4 zfER;%dj+*XG_Czpk|P^Tu)B)bGpD5Ite>EM8Q$j!d2^|sN&}qb1RsPHQ5*HlS@)LD zH<4`Qn}ZOG1iR2b@5Sv~(iXd;>zuwkzdeXn^mQ;{Mtuz=JHr{&bnm_NrCNB*`D1pO z-vWlKCzsy;^qA%a730bq9fn?|Fvr5vd919Ycv@C@jbmrT@(iJ!=-|_#EN;CM?|1^C z_MX!upZLF2KkiB59sHRtHu?8nJ21+OB%dGWmTuc{!#Lj-HyUJa&eX#b%nd|ODPCqJ zzXilfVIVT6($+ z5T~!zlNEjE+D81(GjD)t^i4V<`(=8#Ef=4}9*}hd!#|~q*_;!A;WG209n+xEQnS*) z^@(M(Du6RMV^Cl<(nehy;B*|TGswN+TWFa_l#_P;{r6``2b+B{Oac}4*GwNm1gSMs ze_mvlMlE)C-r~rfMH~EbV>>yV`Xi(B0d4YAOpO=GLY9t#T$|OT?;Uy9U%UHnhRb381Tp9+=X2-?Heba0M>XF7@jMz*n68Z!5_+lT?cY|yBRgH z=Y$AI!W#zSkf+D{kG{q*VYB5cyY8)G(cR}u3jDTDeA)m)k_u4TbI$Q@v@P|2Y-`Ig zT4J&^Pj;vaS&Qb4`0;RhxXihGo#E-MU)ji3R_Da$~fwY2bpae)0n;3+_w!uQ8* zaswx9RX;7_Zg2sk3Z;kWS(15cwRMf2u77Uh`=Klm{^=90|yqCvbOz8vUadr|uo5CdHI~Y-=jrNfv;QBUJoCV(SqKKlE&!DEyrRda z^C{=6U*(6!!Y51Lfnn_c)v6UajbP-J5QWm0aRxX40O9z3-ptcQDdZ8IYXKr?x);IR z614e~CwSKUPfY1be@-TuUP40RLwy`j+MEiWM?3@YOBqEqda@8n^%Ma2k4|48KJEJxRU)-+vrSKq!Y6iD`X5czIwx?-#{pZ@q0r67)Y}~A zbJklSJF7gCgY3FV#q$-2At9&xla&Du_E{PTl|0qpfoIL}Y*KLG8Gv726Ir%yrUYUV zg(+kOnj{pg1gm2~d1(e(E?j%-U|6jwJO1b^s^LI=XGo-R{kPv4-`(->GIJ zg?e;A8udFj%_dJ6<%#-QMXd=n6WLU~tkf2_+-{!8{&$SSHTNa}kU&s;57;Oi z!TADEP<35kv(uVs^yW|x4RBbR0`g&h4d?eLE`X=w>ARG`BhZ{K!=h?O2Jb8#4yyYNHKp7U^+2Y zl9Oihr4Xb5cFR#i``T#jOE=}2)u-J5`HX*(M$2sBja)ZW?9&i-+Kp8e5C*rTu4{ne z@uxjE^6M_#$z4)9mn1`)O+guG+e$A+g}TJZ{#nG$*Gs?{lWBjefU_>ly2H~ohI4F< z7DQ>CWUc}4zY?CL!SGV`@}hHhS3FmeJUPJBQ|@^{9CQD05M1b~zMcHs2V zI^g-a#wn9<1}Ji-@Qf5KklhNV8en67YXu&I#3?d#=eMY^(sjH2;_K5C!Q`x3J3n{% zYQR|d<*o84oURP2na)*gU>6xwk(r4t=)F}fZPxWl-$2-q#fr>M2l)Qz%<^B#w{#+5@1*7WC{ ziJuo|&PQ-9^G2wM--!u#XJ~ZQNTdq2XW}rPn?r1fH81annG#;X>!FHD3}bI zqGP8Jf32_uHCC)M!d5kLPO_f2Dfi(;Ii&L}d})s|eQu_klLMZFY~|p5#@iZ!fsWk? zWI;UuM2iYkEr8NW6QV?Ms4_hZJ(Th@k+1pBYTdz8ycLsfx#4|GIFqZD@Kdc-X*oc7 zI5+}3?(tT*8^p-Bx6SJdS486$)AImHVKd1VL%<|(+CBJBi;7C{07wCRU)PaK5YeeN zqdkjwDCfQHw7_PaaPz!H*=>L%WHObUCRF()f-=+5CfcCNz6N2xd9cmBZiy0JCA!)g!a#T)5eg%hwEPPK*4c$ zP!ot`J-<~iG9}k*94+@d>y3Oz2y?fun;u9@qR(<|ou?rj#X_Kmuw?z2-Ta+6xAxfbP zc~HYQEG6i)@H5NoX?gf};J!pkEHi3$nng+VPy6}3hw{uZnmfRqiT?|CA^y*6_CI;+ z;{Vg0I9F9c$t{oJw;-LADxl3s=3uf(L=iJnc~}MbP16xa7FEE7P_Wo87a&BBxDI}! z;tY>oQKbYxBdOK#LK~ZRsCvOa06F6Um7W-~KNut$6z2fka4--T1;4rP3f%n=K6)+i z1*-sQ1V=zhR+PD!lH2Y;t_3=4I<<#WB^NU~VIB}1GPaxm4IUukAA6~}tctn}9KBVX zu_aH9NMo{O>-gXPz#FB0ZYKSu9k6Ab;&g*x1BfoRcB?lQ6ftog-J7H3r>I;l)sY;Xb%D3wM2ivMaH@2(7+KV0)iC32u5N?Gr(J zhw=oEy#jUx%IWUafx>rqWBL=3xaIFip zQL2WKq7#So47NJ{p_e!OLnI&JEIhD}jY;(KZP2e}%D1Z0QS$wo!H^_~BE%7_-oL>S zjHEkfq4|(kEhHrK1wF-qTamyS+Vj>V!{!OGsCPjRKt({7s@Ol|2QDI&F={0=k>Uvv zbc^Mj3pN<9U?kIZ@Y$`b>#jZ{?$MWovCR|MX~FacTBW=pG{M(=S8JyM-bzx%)XV3b zfg?93OOyG)Q0+~i_Gphb8f2?NCTp9fdPBdt~)a0T#}p% zCwoR^M_Kk)*~`}?uYp1`TFq|HEfV5^Q&b7+-ef>Y`kvz2oNzOVF;rTx8>zB!9T+k=jK!yIG}0Cmu3Zz_7anvsR1mla zG9}*qWDsJ;k`1l!h+dPo{57QhhtxZM-4W1(UI)gI@aT*Mi={52tft5Zg|?Dx3`u0E zTOS2Q1d^IanaVd5aTCLy)54Tp7b8KA&8;4Qj`XG_FQ^==gBiydVTOAZ$=R}X!6|bc z1$&6ZV-~Ax$)NBz!dIXXTjtnQJA z*mtG)&}m-Yc6G&W<8TSffujaAz3H@-y988AZf7B9Z4;dSwV@n+3P|BCFSDqCN-FKw zOx%L9Ze{Hm07K~urpL%f#oE3G3!`zn@J1Iskt|yySlAoslMOlT)sO2QirA@XMmOE8 zBPqNW@_TmBew47*Xfd&X#izxjzsh^0`9tKE<$#GG!>zl_lbcpGgI`3V20z^$wUJx) z`&EK`*GjfZ`~)OBw>wx+lNNJZjBUVWviHggGI|?aQUBHxQ-ahVaD9{(Z*A(mSr)>( z#ya|op58`j>XS2gEPhVCxI?!s>@54vo4VI=P;OG}^+UT0c644W-t!lm*xBjot5;Ti zFB%IPo6OQqT~d;Y+e|t-BbL8FlDUeIeZG;7zg4dy{untPoyrpJBx>)%;6ZZlx@{kF zAJ9%z-#)wQmbZ6CyTDl^#S4v(S|(|kzxPD> zWh}RtQ9tOb{@CYlbNG2&eaPf44cr~@yX@(Kn+6SL;pm4|82Oo5_IEVfT3gY1TK9}P z)Zex5um_W6I+Lw?8AMrr#f*svL@rVDh$l)j7mGC8PT18 zNFa6E+}unzT|ue80AG&zoq_g-o@C0WdPrO_B~q$g_!LtNsNe*J3%})*e1x04`i5~J zXb2$9V+}gSCY@3IDPhsID=Uta+~ql)2I0VshuEa0)DCiHYw17(AHU2FSr}=J%lUSg R2i&0r8S0tpR%<&w|6c;}_22*i literal 0 HcmV?d00001 diff --git a/tikz/IND-CPA-Game/IND-CPA-Game.tex b/tikz/IND-CPA-Game/IND-CPA-Game.tex new file mode 100644 index 0000000..064f569 --- /dev/null +++ b/tikz/IND-CPA-Game/IND-CPA-Game.tex @@ -0,0 +1,23 @@ +\documentclass{article} +\usepackage[pdftex,active,tightpage]{preview} + +\usepackage{tikz} +\usetikzlibrary{calc} + +\begin{document} +\begin{preview} +\tikzstyle{vertex}=[draw,fill=black!15,circle,minimum size=20pt,inner sep=0pt] +\tikzstyle{encrypt}=[draw,fill=black!15,rectangle,minimum size=20pt,inner sep=0pt] +\begin{tikzpicture} + \node (A)[draw, minimum height=2cm,fill=black!15] at (0,0) {$\mathcal{A}$}; + \node (E)[draw, minimum height=2cm,fill=black!15] at (4,0) {$Enc(K, \cdot)$}; + + \draw[->,thick] (A.north east) -- node[sloped, above=-0.1cm] {$\scriptstyle M^{(1)}$} (E.north west); + \draw[->,thick] (A.60) -- node[sloped, above=-0.1cm] {$\scriptstyle M^{(2)}$} (E.150); + \draw[->,thick] (E.179) -- node[sloped, above=-0.1cm] {$\scriptstyle C^* = Enc(K, M^{(b)})$} (A.east); + + \draw[->,thick] (A.south)|- node[sloped, above=0.19cm,right=0.3cm] {rate $b$} (2,-2); + \draw[<-,very thick] (-0.5,-2) -- node[sloped, above=-0.05cm] {Zeit} (-0.5,1.5); +\end{tikzpicture} +\end{preview} +\end{document} diff --git a/tikz/IND-CPA-Game/Makefile b/tikz/IND-CPA-Game/Makefile new file mode 100644 index 0000000..0db71d3 --- /dev/null +++ b/tikz/IND-CPA-Game/Makefile @@ -0,0 +1,35 @@ +SOURCE = IND-CPA-Game +DELAY = 80 +DENSITY = 300 +WIDTH = 512 + +make: + pdflatex $(SOURCE).tex -output-format=pdf + make clean + +clean: + rm -rf $(TARGET) *.class *.html *.log *.aux *.data *.gnuplot + +gif: + pdfcrop $(SOURCE).pdf + convert -verbose -delay $(DELAY) -loop 0 -density $(DENSITY) $(SOURCE)-crop.pdf $(SOURCE).gif + make clean + +png: + make + make svg + inkscape $(SOURCE).svg -w $(WIDTH) --export-png=$(SOURCE).png + +transparentGif: + convert $(SOURCE).pdf -transparent white result.gif + make clean + +svg: + make + #inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg + pdf2svg $(SOURCE).pdf $(SOURCE).svg + # Necessary, as pdf2svg does not always create valid svgs: + inkscape $(SOURCE).svg --export-plain-svg=$(SOURCE).svg + rsvg-convert -a -w $(WIDTH) -f svg $(SOURCE).svg -o $(SOURCE)2.svg + inkscape $(SOURCE)2.svg --export-plain-svg=$(SOURCE).svg + rm $(SOURCE)2.svg diff --git a/tikz/IND-CPA-Game/Readme.md b/tikz/IND-CPA-Game/Readme.md new file mode 100644 index 0000000..8f851b2 --- /dev/null +++ b/tikz/IND-CPA-Game/Readme.md @@ -0,0 +1,3 @@ +Compiled example +---------------- +![Example](IND-CPA-Game.png)