diff --git a/.latexrun.db b/.latexrun.db index f15142b..cf1451c 100644 --- a/.latexrun.db +++ b/.latexrun.db @@ -62,9 +62,65 @@ [ "file", [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmb8a.pfb" + "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" ], - "7f3f19f61452892a29d06af2836331ca78aed29390914d294f7a440d35927142" + "3d2226e3d68b4255061baa496cc9cbc107816a7d364720c1bd8c83dccb047b64" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/cite/cite.sty" + ], + "56979b7c69ae65bdb52de5bcd540625cae6dd70119e767db438a4826991910ea" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" + ], + "dab8b0e621267acfd89736cf97bdcc02647c545c0719c4997be8a7d1bf98f9c3" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" + ], + "361b5530a4b410c6274e9330c11e993843c62e394323aeaa6e0aee61e8042444" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" + ], + "3f56ab22f7fc6a015813976c6c6cc2fd55736bbaec4958a4562e10719fa18062" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf" + ], + "a9b778bb98f910fe898bbee9001238db4af4d97187a21361350bd5e39a55bbe1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" + ], + "373172fe340e4aede5129b89d65f576bfb1fe6932bd55c38f60bcaa84f3d1188" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf" + ], + "0011bdb7dbf11831fa73c87e70751c267754f1ebbe50a9cedf409ea0c22db41a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb" + ], + "84d38aac226b5274baca7a292e2039f5284a35d8a2ae31074a475fad87da310b" ], [ "file", @@ -76,9 +132,9 @@ [ "file", [ - "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" + "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" ], - "a3529ccdadc8248b4c5d7c34ceea53bdc1509b54f18a192ad51b924bd297d8df" + "8c808d286cf896399244d121dd0e847a9205c73facc003fe64ec156ec85fd3e5" ], [ "file", @@ -97,107 +153,9 @@ [ "file", [ - "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" + "sections/design.tex" ], - "f079d814ec1276acba15801beb39911eb18d0b6d556ae7cf884be6fd3d83f2cf" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" - ], - "8c808d286cf896399244d121dd0e847a9205c73facc003fe64ec156ec85fd3e5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb" - ], - "9fe20cb9ef24a0f4c74d38a65d4eee5cff3165f3b8600407ceba396aeb2b7617" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang3.sty" - ], - "637dbaa3bc149ada8edc2b471164a63e70457e105e325b4c00cd2b499ca70067" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" - ], - "d9f5f519ec718e9dbccb8527c1f5d3b4a008dfb946377f97f71611b385d3d010" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" - ], - "c2a4f1d01abaf7ad739f1af03238ebb6ab35a7bbfbd5d713acceddda4fb043d5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" - ], - "c800d1dfd533040219fcc06d52e0e00c2a20fb9b0039fe9f58ccec53fd003a9f" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" - ], - "d9693993efdc7d0b9ab3df777589995d43e24eeae95f12b6a230a19caadeaa42" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb" - ], - "8816758f882b18a97a2fcdd4e496b881cd7726b8612648cbfb1c9de2d9853029" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm" - ], - "8c5b2e8eb57987c20fac30f8f647133e2dcfea899a08f11971a51a8740267fd4" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty" - ], - "7ec0d3442c273319ee517745cece539182acf7279ab9596d3e56eb32689e7c53" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf" - ], - "162e1f6e89ce4ceb9c99f532ebdd6da6237088663fad290867d907ab6145a327" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd" - ], - "48355e960333be747dd7b4500e76fde7c3ef0b1fa9c74ec0f1438af0d3a661a4" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" - ], - "e9fe8e56401707f18a3d18716dadfd1dab999d02118c82af05691599cedec445" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm" - ], - "9d0c9a870b82d754695e37b6fb24dc07d51a685fb0dad1d30fa69dfb209ac224" + "a7af66242d60fda55aa9c2058b7416400a6f7290ddd6d3eef46ec4f4865b1fd6" ], [ "file", @@ -206,188 +164,6 @@ ], "c5616c536e51dd8a0e9e826f713519cb85e3fc4c6bd4165183cffe970c10ab46" ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" - ], - "280bb0113e2586156cd9414aab226588bb0a4d0fdf71fe6c6475af70d9b61eef" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/algorithms/algorithmic.sty" - ], - "7fe47ed7f8222c56452bd73bf0682e72023ece06d59207653a02e080a341118d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty" - ], - "75d13c840d91c5d871782212edfe26358e26b7408a35f4b486bbaa2c7a1fe6ab" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/ifthen.sty" - ], - "b8cbd3c3ed9f0f58e1103c91e29ab8de344a19f4cc7d27fde8d14d962dcf0495" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8c.tfm" - ], - "03c370d1baa81f70c0ff70f6e574953151e8211bfd76e8ad9965e0bfd3fdd263" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" - ], - "84c37f07ca360c41ad0a0fba7387d279d72457c69bdae03653208c683d8de6bc" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb" - ], - "583b65bd1857bffc2ab184fcb4aad4e70e12eb05c9ca9f1c58c9a00a86c8bccf" - ], - [ - "file", - [ - "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" - ], - "94ac62800308131e37213df5d5edcbddc246082321af52a58bc5f8881a23c9dd" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" - ], - "e3661061e8aa474d6de5ffa916edceb0e3d8b998862018c147f0357fce00bcd7" - ], - [ - "file", - [ - "assets/diagram3.png" - ], - "d04a42dd9ba8b5d2f24bbd3f21d20fe5c09596dc704c4516743fd800a9567b66" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc" - ], - "66dad15c944f0d457a095fd6e9dba30059a4882b1ffb1f4bf62850ce52c8f136" - ], - [ - "file", - [ - "sections/introduction.tex" - ], - "6515d790ca4d908dce812f034d3b666a0b305449ceb514e02897d147f7e0c9db" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" - ], - "62ee8cef552017551cd3e026a483e700730103eceaad959c87b7730017f59cff" - ], - [ - "file", - [ - "main.aux" - ], - "d54b798d9c81ab92c8b713b8f9a3894262465c78056d0c3ae97e2d8ceb589f41" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" - ], - "8434ad08617159240fd19b4fcae8bf79a6137af413f3798c8a750e9839f8902e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm" - ], - "1388f235f7f54d28db4af569ee32821869aefbef29ee622c7e30b2e41dbda87c" - ], - [ - "file", - [ - "sections/abstract.tex" - ], - "56ed68e932967546fef0a9c476b8008e7e0b3619c678368913572f82d8f168b4" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx" - ], - "0804bb6e9e1eeeaeda861f29206d308194ea7cc846e38abaa344cdefa1d408cd" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" - ], - "5dd3675b88c7b61d3703e6bf35ed75623acc6b163dff7b1477b485cee8ad71cb" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" - ], - "9e0909a297a3097e50960158d324006ddd5302db665400fa1fdf966df14e1a17" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" - ], - "dab8b0e621267acfd89736cf97bdcc02647c545c0719c4997be8a7d1bf98f9c3" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb" - ], - "f396f52d9ed3498c15aa7e694baef74c0a11119624fcd6db66dad4ac76972cb0" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd" - ], - "58fe4bfa8fe5ed99bc3e28230d07e7ce32e89b338dc247d2934f0bb32bf516b8" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" - ], - "1232e78c8af6c4bc16c024fe33b9c4c3322679ad6887be22bc013ddb8d254ed9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/tools/xspace.sty" - ], - "bc3bfd65d4b52e78822cb9f3561c6663c64465f64dc2475e56542dbc213a3e66" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm" - ], - "f9649f1a4d564693fd52835b7bd9def8a0d0a8ad8abd1ed3c7f8246949e15e26" - ], [ "file", [ @@ -395,405 +171,6 @@ ], "8d5e2bdb117297385971927b14fe4804314133dc0027b3171249a08280894626" ], - [ - "file", - [ - "/usr/share/texmf-dist/web2c/texmf.cnf" - ], - "ddd2722ee024d5f4c13123562e7a220c5a66ad0230fa32afc8b365b810a80251" - ], - [ - "file", - [ - "main.tex" - ], - "3c444b1cac3b66fe235ebeee29357ca3434f2a0932946254b3ea17895861d4fe" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" - ], - "4c5ae243ac0aa254e7ec7f0602cc2a4351e5011ff0cb6dc150a5f6de19585de6" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr8c.vf" - ], - "3cfbd9498aea0ebb257fe0abb6c6b763680101745366fd1fb5b2ef9d8fa7b729" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty" - ], - "85aa24029cbac78aabf0c57fe4ec95c58703dac2fc845490157cf1f5a6634a25" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm" - ], - "013a6ef55bb5ee9768300df0f4a4d67660fc82b03085b1af358e053da1e21ca7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/tools/array.sty" - ], - "dc2b9a0057f8455ac0f74960618e7af3de9bf08da0e7078ef8dd0570a2924427" - ], - [ - "file", - [ - "main.bbl" - ], - "dbcbe88ae786e99825ddd3729db8413722bd58d87fade93f019e5be0f75cee26" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/listings.sty" - ], - "30538b8ba51ea04fc7b48ee99f7a37b657b1e225cba41d3dbffe2bfa2af5eb57" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" - ], - "3d2226e3d68b4255061baa496cc9cbc107816a7d364720c1bd8c83dccb047b64" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" - ], - "3b54bde5cb0e0bd071eea7bc702ed3a1a284f786779ef8e75b06eba4104bb9f2" - ], - [ - "file", - [ - "sections/appendix.tex" - ], - "37dccd6e2d1a16dc236cd18145909ef1b3f26609878e4dda4499a4fc5c49e9ee" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf" - ], - "72d719be55d369638225c639af2e631a10ecfb662b59edd37d445c954e5dfb79" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" - ], - "361b5530a4b410c6274e9330c11e993843c62e394323aeaa6e0aee61e8042444" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb" - ], - "5b293a581ddb937b02559c3ce1a60184cc434295533204a2cd3864a6ad8a1f53" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb" - ], - "84d38aac226b5274baca7a292e2039f5284a35d8a2ae31074a475fad87da310b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf" - ], - "a9b778bb98f910fe898bbee9001238db4af4d97187a21361350bd5e39a55bbe1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def" - ], - "6b0d3c7739f5344c3356bb0cef98bc17d8710e1e060914f42390d6503141c249" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd" - ], - "e20f21f6ed631cbe3a627d5da5fef82367732a7d51207f8df5ee7e9c77ee342e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" - ], - "3f56ab22f7fc6a015813976c6c6cc2fd55736bbaec4958a4562e10719fa18062" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" - ], - "ab6ecb4aaba9ca1b4259b1d1f64309a785bbaeb09183fd79a066b7764a448a28" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb" - ], - "21d029fda4757908be702f42811199eac11ce5886c0acfddd574df4545b1e7a9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" - ], - "373172fe340e4aede5129b89d65f576bfb1fe6932bd55c38f60bcaa84f3d1188" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" - ], - "2ef9d47303d25f3c9553a43255dae8c39160e130ad5ed34444e39dee03d796a1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbc7t.tfm" - ], - "7b937cad233ff7c8d6bee5988c0a51ba0212e852ba2617059620d2cf98f6e630" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb" - ], - "791b31aa1db8608d0144b3a40fc0fe53383a60f6b00d0e8fd9f06ac4a11df8cb" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" - ], - "feb91e48789a21e4acced98e952c77a2e2cf4a77e01bf147b59fa56a1b3f2008" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" - ], - "65af8c1e162a952cab8e93c834fcf43ce09b508e6c16e512ebb673cd850b0d41" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm" - ], - "5a8d22bbac97332450c06d766ea8f4cac97ebe0c941da9d473a5d422b8bb0667" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" - ], - "36e2e612e708d04785971d6bcfed324d0a0f9ce337ea73680e69dd2603d0327a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf" - ], - "6d6b87797a48bb5ff09b505d26ac4eff2e3d54ead648fae8bc0d6e506c9aa8d2" - ], - [ - "file", - [ - "sections/conclusion.tex" - ], - "4fc6bbde75727e25ba79d08653e620c87e6bf053c097c7c0b79d0bc58a39af92" - ], - [ - "file", - [ - "sections/attacker_models.tex" - ], - "18034a6e640288bc3ff1e8bd8a51202d3c8002a1b0e5c04f13224392bc940ff6" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" - ], - "2bf2e4f0efe99c33bfd757e1dee1b4267742f8af3e449d6bdb4342c2917b1bce" - ], - [ - "file", - [ - "sections/case_studies.tex" - ], - "29f222428ba567b15cd188b62c948430cd87ec7bffd352b2f97d8b664855ed46" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" - ], - "137eb9f38f661c66309614066a7b5d63d8969d33aba0c9efee9f844a4ce65b50" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmri8a.pfb" - ], - "f9a0c528b42d2ded2884e31cf1d225b81739ca9b17a0e7cb362fad404ce0aedf" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" - ], - "106afa9172f0c00e58b9f5cbc72b302a18aaeeaddf50caca145af9cc0b81afd2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/listings.cfg" - ], - "d0dd49d4d3eb37e5fcdc4de4e9add7ea5f150be907ac5c4705b382775e55d62b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/textcomp.sty" - ], - "f50ebba76b974a541b8fc2541643911efaead656aae39c957c58d5b23b51a5eb" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbc7t.vf" - ], - "37a743df9f8e5a736e4d51b17574c1d0b0db36af1ad798ff4a5e0fead9fd653e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" - ], - "a48198d87f9b9f90d652b8f41d41dbb3978a44669225c89394a4620031ace6a2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/comment/comment.sty" - ], - "27b76432648ff0c428cc0f435d9caa015880fb7d7fc02fbce45f284451a7e7ab" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" - ], - "10db2171b6e267720299c10b9e84f92c5cf069941dbfe3760e198304e49d5324" - ], - [ - "file", - [ - "IEEEtran.cls" - ], - "c972aca108fda004c3514d63658e02816da2e54d9a1451e870b9bd970e003f55" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" - ], - "fdcede8794018df5f2b58f0905fb20a2b418ed8f67b73ee12445855dfbe5b1be" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" - ], - "f69355f4b0a8b650296fe2fd9471783a6940e6525efd5d7d306b5477daef494d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" - ], - "da22219a49c094141141bb29034c438d1ccba8a9afe6cdd5d15b96c15bf56901" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb" - ], - "b37e8671820b0753c6e233eaa3230c6ab9cff04e6c4baee312d60ae261e5aba1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/cite/cite.sty" - ], - "56979b7c69ae65bdb52de5bcd540625cae6dd70119e767db438a4826991910ea" - ], - [ - "file", - [ - "sections/design.tex" - ], - "841358a8990effdd590e1ee0bb5ba2520e3afa19fbc36ea3097bb313f45a6125" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" - ], - "70838b061b56569dd3ed9f339b1bdd1c78ba185de49f27ceae331c97f48b5986" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb" - ], - "35048e58e53f4aa53025069c1d0de33a16d8d4c111bfa329669e6456ec0a967b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm" - ], - "466613f08ae6423521bd9aa1d0be9dc69f610e223f171f6f07b91844626d4bd1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd" - ], - "9c5beb0652c0f26a78269825fea061968682671d11e2a16513d1a602bf248400" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" - ], - "6d66da8f16088689c2f4995b4e920703cc94faade57911ed7aabd32b04367824" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf" - ], - "0df4bc46c777ddc91e944bdfd27e345fe906a914fd1288189ec26419fc65db50" - ], [ "file", [ @@ -804,9 +181,366 @@ [ "file", [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf" + "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" ], - "0011bdb7dbf11831fa73c87e70751c267754f1ebbe50a9cedf409ea0c22db41a" + "36e2e612e708d04785971d6bcfed324d0a0f9ce337ea73680e69dd2603d0327a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/times/utmri8a.pfb" + ], + "f9a0c528b42d2ded2884e31cf1d225b81739ca9b17a0e7cb362fad404ce0aedf" + ], + [ + "file", + [ + "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" + ], + "94ac62800308131e37213df5d5edcbddc246082321af52a58bc5f8881a23c9dd" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/times/utmb8a.pfb" + ], + "7f3f19f61452892a29d06af2836331ca78aed29390914d294f7a440d35927142" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" + ], + "65af8c1e162a952cab8e93c834fcf43ce09b508e6c16e512ebb673cd850b0d41" + ], + [ + "file", + [ + "main.bbl" + ], + "b6db5b7d60093a0a051cc600f23cb458e7a9b4e2fc1fd56a6615553a53f27a71" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr8c.vf" + ], + "3cfbd9498aea0ebb257fe0abb6c6b763680101745366fd1fb5b2ef9d8fa7b729" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" + ], + "da22219a49c094141141bb29034c438d1ccba8a9afe6cdd5d15b96c15bf56901" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty" + ], + "75d13c840d91c5d871782212edfe26358e26b7408a35f4b486bbaa2c7a1fe6ab" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf" + ], + "72d719be55d369638225c639af2e631a10ecfb662b59edd37d445c954e5dfb79" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/tools/xspace.sty" + ], + "bc3bfd65d4b52e78822cb9f3561c6663c64465f64dc2475e56542dbc213a3e66" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/tools/array.sty" + ], + "dc2b9a0057f8455ac0f74960618e7af3de9bf08da0e7078ef8dd0570a2924427" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/textcomp.sty" + ], + "f50ebba76b974a541b8fc2541643911efaead656aae39c957c58d5b23b51a5eb" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" + ], + "280bb0113e2586156cd9414aab226588bb0a4d0fdf71fe6c6475af70d9b61eef" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" + ], + "c2a4f1d01abaf7ad739f1af03238ebb6ab35a7bbfbd5d713acceddda4fb043d5" + ], + [ + "file", + [ + "main.tex" + ], + "cb7d09947734eeb88cd3bbeb8be37a1fd4ed5f814b261374514ecb0790407e20" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" + ], + "70838b061b56569dd3ed9f339b1bdd1c78ba185de49f27ceae331c97f48b5986" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd" + ], + "e20f21f6ed631cbe3a627d5da5fef82367732a7d51207f8df5ee7e9c77ee342e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" + ], + "5dd3675b88c7b61d3703e6bf35ed75623acc6b163dff7b1477b485cee8ad71cb" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm" + ], + "1388f235f7f54d28db4af569ee32821869aefbef29ee622c7e30b2e41dbda87c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" + ], + "10db2171b6e267720299c10b9e84f92c5cf069941dbfe3760e198304e49d5324" + ], + [ + "file", + [ + "sections/case_studies.tex" + ], + "19423460c5aa0422feff46a531b2184351c6efa015bca3c89e86604edba852d6" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" + ], + "4c5ae243ac0aa254e7ec7f0602cc2a4351e5011ff0cb6dc150a5f6de19585de6" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbc7t.vf" + ], + "37a743df9f8e5a736e4d51b17574c1d0b0db36af1ad798ff4a5e0fead9fd653e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" + ], + "c800d1dfd533040219fcc06d52e0e00c2a20fb9b0039fe9f58ccec53fd003a9f" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" + ], + "a48198d87f9b9f90d652b8f41d41dbb3978a44669225c89394a4620031ace6a2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb" + ], + "8816758f882b18a97a2fcdd4e496b881cd7726b8612648cbfb1c9de2d9853029" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/algorithms/algorithmic.sty" + ], + "7fe47ed7f8222c56452bd73bf0682e72023ece06d59207653a02e080a341118d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" + ], + "fdcede8794018df5f2b58f0905fb20a2b418ed8f67b73ee12445855dfbe5b1be" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" + ], + "8434ad08617159240fd19b4fcae8bf79a6137af413f3798c8a750e9839f8902e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm" + ], + "f9649f1a4d564693fd52835b7bd9def8a0d0a8ad8abd1ed3c7f8246949e15e26" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb" + ], + "5b293a581ddb937b02559c3ce1a60184cc434295533204a2cd3864a6ad8a1f53" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty" + ], + "85aa24029cbac78aabf0c57fe4ec95c58703dac2fc845490157cf1f5a6634a25" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd" + ], + "58fe4bfa8fe5ed99bc3e28230d07e7ce32e89b338dc247d2934f0bb32bf516b8" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/listings.cfg" + ], + "d0dd49d4d3eb37e5fcdc4de4e9add7ea5f150be907ac5c4705b382775e55d62b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/web2c/texmf.cnf" + ], + "ddd2722ee024d5f4c13123562e7a220c5a66ad0230fa32afc8b365b810a80251" + ], + [ + "file", + [ + "sections/introduction.tex" + ], + "563e81379a901e2409e51e34b7fd4f913f755dd3409014423f87a2bd4b4939df" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" + ], + "6d66da8f16088689c2f4995b4e920703cc94faade57911ed7aabd32b04367824" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" + ], + "f69355f4b0a8b650296fe2fd9471783a6940e6525efd5d7d306b5477daef494d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbc7t.tfm" + ], + "7b937cad233ff7c8d6bee5988c0a51ba0212e852ba2617059620d2cf98f6e630" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm" + ], + "013a6ef55bb5ee9768300df0f4a4d67660fc82b03085b1af358e053da1e21ca7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx" + ], + "0804bb6e9e1eeeaeda861f29206d308194ea7cc846e38abaa344cdefa1d408cd" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd" + ], + "48355e960333be747dd7b4500e76fde7c3ef0b1fa9c74ec0f1438af0d3a661a4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" + ], + "d9f5f519ec718e9dbccb8527c1f5d3b4a008dfb946377f97f71611b385d3d010" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" + ], + "ab6ecb4aaba9ca1b4259b1d1f64309a785bbaeb09183fd79a066b7764a448a28" + ], + [ + "file", + [ + "assets/diagram-anon.png" + ], + "edcd08d90964e97d7ef9116c109606dbecfb9fffd9fa8b787c756e45ba7b10af" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb" + ], + "f396f52d9ed3498c15aa7e694baef74c0a11119624fcd6db66dad4ac76972cb0" + ], + [ + "file", + [ + "main.aux" + ], + "a29640973ce07592c1b441a64b525854cd09dfa85e5646bd88b794640bfef2bf" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty" + ], + "7ec0d3442c273319ee517745cece539182acf7279ab9596d3e56eb32689e7c53" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" + ], + "9e0909a297a3097e50960158d324006ddd5302db665400fa1fdf966df14e1a17" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8c.tfm" + ], + "03c370d1baa81f70c0ff70f6e574953151e8211bfd76e8ad9965e0bfd3fdd263" + ], + [ + "file", + [ + "IEEEtran.cls" + ], + "c972aca108fda004c3514d63658e02816da2e54d9a1451e870b9bd970e003f55" ], [ "file", @@ -818,30 +552,261 @@ [ "file", [ - "./main.fls" + "/usr/share/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb" ], - "efd37775ec247fa19b34875bcbc5e7604beaeec54ff4061bf5c509ed879d35b2" + "21d029fda4757908be702f42811199eac11ce5886c0acfddd574df4545b1e7a9" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def" + ], + "6b0d3c7739f5344c3356bb0cef98bc17d8710e1e060914f42390d6503141c249" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" + ], + "2ef9d47303d25f3c9553a43255dae8c39160e130ad5ed34444e39dee03d796a1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" + ], + "2bf2e4f0efe99c33bfd757e1dee1b4267742f8af3e449d6bdb4342c2917b1bce" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/ifthen.sty" + ], + "b8cbd3c3ed9f0f58e1103c91e29ab8de344a19f4cc7d27fde8d14d962dcf0495" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf" + ], + "6d6b87797a48bb5ff09b505d26ac4eff2e3d54ead648fae8bc0d6e506c9aa8d2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf" + ], + "162e1f6e89ce4ceb9c99f532ebdd6da6237088663fad290867d907ab6145a327" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" + ], + "1232e78c8af6c4bc16c024fe33b9c4c3322679ad6887be22bc013ddb8d254ed9" + ], + [ + "file", + [ + "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" + ], + "f079d814ec1276acba15801beb39911eb18d0b6d556ae7cf884be6fd3d83f2cf" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc" + ], + "66dad15c944f0d457a095fd6e9dba30059a4882b1ffb1f4bf62850ce52c8f136" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm" + ], + "5a8d22bbac97332450c06d766ea8f4cac97ebe0c941da9d473a5d422b8bb0667" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/listings.sty" + ], + "30538b8ba51ea04fc7b48ee99f7a37b657b1e225cba41d3dbffe2bfa2af5eb57" + ], + [ + "file", + [ + "sections/examples.tex" + ], + "eda3be341eb1b9e823395b8b494d4ec6281ee520749c220b52e871ed3ae772fb" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" + ], + "e9fe8e56401707f18a3d18716dadfd1dab999d02118c82af05691599cedec445" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" + ], + "84c37f07ca360c41ad0a0fba7387d279d72457c69bdae03653208c683d8de6bc" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/comment/comment.sty" + ], + "27b76432648ff0c428cc0f435d9caa015880fb7d7fc02fbce45f284451a7e7ab" + ], + [ + "file", + [ + "sections/conclusion.tex" + ], + "4fc6bbde75727e25ba79d08653e620c87e6bf053c097c7c0b79d0bc58a39af92" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm" + ], + "8c5b2e8eb57987c20fac30f8f647133e2dcfea899a08f11971a51a8740267fd4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb" + ], + "9fe20cb9ef24a0f4c74d38a65d4eee5cff3165f3b8600407ceba396aeb2b7617" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd" + ], + "9c5beb0652c0f26a78269825fea061968682671d11e2a16513d1a602bf248400" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" + ], + "e3661061e8aa474d6de5ffa916edceb0e3d8b998862018c147f0357fce00bcd7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" + ], + "d9693993efdc7d0b9ab3df777589995d43e24eeae95f12b6a230a19caadeaa42" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm" + ], + "9d0c9a870b82d754695e37b6fb24dc07d51a685fb0dad1d30fa69dfb209ac224" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf" + ], + "0df4bc46c777ddc91e944bdfd27e345fe906a914fd1288189ec26419fc65db50" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstlang3.sty" + ], + "637dbaa3bc149ada8edc2b471164a63e70457e105e325b4c00cd2b499ca70067" + ], + [ + "file", + [ + "sections/abstract.tex" + ], + "56ed68e932967546fef0a9c476b8008e7e0b3619c678368913572f82d8f168b4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" + ], + "137eb9f38f661c66309614066a7b5d63d8969d33aba0c9efee9f844a4ce65b50" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" + ], + "106afa9172f0c00e58b9f5cbc72b302a18aaeeaddf50caca145af9cc0b81afd2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" + ], + "3b54bde5cb0e0bd071eea7bc702ed3a1a284f786779ef8e75b06eba4104bb9f2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" + ], + "a3529ccdadc8248b4c5d7c34ceea53bdc1509b54f18a192ad51b924bd297d8df" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb" + ], + "b37e8671820b0753c6e233eaa3230c6ab9cff04e6c4baee312d60ae261e5aba1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" + ], + "feb91e48789a21e4acced98e952c77a2e2cf4a77e01bf147b59fa56a1b3f2008" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm" + ], + "466613f08ae6423521bd9aa1d0be9dc69f610e223f171f6f07b91844626d4bd1" ], [ "file", [ "main.pdf" ], - "9ed9b62d9edd68c5f09dc62cb20793c2ce9c1a97f259c8652b16ac0ff5fddb84" + "b20435b84e31aaf6f2afa385fb4c3d461a01937e9106cf5e9691d7498712c726" ], [ "file", [ "main.log" ], - "fb4412e89e3985e32ab737cc3babb3724f76b2d193079c1508aba694b7571d3a" + "b371c149233db22b10ac5f836387494dfe1c3fc98c5b3122eb49c0fa205761f1" + ], + [ + "file", + [ + "./main.fls" + ], + "dd96e431a6467b3cf577d858031fcfc83b6452e87d8cc2ebc9cc33faab7f6d19" ] ], "output_files": { - "main.aux": "d54b798d9c81ab92c8b713b8f9a3894262465c78056d0c3ae97e2d8ceb589f41", - "./main.fls": "efd37775ec247fa19b34875bcbc5e7604beaeec54ff4061bf5c509ed879d35b2", - "main.pdf": "9ed9b62d9edd68c5f09dc62cb20793c2ce9c1a97f259c8652b16ac0ff5fddb84", - "main.log": "fb4412e89e3985e32ab737cc3babb3724f76b2d193079c1508aba694b7571d3a" + "main.aux": "a29640973ce07592c1b441a64b525854cd09dfa85e5646bd88b794640bfef2bf", + "main.pdf": "b20435b84e31aaf6f2afa385fb4c3d461a01937e9106cf5e9691d7498712c726", + "main.log": "b371c149233db22b10ac5f836387494dfe1c3fc98c5b3122eb49c0fa205761f1", + "./main.fls": "dd96e431a6467b3cf577d858031fcfc83b6452e87d8cc2ebc9cc33faab7f6d19" }, "extra": { "jobname": "./main", @@ -911,7 +876,7 @@ [ "./main.aux" ], - "b46663bdd9168822dac3672251620a3082cc61447d12d01392991d7423c637e5" + "8217ce0ac56a472f8e9aed1bd3b66d72997ab0d1b04c4fc72eb38c8fd4f47231" ], [ "file", @@ -925,30 +890,30 @@ [ "main.bib" ], - "fce02cac05e45d316e6716c9023ee97700f88b665342f4a482382ccbee9e7f3a" + "720997fcc778923801af3548ea5e0515bad8d13dc13f5cfa54c9738198969fab" ], [ "file", [ "./main.bbl" ], - "dbcbe88ae786e99825ddd3729db8413722bd58d87fade93f019e5be0f75cee26" + "b6db5b7d60093a0a051cc600f23cb458e7a9b4e2fc1fd56a6615553a53f27a71" ], [ "file", [ "./main.blg" ], - "7756a5475c2a4f7095efe720fda08a56854daa09bea03041abe4ef1b57444226" + "9688346375a396e61540431ae5bb049c6ee6211c3b4449ad38c0e68c441f7ec8" ] ], "output_files": { - "./main.bbl": "dbcbe88ae786e99825ddd3729db8413722bd58d87fade93f019e5be0f75cee26", - "./main.blg": "7756a5475c2a4f7095efe720fda08a56854daa09bea03041abe4ef1b57444226" + "./main.bbl": "b6db5b7d60093a0a051cc600f23cb458e7a9b4e2fc1fd56a6615553a53f27a71", + "./main.blg": "9688346375a396e61540431ae5bb049c6ee6211c3b4449ad38c0e68c441f7ec8" }, "extra": { "outbase": "./main", - "status": 2, + "status": 0, "inputs": [ "/usr/share/texmf-dist/bibtex/bst/ieeetran/IEEEtran.bst", "main.bib" @@ -957,11 +922,11 @@ } }, "clean": { - "main.log": "fb4412e89e3985e32ab737cc3babb3724f76b2d193079c1508aba694b7571d3a", - "main.pdf": "9ed9b62d9edd68c5f09dc62cb20793c2ce9c1a97f259c8652b16ac0ff5fddb84", - "main.aux": "d54b798d9c81ab92c8b713b8f9a3894262465c78056d0c3ae97e2d8ceb589f41", - "./main.fls": "efd37775ec247fa19b34875bcbc5e7604beaeec54ff4061bf5c509ed879d35b2", - "./main.bbl": "dbcbe88ae786e99825ddd3729db8413722bd58d87fade93f019e5be0f75cee26", - "./main.blg": "7756a5475c2a4f7095efe720fda08a56854daa09bea03041abe4ef1b57444226" + "main.log": "b371c149233db22b10ac5f836387494dfe1c3fc98c5b3122eb49c0fa205761f1", + "main.pdf": "b20435b84e31aaf6f2afa385fb4c3d461a01937e9106cf5e9691d7498712c726", + "main.aux": "a29640973ce07592c1b441a64b525854cd09dfa85e5646bd88b794640bfef2bf", + "./main.fls": "dd96e431a6467b3cf577d858031fcfc83b6452e87d8cc2ebc9cc33faab7f6d19", + "./main.bbl": "b6db5b7d60093a0a051cc600f23cb458e7a9b4e2fc1fd56a6615553a53f27a71", + "./main.blg": "9688346375a396e61540431ae5bb049c6ee6211c3b4449ad38c0e68c441f7ec8" } } \ No newline at end of file diff --git a/main.aux b/main.aux index b986afa..e74eb64 100644 --- a/main.aux +++ b/main.aux @@ -3,49 +3,50 @@ \citation{Basin_Cremers_Dreier_Sasse_2022,Blanchet_Smyth_Cheval_Sylvestre,Kobeissi_Nicolas_Tiwari,Blanchet_Jacomme,Basin_Linker_Sasse} \citation{Hippel2022_anonym} \@writefile{toc}{\contentsline {section}{\numberline {I}Introduction}{1}{}\protected@file@percent } -\newlabel{sec:introduction}{{I}{1}} +\newlabel{sec:introduction}{{I}{1}{}{}{}} \@writefile{toc}{\contentsline {section}{\numberline {II}\textsc {PANDA}\xspace Architecture}{1}{}\protected@file@percent } -\newlabel{sec:design}{{II}{1}} +\newlabel{sec:design}{{II}{1}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-A}}High-level design}{1}{}\protected@file@percent } -\newlabel{sub:High-level design}{{\mbox {II-A}}{1}} +\newlabel{sub:High-level design}{{\mbox {II-A}}{1}{}{}{}} \@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A high-level overview of the \textsc {PANDA}\xspace workflow}}{1}{}\protected@file@percent } -\newlabel{fig:korg_workflow}{{1}{1}} +\newlabel{fig:korg_workflow}{{1}{1}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-B}}Supported Attacker Models}{1}{}\protected@file@percent } -\newlabel{sub:Supported Attacker Models}{{\mbox {II-B}}{1}} -\newlabel{lst:korg_drop}{{1}{2}} +\newlabel{sub:Supported Attacker Models}{{\mbox {II-B}}{1}{}{}{}} +\newlabel{lst:korg_drop}{{1}{2}{}{}{}} \@writefile{lol}{\contentsline {lstlisting}{\numberline {1}Example dropping attacker model gadget with drop limit of 3, targetting channel "cn"}{2}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-C}}\textsc {PANDA}\xspace Implementation}{2}{}\protected@file@percent } -\newlabel{sub:impl}{{\mbox {II-C}}{2}} -\newlabel{lst:spin-model}{{6}{2}} +\newlabel{sub:impl}{{\mbox {II-C}}{2}{}{}{}} +\newlabel{lst:spin-model}{{6}{2}{}{}{}} \@writefile{lol}{\contentsline {lstlisting}{\numberline {6}Example \textsc {Promela}\xspace model of peers communicating over a channel. \texttt {!} indicates sending a message onto a channel, \texttt {?} indicates receiving a message from a channel.}{2}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-D}}Usage}{2}{}\protected@file@percent } -\newlabel{sub:Usage}{{\mbox {II-D}}{2}} -\newlabel{lst:korg_replay}{{2}{3}} +\newlabel{sub:Usage}{{\mbox {II-D}}{2}{}{}{}} +\newlabel{lst:korg_replay}{{2}{3}{}{}{}} \@writefile{lol}{\contentsline {lstlisting}{\numberline {2}Example replay attacker model gadget with the selected replay limit as 3, targetting channel "cn"}{3}{}\protected@file@percent } -\newlabel{lst:korg_reordering}{{3}{3}} +\newlabel{lst:korg_reordering}{{3}{3}{}{}{}} \@writefile{lol}{\contentsline {lstlisting}{\numberline {3}Example reordering attacker model gadget with the selected replay limit as 3, targetting channel "cn"}{3}{}\protected@file@percent } -\newlabel{lst:abp}{{7}{3}} +\newlabel{lst:abp}{{7}{3}{}{}{}} \@writefile{lol}{\contentsline {lstlisting}{\numberline {7}Example (simplified) \textsc {Promela}\xspace model of the alternating bit protocol.}{3}{}\protected@file@percent } \citation{Cluzel_Georgiou_Moy_Zeller_2021,Smith_1997,Pacheco2022} \citation{Pacheco2022} \citation{Pacheco2022} \citation{Woos_Wilcox_Anton_Tatlock_Ernst_Anderson_2016,Wilcox_Woos_Panchekha_Tatlock_Wang_Ernst_Anderson,Ongaro} \citation{Ongaro} -\newlabel{lst:io-file}{{4}{4}} +\newlabel{lst:io-file}{{4}{4}{}{}{}} \@writefile{lol}{\contentsline {lstlisting}{\numberline {4}Example I/O file targetting channel "cn"}{4}{}\protected@file@percent } -\newlabel{lst:io-file-synth}{{5}{4}} +\newlabel{lst:io-file-synth}{{5}{4}{}{}{}} \@writefile{lol}{\contentsline {lstlisting}{\numberline {5}Example gadget synthesized from an I/O file targetting the channel "cn"}{4}{}\protected@file@percent } -\newlabel{lst:korg-shell}{{\mbox {II-D}}{4}} +\newlabel{lst:korg-shell}{{\mbox {II-D}}{4}{}{}{}} \@writefile{toc}{\contentsline {section}{\numberline {III}Case Studies}{4}{}\protected@file@percent } -\newlabel{sec:case_studies}{{III}{4}} +\newlabel{sec:case_studies}{{III}{4}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-A}}TCP}{4}{}\protected@file@percent } -\newlabel{sub:TCP}{{\mbox {III-A}}{4}} -\newlabel{res:tcp-table}{{\mbox {III-A}}{4}} -\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Automatically discovered attacks against the hand-written TCP model from Pacheco et al. and our own, for $\phi _1$ through $\phi _4$. "x" indicates an attack was discovered, and no "x" indicates \textsc {PANDA}\xspace proved the absence of an attack via an exhaustive search. Full attack traces are available in the artifact.}}{4}{}\protected@file@percent } +\newlabel{sub:TCP}{{\mbox {III-A}}{4}{}{}{}} +\newlabel{res:tcp-table}{{\mbox {III-A}}{4}{}{}{}} +\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Automatically discovered attacks against our TCP model for $\phi _1$ through $\phi _4$. "x" indicates an attack was discovered, and no "x" indicates \textsc {PANDA}\xspace proved the absence of an attack via an exhaustive search. These experiments were ran on a laptop with an eighth generation i7 and 16gb of memory. Full attack traces are available in the artifact.}}{4}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-B}}Raft}{4}{}\protected@file@percent } -\newlabel{sub:Raft}{{\mbox {III-B}}{4}} +\newlabel{sub:Raft}{{\mbox {III-B}}{4}{}{}{}} \citation{Ongaro} \citation{Woos_Wilcox_Anton_Tatlock_Ernst_Anderson_2016} +\citation{Woos_Wilcox_Anton_Tatlock_Ernst_Anderson_2016} \bibstyle{IEEEtran} \bibdata{main} \bibcite{Lamport_1994}{1} @@ -57,15 +58,15 @@ \bibcite{Blanchet_Jacomme}{7} \bibcite{Basin_Linker_Sasse}{8} \bibcite{Hippel2022_anonym}{9} -\bibcite{Kozen_1977}{10} -\bibcite{Cluzel_Georgiou_Moy_Zeller_2021}{11} -\bibcite{Smith_1997}{12} -\bibcite{Pacheco2022}{13} -\bibcite{Hippel2022}{14} -\bibcite{Woos_Wilcox_Anton_Tatlock_Ernst_Anderson_2016}{15} -\bibcite{Wilcox_Woos_Panchekha_Tatlock_Wang_Ernst_Anderson}{16} -\bibcite{Ongaro}{17} +\bibcite{Cluzel_Georgiou_Moy_Zeller_2021}{10} +\bibcite{Smith_1997}{11} +\bibcite{Pacheco2022}{12} +\bibcite{Woos_Wilcox_Anton_Tatlock_Ernst_Anderson_2016}{13} +\bibcite{Wilcox_Woos_Panchekha_Tatlock_Wang_Ernst_Anderson}{14} +\bibcite{Ongaro}{15} +\newlabel{res:raft-table}{{\mbox {III-B}}{5}{}{}{}} +\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Breakdown of the attacker scenarios assessed with \textsc {PANDA}\xspace against our Raft \textsc {Promela}\xspace model. In all experiments, Raft was set to five peers and the drop/replay limits of the gadgets \textsc {PANDA}\xspace synthesized were set to two. We conducted our experiments on a research computing cluster, allocating 250GB of memory to each verification run. The full models and attacker traces are included in the artifact.}}{5}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {IV}Conclusion}{5}{}\protected@file@percent } -\newlabel{sec:conclusion}{{IV}{5}} +\newlabel{sec:conclusion}{{IV}{5}{}{}{}} \@writefile{toc}{\contentsline {section}{References}{5}{}\protected@file@percent } -\gdef \@abspage@last{5} +\gdef \@abspage@last{6} diff --git a/main.bbl b/main.bbl index f826904..35c1626 100644 --- a/main.bbl +++ b/main.bbl @@ -61,15 +61,6 @@ D.~Basin, F.~Linker, and R.~Sasse, ``\BIBforeignlanguage{en}{A formal analysis \bibitem{Hippel2022_anonym} Anonym, ``Anonymized for blinded submission,'' XXX. -\bibitem{Kozen_1977} -\BIBentryALTinterwordspacing -D.~Kozen, ``\BIBforeignlanguage{en}{Lower bounds for natural proof systems},'' - in \emph{\BIBforeignlanguage{en}{18th Annual Symposium on Foundations of - Computer Science (sfcs 1977)}}.\hskip 1em plus 0.5em minus 0.4em\relax - Providence, RI, USA: IEEE, Sep. 1977, p. 254–266. [Online]. Available: - \url{http://ieeexplore.ieee.org/document/4567949/} -\BIBentrySTDinterwordspacing - \bibitem{Cluzel_Georgiou_Moy_Zeller_2021} \BIBentryALTinterwordspacing G.~Cluzel, K.~Georgiou, Y.~Moy, and C.~Zeller, @@ -99,14 +90,6 @@ M.~L. Pacheco, M.~V. Hippel, B.~Weintraub, D.~Goldwasser, and C.~Nita-Rotaru, \url{https://ieeexplore.ieee.org/document/9833673/} \BIBentrySTDinterwordspacing -\bibitem{Hippel2022} -\BIBentryALTinterwordspacing -M.~von Hippel, C.~Vick, S.~Tripakis, and C.~Nita-Rotaru, ``Automated attacker - synthesis for distributed protocols,'' no. arXiv:2004.01220, Apr. 2022, - arXiv:2004.01220 [cs]. [Online]. Available: - \url{http://arxiv.org/abs/2004.01220} -\BIBentrySTDinterwordspacing - \bibitem{Woos_Wilcox_Anton_Tatlock_Ernst_Anderson_2016} \BIBentryALTinterwordspacing D.~Woos, J.~R. Wilcox, S.~Anton, Z.~Tatlock, M.~D. Ernst, and T.~Anderson, diff --git a/main.blg b/main.blg index 0f81c17..59d8363 100644 --- a/main.blg +++ b/main.blg @@ -1,14 +1,13 @@ -This is BibTeX, Version 0.99d (TeX Live 2023) +This is BibTeX, Version 0.99d (TeX Live 2024/Arch Linux) Capacity: max_strings=200000, hash_size=200000, hash_prime=170003 The top-level auxiliary file: main.aux The style file: IEEEtran.bst -Reallocated singl_function (elt_size=4) to 100 items from 50. -Reallocated singl_function (elt_size=4) to 100 items from 50. -Reallocated singl_function (elt_size=4) to 100 items from 50. -Reallocated wiz_functions (elt_size=4) to 6000 items from 3000. -Reallocated singl_function (elt_size=4) to 100 items from 50. +Reallocated singl_function (elt_size=8) to 100 items from 50. +Reallocated singl_function (elt_size=8) to 100 items from 50. +Reallocated singl_function (elt_size=8) to 100 items from 50. +Reallocated wiz_functions (elt_size=8) to 6000 items from 3000. +Reallocated singl_function (elt_size=8) to 100 items from 50. Database file #1: main.bib -Warning--I didn't find a database entry for "Hippel2022_anoym" -- IEEEtran.bst version 1.14 (2015/08/26) by Michael Shell. -- http://www.michaelshell.org/tex/ieeetran/bibtex/ -- See the "IEEEtran_bst_HOWTO.pdf" manual for usage information. @@ -23,52 +22,51 @@ Warning--empty year in Blanchet_Jacomme Warning--empty journal in Basin_Linker_Sasse Warning--empty year in Basin_Linker_Sasse Warning--empty journal in Hippel2022_anonym -Warning--empty journal in Hippel2022 Warning--empty journal in Wilcox_Woos_Panchekha_Tatlock_Wang_Ernst_Anderson Warning--empty year in Wilcox_Woos_Panchekha_Tatlock_Wang_Ernst_Anderson Warning--empty journal in Ongaro Warning--empty year in Ongaro Done. -You've used 17 entries, +You've used 15 entries, 4087 wiz_defined-function locations, - 934 strings with 10701 characters, -and the built_in function-call counts, 9437 in all, are: -= -- 762 -> -- 211 -< -- 14 -+ -- 100 -- -- 50 -* -- 530 -:= -- 1480 -add.period$ -- 38 -call.type$ -- 17 -change.case$ -- 19 + 915 strings with 10229 characters, +and the built_in function-call counts, 8148 in all, are: += -- 647 +> -- 190 +< -- 12 ++ -- 90 +- -- 45 +* -- 461 +:= -- 1272 +add.period$ -- 33 +call.type$ -- 15 +change.case$ -- 16 chr.to.int$ -- 0 -cite$ -- 33 -duplicate$ -- 816 -empty$ -- 796 -format.name$ -- 61 -if$ -- 2148 +cite$ -- 30 +duplicate$ -- 706 +empty$ -- 685 +format.name$ -- 55 +if$ -- 1848 int.to.chr$ -- 0 -int.to.str$ -- 17 -missing$ -- 152 -newline$ -- 86 -num.names$ -- 17 -pop$ -- 400 +int.to.str$ -- 15 +missing$ -- 132 +newline$ -- 76 +num.names$ -- 15 +pop$ -- 353 preamble$ -- 1 purify$ -- 0 quote$ -- 2 -skip$ -- 715 +skip$ -- 613 stack$ -- 0 -substring$ -- 135 -swap$ -- 565 -text.length$ -- 14 +substring$ -- 113 +swap$ -- 485 +text.length$ -- 12 text.prefix$ -- 0 top$ -- 5 -type$ -- 17 -warning$ -- 16 -while$ -- 24 -width$ -- 19 -write$ -- 177 -(There were 17 warnings) +type$ -- 15 +warning$ -- 15 +while$ -- 21 +width$ -- 17 +write$ -- 153 +(There were 15 warnings) diff --git a/main.fls b/main.fls index 3a6263f..2b1174f 100644 --- a/main.fls +++ b/main.fls @@ -151,18 +151,6 @@ INPUT ./sections/introduction.tex INPUT ./sections/introduction.tex INPUT ./sections/introduction.tex INPUT ./sections/introduction.tex -INPUT ./sections/design.tex -INPUT ./sections/design.tex -INPUT ./sections/design.tex -INPUT ./sections/design.tex -INPUT ./sections/design.tex -INPUT ./assets/diagram3.png -INPUT ./assets/diagram3.png -INPUT ./assets/diagram3.png -INPUT ./assets/diagram3.png -OUTPUT ./main.pdf -INPUT ./assets/diagram3.png -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd @@ -177,31 +165,6 @@ INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm -INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm -INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map -INPUT /usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc -INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf -INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm -INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm -INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm -INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm -INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmbc7t.vf -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm -INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm -INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf -INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf -INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm -INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm @@ -215,16 +178,58 @@ INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm -INPUT /usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd -INPUT /usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd -INPUT /usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm +INPUT ./sections/design.tex +INPUT ./sections/design.tex +INPUT ./sections/design.tex +INPUT ./sections/design.tex +INPUT ./sections/design.tex +INPUT ./assets/diagram-anon.png +INPUT ./assets/diagram-anon.png +INPUT ./assets/diagram-anon.png +INPUT ./assets/diagram-anon.png +OUTPUT ./main.pdf +INPUT ./assets/diagram-anon.png +INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm +INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map +INPUT /usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc +INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf +INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm +INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm +INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmbc7t.vf +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm +INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm +INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm +INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm +INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf +INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm +INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm +INPUT ./sections/examples.tex +INPUT ./sections/examples.tex +INPUT ./sections/examples.tex +INPUT ./sections/examples.tex +INPUT ./sections/examples.tex +INPUT /usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd +INPUT /usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd +INPUT /usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm +INPUT /usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm INPUT /usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm INPUT /usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf @@ -233,21 +238,14 @@ INPUT /usr/share/texmf-dist/tex/latex/psnfss/ts1pcr.fd INPUT /usr/share/texmf-dist/tex/latex/psnfss/ts1pcr.fd INPUT /usr/share/texmf-dist/tex/latex/psnfss/ts1pcr.fd INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8c.tfm -INPUT ./sections/attacker_models.tex -INPUT ./sections/attacker_models.tex -INPUT ./sections/attacker_models.tex -INPUT ./sections/attacker_models.tex -INPUT ./sections/attacker_models.tex -INPUT /usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm +INPUT ./sections/case_studies.tex +INPUT ./sections/case_studies.tex +INPUT ./sections/case_studies.tex +INPUT ./sections/case_studies.tex +INPUT ./sections/case_studies.tex +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm INPUT /usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr8c.vf -INPUT ./sections/case_studies.tex -INPUT ./sections/case_studies.tex -INPUT ./sections/case_studies.tex -INPUT ./sections/case_studies.tex -INPUT ./sections/case_studies.tex -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm INPUT ./sections/conclusion.tex INPUT ./sections/conclusion.tex INPUT ./sections/conclusion.tex @@ -258,25 +256,14 @@ INPUT ./main.bbl INPUT ./main.bbl INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm -INPUT ./sections/appendix.tex -INPUT ./sections/appendix.tex -INPUT ./sections/appendix.tex -INPUT ./sections/appendix.tex -INPUT ./sections/appendix.tex -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm INPUT ./main.aux -INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb INPUT /usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb INPUT /usr/share/texmf-dist/fonts/type1/urw/times/utmb8a.pfb INPUT /usr/share/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb diff --git a/main.log b/main.log index b276e49..2877ee6 100644 --- a/main.log +++ b/main.log @@ -1,25 +1,25 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023) (preloaded format=pdflatex 2023.12.22) 28 NOV 2024 14:52 +This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024/Arch Linux) (preloaded format=pdflatex 2024.7.2) 29 NOV 2024 05:26 entering extended mode restricted \write18 enabled. - file:line:error style messages enabled. %&-line parsing enabled. **main.tex (./main.tex -LaTeX2e <2022-11-01> patch level 1 -L3 programming layer <2023-02-22> (./IEEEtran.cls +LaTeX2e <2023-11-01> patch level 1 +L3 programming layer <2024-02-20> +(./IEEEtran.cls Document Class: IEEEtran 2015/08/26 V1.8b by Michael Shell -- See the "IEEEtran_HOWTO" manual for usage information. -- http://www.michaelshell.org/tex/ieeetran/ \@IEEEtrantmpdimenA=\dimen140 \@IEEEtrantmpdimenB=\dimen141 \@IEEEtrantmpdimenC=\dimen142 -\@IEEEtrantmpcountA=\count185 -\@IEEEtrantmpcountB=\count186 -\@IEEEtrantmpcountC=\count187 -\@IEEEtrantmptoksA=\toks16 +\@IEEEtrantmpcountA=\count188 +\@IEEEtrantmpcountB=\count189 +\@IEEEtrantmpcountC=\count190 +\@IEEEtrantmptoksA=\toks17 LaTeX Font Info: Trying to load font information for OT1+ptm on input line 5 03. -(/usr/local/texlive/2023/texmf-dist/tex/latex/psnfss/ot1ptm.fd +(/usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. ) -- Using 8.5in x 11in (letter) paper. @@ -91,63 +91,63 @@ LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <24> not available \IEEEiednormlabelsep=\dimen156 \IEEEiedmathlabelsep=\dimen157 \IEEEiedtopsep=\skip48 -\c@section=\count188 -\c@subsection=\count189 -\c@subsubsection=\count190 -\c@paragraph=\count191 -\c@IEEEsubequation=\count192 +\c@section=\count191 +\c@subsection=\count192 +\c@subsubsection=\count193 +\c@paragraph=\count194 +\c@IEEEsubequation=\count195 \abovecaptionskip=\skip49 \belowcaptionskip=\skip50 -\c@figure=\count193 -\c@table=\count194 -\@IEEEeqnnumcols=\count195 -\@IEEEeqncolcnt=\count196 -\@IEEEsubeqnnumrollback=\count197 +\c@figure=\count196 +\c@table=\count197 +\@IEEEeqnnumcols=\count198 +\@IEEEeqncolcnt=\count199 +\@IEEEsubeqnnumrollback=\count266 \@IEEEquantizeheightA=\dimen158 \@IEEEquantizeheightB=\dimen159 \@IEEEquantizeheightC=\dimen160 \@IEEEquantizeprevdepth=\dimen161 -\@IEEEquantizemultiple=\count198 +\@IEEEquantizemultiple=\count267 \@IEEEquantizeboxA=\box51 \@IEEEtmpitemindent=\dimen162 \IEEEPARstartletwidth=\dimen163 -\c@IEEEbiography=\count199 +\c@IEEEbiography=\count268 \@IEEEtranrubishbin=\box52 ) ** ATTENTION: Overriding command lockouts (line 2). -(/usr/local/texlive/2023/texmf-dist/tex/latex/cite/cite.sty +(/usr/share/texmf-dist/tex/latex/cite/cite.sty LaTeX Info: Redefining \cite on input line 302. LaTeX Info: Redefining \nocite on input line 332. Package: cite 2015/02/27 v 5.5 ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2022/04/08 v2.17n AMS math features +(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty +Package: amsmath 2023/05/13 v2.17o AMS math features \@mathmargin=\skip51 For additional information on amsmath, use the `?' option. -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsmath/amstext.sty +(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2021/08/26 v2.01 AMS text -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsmath/amsgen.sty +(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions -\@emptytoks=\toks17 +\@emptytoks=\toks18 \ex@=\dimen164 )) -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsmath/amsbsy.sty +(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen165 ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsmath/amsopn.sty +(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2022/04/08 v2.04 operator names ) -\inf@bad=\count266 +\inf@bad=\count269 LaTeX Info: Redefining \frac on input line 234. -\uproot@=\count267 -\leftroot@=\count268 +\uproot@=\count270 +\leftroot@=\count271 LaTeX Info: Redefining \overline on input line 399. LaTeX Info: Redefining \colon on input line 410. -\classnum@=\count269 -\DOTSCASE@=\count270 +\classnum@=\count272 +\DOTSCASE@=\count273 LaTeX Info: Redefining \ldots on input line 496. LaTeX Info: Redefining \dots on input line 499. LaTeX Info: Redefining \cdots on input line 620. @@ -160,38 +160,38 @@ LaTeX Info: Redefining \Bigg on input line 725. \big@size=\dimen166 LaTeX Font Info: Redeclaring font encoding OML on input line 743. LaTeX Font Info: Redeclaring font encoding OMS on input line 744. -\macc@depth=\count271 +\macc@depth=\count274 LaTeX Info: Redefining \bmod on input line 905. LaTeX Info: Redefining \pmod on input line 910. LaTeX Info: Redefining \smash on input line 940. LaTeX Info: Redefining \relbar on input line 970. LaTeX Info: Redefining \Relbar on input line 971. -\c@MaxMatrixCols=\count272 +\c@MaxMatrixCols=\count275 \dotsspace@=\muskip16 -\c@parentequation=\count273 -\dspbrk@lvl=\count274 -\tag@help=\toks18 -\row@=\count275 -\column@=\count276 -\maxfields@=\count277 -\andhelp@=\toks19 +\c@parentequation=\count276 +\dspbrk@lvl=\count277 +\tag@help=\toks19 +\row@=\count278 +\column@=\count279 +\maxfields@=\count280 +\andhelp@=\toks20 \eqnshift@=\dimen167 \alignsep@=\dimen168 \tagshift@=\dimen169 \tagwidth@=\dimen170 \totwidth@=\dimen171 \lineht@=\dimen172 -\@envbody=\toks20 +\@envbody=\toks21 \multlinegap=\skip52 \multlinetaggap=\skip53 -\mathdisplay@stack=\toks21 +\mathdisplay@stack=\toks22 LaTeX Info: Redefining \[ on input line 2953. LaTeX Info: Redefining \] on input line 2954. ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsfonts/amssymb.sty +(/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsfonts/amsfonts.sty +(/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 @@ -199,141 +199,143 @@ LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 106. )) -(/usr/local/texlive/2023/texmf-dist/tex/latex/algorithms/algorithmic.sty +(/usr/share/texmf-dist/tex/latex/algorithms/algorithmic.sty Package: algorithmic 2009/08/24 v0.1 Document Style `algorithmic' -(/usr/local/texlive/2023/texmf-dist/tex/latex/base/ifthen.sty +(/usr/share/texmf-dist/tex/latex/base/ifthen.sty Package: ifthen 2022/04/13 v1.1d Standard LaTeX ifthen package (DPC) ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics/keyval.sty +(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2022/05/29 v1.15 key=value parser (DPC) -\KV@toks@=\toks22 +\KV@toks@=\toks23 ) -\c@ALC@unique=\count278 -\c@ALC@line=\count279 -\c@ALC@rem=\count280 -\c@ALC@depth=\count281 +\c@ALC@unique=\count281 +\c@ALC@line=\count282 +\c@ALC@rem=\count283 +\c@ALC@depth=\count284 \ALC@tlm=\skip54 \algorithmicindent=\skip55 ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics/graphicx.sty +(/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR) -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics/graphics.sty +(/usr/share/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2022/03/10 v1.4e Standard LaTeX Graphics (DPC,SPQR) -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics/trig.sty +(/usr/share/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2021/08/11 v1.11 sin cos tan (DPC) ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics-cfg/graphics.cfg +(/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration ) Package graphics Info: Driver file: pdftex.def on input line 107. -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics-def/pdftex.def +(/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def File: pdftex.def 2022/09/22 v1.2b Graphics/color driver for pdftex )) \Gin@req@height=\dimen173 \Gin@req@width=\dimen174 ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/base/textcomp.sty +(/usr/share/texmf-dist/tex/latex/base/textcomp.sty Package: textcomp 2020/02/02 v2.0n Standard LaTeX package ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/xcolor/xcolor.sty -Package: xcolor 2022/06/12 v2.14 LaTeX color extensions (UK) +(/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty +Package: xcolor 2023/11/15 v3.01 LaTeX color extensions (UK) -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics-cfg/color.cfg +(/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg File: color.cfg 2016/01/02 v1.6 sample color configuration ) -Package xcolor Info: Driver file: pdftex.def on input line 227. +Package xcolor Info: Driver file: pdftex.def on input line 274. -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics/mathcolor.ltx) -Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1353. -Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1357. -Package xcolor Info: Model `RGB' extended on input line 1369. -Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1371. -Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1372. -Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1373. -Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1374. -Package xcolor Info: Model `Gray' substituted by `gray' on input line 1375. -Package xcolor Info: Model `wave' substituted by `hsb' on input line 1376. +(/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx) +Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1350. +Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1354. +Package xcolor Info: Model `RGB' extended on input line 1366. +Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1368. +Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1369. +Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1370. +Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1371. +Package xcolor Info: Model `Gray' substituted by `gray' on input line 1372. +Package xcolor Info: Model `wave' substituted by `hsb' on input line 1373. ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/amscls/amsthm.sty +(/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty Package: amsthm 2020/05/29 v2.20.6 -\thm@style=\toks23 -\thm@bodyfont=\toks24 -\thm@headfont=\toks25 -\thm@notefont=\toks26 -\thm@headpunct=\toks27 +\thm@style=\toks24 +\thm@bodyfont=\toks25 +\thm@headfont=\toks26 +\thm@notefont=\toks27 +\thm@headpunct=\toks28 \thm@preskip=\skip56 \thm@postskip=\skip57 \thm@headsep=\skip58 -\dth@everypar=\toks28 +\dth@everypar=\toks29 ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/tools/xspace.sty +(/usr/share/texmf-dist/tex/latex/tools/xspace.sty Package: xspace 2014/10/28 v1.13 Space after command names (DPC,MH) ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/tools/array.sty -Package: array 2022/09/04 v2.5g Tabular extension package (FMi) +(/usr/share/texmf-dist/tex/latex/tools/array.sty +Package: array 2023/10/16 v2.5g Tabular extension package (FMi) \col@sep=\dimen175 \ar@mcellbox=\box55 \extrarowheight=\dimen176 -\NC@list=\toks29 +\NC@list=\toks30 \extratabsurround=\skip59 \backup@length=\skip60 \ar@cellbox=\box56 ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/comment/comment.sty +(/usr/share/texmf-dist/tex/latex/comment/comment.sty \CommentStream=\write3 Excluding comment 'comment') -\c@definition=\count282 +\c@definition=\count285 -(/usr/local/texlive/2023/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count283 +(/usr/share/texmf-dist/tex/latex/listings/listings.sty +\lst@mode=\count286 \lst@gtempboxa=\box57 -\lst@token=\toks30 -\lst@length=\count284 +\lst@token=\toks31 +\lst@length=\count287 \lst@currlwidth=\dimen177 -\lst@column=\count285 -\lst@pos=\count286 +\lst@column=\count288 +\lst@pos=\count289 \lst@lostspace=\dimen178 \lst@width=\dimen179 -\lst@newlines=\count287 -\lst@lineno=\count288 +\lst@newlines=\count290 +\lst@lineno=\count291 \lst@maxwidth=\dimen180 -(/usr/local/texlive/2023/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2023/02/27 1.9 (Carsten Heinz) -\c@lstnumber=\count289 -\lst@skipnumbers=\count290 +(/usr/share/texmf-dist/tex/latex/listings/lstpatch.sty +File: lstpatch.sty 2024/02/21 1.10 (Carsten Heinz) +) +(/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty +File: lstmisc.sty 2024/02/21 1.10 (Carsten Heinz) +\c@lstnumber=\count292 +\lst@skipnumbers=\count293 \lst@framebox=\box58 ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/listings/listings.cfg -File: listings.cfg 2023/02/27 1.9 listings configuration +(/usr/share/texmf-dist/tex/latex/listings/listings.cfg +File: listings.cfg 2024/02/21 1.10 listings configuration )) -Package: listings 2023/02/27 1.9 (Carsten Heinz) +Package: listings 2024/02/21 1.10 (Carsten Heinz) -(/usr/local/texlive/2023/texmf-dist/tex/latex/listings/lstlang1.sty -File: lstlang1.sty 2023/02/27 1.9 listings language file +(/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty +File: lstlang1.sty 2024/02/21 1.10 listings language file ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/listings/lstlang2.sty -File: lstlang2.sty 2023/02/27 1.9 listings language file +(/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty +File: lstlang2.sty 2024/02/21 1.10 listings language file ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/listings/lstlang3.sty -File: lstlang3.sty 2023/02/27 1.9 listings language file +(/usr/share/texmf-dist/tex/latex/listings/lstlang3.sty +File: lstlang3.sty 2024/02/21 1.10 listings language file ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2023/02/27 1.9 (Carsten Heinz) +(/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty +File: lstmisc.sty 2024/02/21 1.10 (Carsten Heinz) ) -\c@theorem=\count291 +\c@theorem=\count294 -(/usr/local/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -File: l3backend-pdftex.def 2023-01-16 L3 backend support: PDF output (pdfTeX) -\l__color_backend_stack_int=\count292 +(/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +File: l3backend-pdftex.def 2024-02-20 L3 backend support: PDF output (pdfTeX) +\l__color_backend_stack_int=\count295 \l__pdf_internal_box=\box59 -) -(./main.aux) +) (./main.aux) \openout1 = `main.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 53. @@ -352,29 +354,29 @@ LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. -- Lines per column: 56 (exact). -(/usr/local/texlive/2023/texmf-dist/tex/context/base/mkii/supp-pdf.mkii +(/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count293 +\scratchcounter=\count296 \scratchdimen=\dimen181 \scratchbox=\box60 -\nofMPsegments=\count294 -\nofMParguments=\count295 -\everyMPshowfont=\toks31 -\MPscratchCnt=\count296 +\nofMPsegments=\count297 +\nofMParguments=\count298 +\everyMPshowfont=\toks32 +\MPscratchCnt=\count299 \MPscratchDim=\dimen182 -\MPnumerator=\count297 -\makeMPintoPDFobject=\count298 -\everyMPtoPDFconversion=\toks32 -) (/usr/local/texlive/2023/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty +\MPnumerator=\count300 +\makeMPintoPDFobject=\count301 +\everyMPtoPDFconversion=\toks33 +) (/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 85. -(/usr/local/texlive/2023/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg +(/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv e )) -\c@lstlisting=\count299 +\c@lstlisting=\count302 LaTeX Warning: No \author given. @@ -388,34 +390,33 @@ LaTeX Warning: No \author given. (./sections/abstract.tex) (./sections/introduction.tex LaTeX Font Info: Trying to load font information for U+msa on input line 6. -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsfonts/umsa.fd +(/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) LaTeX Font Info: Trying to load font information for U+msb on input line 6. -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsfonts/umsb.fd +(/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B -)) -(./sections/design.tex - -File: assets/diagram3.png Graphic file (type png) - -Package pdftex.def Info: assets/diagram3.png used on input line 14. -(pdftex.def) Requested size: 258.0pt x 97.37796pt. +)) (./sections/design.tex + +File: assets/diagram-anon.png Graphic file (type png) + +Package pdftex.def Info: assets/diagram-anon.png used on input line 14. +(pdftex.def) Requested size: 258.0pt x 98.08133pt. Overfull \hbox (6.0pt too wide) in paragraph at lines 14--15 [][] [] -[1{/usr/local/texlive/2023/texmf-var/fonts/map/pdftex/updmap/pdftex.map}{/usr/l -ocal/texlive/2023/texmf-dist/fonts/enc/dvips/base/8r.enc} +[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texmf-dist/fon +ts/enc/dvips/base/8r.enc} - <./assets/diagram3.png (PNG copy)>] (./sections/examples.tex + <./assets/diagram-anon.png (PNG copy)>] +(./sections/examples.tex LaTeX Font Info: Trying to load font information for OT1+pcr on input line 5 . - -(/usr/local/texlive/2023/texmf-dist/tex/latex/psnfss/ot1pcr.fd + (/usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr. ) @@ -445,40 +446,30 @@ Underfull \vbox (badness 1067) has occurred while \output is active [] LaTeX Font Info: Trying to load font information for TS1+pcr on input line 1 49. -(/usr/local/texlive/2023/texmf-dist/tex/latex/psnfss/ts1pcr.fd +(/usr/share/texmf-dist/tex/latex/psnfss/ts1pcr.fd File: ts1pcr.fd 2001/06/04 font definitions for TS1/pcr. ) Excluding 'comment' comment.) (./sections/case_studies.tex -Underfull \hbox (badness 4144) in paragraph at lines 18--18 +Underfull \hbox (badness 4144) in paragraph at lines 19--19 []\OT1/pcr/m/n/10 SYN_RECEIVED \OT1/ptm/m/n/10 is even-tu-ally fol-lowed by [] -Underfull \hbox (badness 4144) in paragraph at lines 18--18 +Underfull \hbox (badness 4144) in paragraph at lines 19--19 []\OT1/pcr/m/n/10 SYN_RECEIVED \OT1/ptm/m/n/10 is even-tu-ally fol-lowed by [] -Underfull \hbox (badness 4144) in paragraph at lines 18--18 +Underfull \hbox (badness 4144) in paragraph at lines 19--19 []\OT1/pcr/m/n/7 SYN_RECEIVED \OT1/ptm/m/n/7 is even-tu-ally fol-lowed by [] -Underfull \hbox (badness 4144) in paragraph at lines 18--18 +Underfull \hbox (badness 4144) in paragraph at lines 19--19 []\OT1/pcr/m/n/5 SYN_RECEIVED \OT1/ptm/m/n/5 is even-tu-ally fol-lowed by [] -Excluding 'comment' comment. [4] - -LaTeX Warning: Reference `' on page 5 undefined on input line 84. - -) (./sections/conclusion.tex) (./main.bbl -** WARNING: IEEEtran.bst: No hyphenation pattern has been -** loaded for the language `en'. Using the pattern for -** the default language instead. -** WARNING: IEEEtran.bst: No hyphenation pattern has been -** loaded for the language `en'. Using the pattern for -** the default language instead. +Excluding 'comment' comment. [4]) (./sections/conclusion.tex) (./main.bbl ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `en'. Using the pattern for ** the default language instead. @@ -522,7 +513,7 @@ LaTeX Warning: Reference `' on page 5 undefined on input line 84. ** loaded for the language `eng'. Using the pattern for ** the default language instead. -Underfull \hbox (badness 1509) in paragraph at lines 85--90 +Underfull \hbox (badness 1509) in paragraph at lines 76--81 \OT1/ptm/m/n/8 t/tcp,'' The-sis, Mas-sachusetts In-sti-tute of Tech-nol-ogy, [] @@ -544,7 +535,7 @@ Underfull \hbox (badness 1509) in paragraph at lines 85--90 ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `en'. Using the pattern for ** the default language instead. -) +[5]) ** Conference Paper ** Before submitting the final camera ready copy, remember to: @@ -556,35 +547,36 @@ Before submitting the final camera ready copy, remember to: uses only Type 1 fonts and that every step in the generation process uses the appropriate paper size. -[5] (./main.aux) - -LaTeX Warning: There were undefined references. +[6 +] (./main.aux) + *********** +LaTeX2e <2023-11-01> patch level 1 +L3 programming layer <2024-02-20> + *********** ) Here is how much of TeX's memory you used: - 6603 strings out of 476025 - 99219 string characters out of 5790016 - 2132388 words of memory out of 5000000 - 26945 multiletter control sequences out of 15000+600000 - 557765 words of font info for 119 fonts, out of 8000000 for 9000 - 1141 hyphenation exceptions out of 8191 - 57i,11n,62p,1306b,1641s stack positions out of 10000i,1000n,20000p,200000b,200000s -< -/usr/local/texlive/2023/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb> -Output written on main.pdf (5 pages, 216255 bytes). + 6590 strings out of 476076 + 97808 string characters out of 5793776 + 2208187 words of memory out of 5000000 + 28589 multiletter control sequences out of 15000+600000 + 603547 words of font info for 123 fonts, out of 8000000 for 9000 + 14 hyphenation exceptions out of 8191 + 57i,11n,65p,1306b,1644s stack positions out of 10000i,1000n,20000p,200000b,200000s + +Output written on ./main.pdf (6 pages, 204728 bytes). PDF statistics: - 82 PDF objects out of 1000 (max. 8388607) - 49 compressed objects within 1 object stream + 85 PDF objects out of 1000 (max. 8388607) + 51 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) 6 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/main.pdf b/main.pdf index 9b9ae49..decbc33 100644 Binary files a/main.pdf and b/main.pdf differ diff --git a/main.synctex.gz b/main.synctex.gz index a9672e7..1e5a0cf 100644 Binary files a/main.synctex.gz and b/main.synctex.gz differ diff --git a/sections/case_studies.tex b/sections/case_studies.tex index 465512d..07968eb 100644 --- a/sections/case_studies.tex +++ b/sections/case_studies.tex @@ -1,10 +1,11 @@ %!TEX root = ../main.tex -In this section we describe two case study, TCP transport protocol and RAFT state machine replication protocol. +In this section we describe two case studies: the Transmission Control Protocol, a data transfer protocol, and Raft, a state machine replication protocol. + \subsection{TCP}% \label{sub:TCP} -TCP (Transmission Control Protocol) is a transport-layer protocol designed to establish reliable, ordered communications between two peers. TCP is ubiquitous in today's internet, and therefore has seen ample formal verification efforts \cite{Cluzel_Georgiou_Moy_Zeller_2021, Smith_1997, Pacheco2022}, including using \promela and \spin \cite{Pacheco2022}. +Transmission Control Protocol (TCP) is a transport-layer protocol designed to establish reliable, ordered communications between two peers. TCP is ubiquitous in today's internet, and therefore has seen ample formal verification efforts \cite{Cluzel_Georgiou_Moy_Zeller_2021, Smith_1997, Pacheco2022}, including using \promela and \spin \cite{Pacheco2022}. %A previous version of \korg has been applied TCP in \cite{Pacheco2022, Hippel2022}; %in particular, we study our \korg extensions using the hand-written TCP \promela model from \cite{Pacheco2022}. We construct a TCP \promela model referencing the set of TCP RFCs. @@ -39,7 +40,9 @@ $\phi_4$ & & &\\ \end{scriptsize} \label{res:tcp-table} -\caption{Automatically discovered attacks against the hand-written TCP model from Pacheco et al. and our own, for $\phi_1$ through $\phi_4$. "x" indicates an attack was discovered, and no "x" indicates \korg proved the absence of an attack via an exhaustive search. Full attack traces are available in the artifact.} +\caption{Automatically discovered attacks against +%the hand-written TCP model from Pacheco et al. and our own, +our TCP model for $\phi_1$ through $\phi_4$. "x" indicates an attack was discovered, and no "x" indicates \korg proved the absence of an attack via an exhaustive search. These experiments were ran on a laptop with an eighth generation i7 and 16gb of memory. Full attack traces are available in the artifact.} \end{figure} \begin{comment} @@ -81,6 +84,32 @@ Referencing the original Raft thesis \cite{Ongaro} and other raft models \cite{W \phi_5 &= \text{\parbox[t]{20em}{If any two servers commit the same log entry, the log entry at the previous index must be equivalent}} \end{aligned} \] -We construct our Raft model such that we can model-check an arbitrary number of peers. We also designed our model such that each peer maintains separate channels for receiving AppendEntry requests, AppendEntry responses, RequestVote requests, and RequestVote responses. This gives \korg ample handle to reason about Raft. In particular, we study Raft in the presence of drop and replay attackers on all four aforementioned channel types, attacking both a minority and majority of peers. A breakdown of our findings is shown in Figure \ref{}. +We construct our Raft model such that we can model-check an arbitrary number of peers. We also designed our model such that each peer maintains separate channels for receiving AppendEntry requests, AppendEntry responses, RequestVote requests, and RequestVote responses. This gives \korg ample handle to reason about Raft. In particular, we study Raft in the presence of drop and replay attackers on all four aforementioned channel types, attacking both a minority and majority of peers. A breakdown of our findings is shown in Figure \ref{res:raft-table}. + +\begin{figure}[h!] +\centering +\begin{scriptsize} +\label{res:raft-table} +\begin{tabular}{|c|c|} +\hline +Scenario & Attack found? \\ +\hline +Dropping AppendEntries messages & no \\ +Dropping RequestVote messages & no \\ +Replaying RequestVote messages & yes ($\phi_1, \phi_4$ violated) \\ +Replaying AppendEntry messages & no \\ +Dropping RequestVoteResponse messages & no \\ +Dropping AppendEntryResponse messages & no \\ +\hline +\end{tabular} +\end{scriptsize} +\caption{Breakdown of the attacker scenarios assessed with \korg against our Raft \promela model. In all experiments, Raft was set to five peers and the drop/replay limits of the gadgets \korg synthesized were set to two. We conducted our experiments on a research computing cluster, allocating 250GB of memory to each verification run. The full models and attacker traces are included in the artifact.} +%\caption{Automatically discovered attacks against +%the hand-written TCP model from Pacheco et al. and our own, +%our TCP model for $\phi_1$ through $\phi_4$. "x" indicates an attack was discovered, and no "x" indicates \korg proved the absence of an attack via an exhaustive search. These experiments were ran on a laptop with an eighth generation i7 and 16gb of memory. Full attack traces are available in the artifact.} +\end{figure} +In our experiments, we found just one attack on our Raft \promela model, violating election safety in particular. In this scenario, peer A and peer B are candidates for election. Peer A receives three votes, one from itself and two from other peers, and Peer B receives two votes, one from itself and one from another peer. The replay attacker simply replays the vote sent to peer B. Then, both Peer A and Peer B are convinced they won the election and change their state to leader. Following this, leader completeness is also naturally violated. + +To be clear, this is not an attack on the general Raft protocol, but rather an attack on our specific Raft implementation: in this case, the bug \korg exploits involves our Raft model not ensuring votes received are from unique peers\footnote{Naturally, this requires cryptography and therefore is challenging to express in the semantics of \promela.}. In general, the complete Raft protocol has been proven to resist drop and replay attackers \cite{Woos_Wilcox_Anton_Tatlock_Ernst_Anderson_2016}. In this scenario, \korg demonstrates its ability to discover subtle bugs in protocol logic ; our Raft model satisfies $\phi_1$-$\phi_5$ assuming perfect channels, and \korg allowed us to reason precisely about the effect of imperfect, vulnerable channels. % We note our analysis is in no diff --git a/sections/design.tex b/sections/design.tex index aeb7f47..9e8d313 100644 --- a/sections/design.tex +++ b/sections/design.tex @@ -11,7 +11,7 @@ A high-level overview of the \korg pipeline is given in the Figure \ref{fig:korg \begin{figure}[h] \centering - \includegraphics[width=0.5\textwidth]{assets/diagram3.png} + \includegraphics[width=0.5\textwidth]{assets/diagram-anon.png} \caption{A high-level overview of the \korg workflow} \label{fig:korg_workflow} \end{figure}