diff --git a/.latexrun.db b/.latexrun.db index 600002b..1de8482 100644 --- a/.latexrun.db +++ b/.latexrun.db @@ -62,30 +62,9 @@ [ "file", [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm" + "/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx" ], - "a615b1aec84d04818ce5a26bcb854f0b5620812374d113e7263cc62b727eb4de" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm" - ], - "466613f08ae6423521bd9aa1d0be9dc69f610e223f171f6f07b91844626d4bd1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" - ], - "373172fe340e4aede5129b89d65f576bfb1fe6932bd55c38f60bcaa84f3d1188" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm" - ], - "9d0c9a870b82d754695e37b6fb24dc07d51a685fb0dad1d30fa69dfb209ac224" + "0804bb6e9e1eeeaeda861f29206d308194ea7cc846e38abaa344cdefa1d408cd" ], [ "file", @@ -97,114 +76,23 @@ [ "file", [ - "sections/attacker_models.tex" + "/usr/share/texmf-dist/web2c/texmf.cnf" ], - "ac4ed6b2fd599335020a7febe9605fe91f87d732b5a6160391771fd8207fc8aa" + "ddd2722ee024d5f4c13123562e7a220c5a66ad0230fa32afc8b365b810a80251" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/base/textcomp.sty" + "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm" ], - "f50ebba76b974a541b8fc2541643911efaead656aae39c957c58d5b23b51a5eb" + "1388f235f7f54d28db4af569ee32821869aefbef29ee622c7e30b2e41dbda87c" ], [ "file", [ - "main.aux" + "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" ], - "0d75e55064bad7cfe0448e7e69525730e31b5aa3aa44fc1af233c53143ba70ab" - ], - [ - "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/fonts/tfm/adobe/times/ptmri7t.tfm" - ], - "8c5b2e8eb57987c20fac30f8f647133e2dcfea899a08f11971a51a8740267fd4" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbc7t.tfm" - ], - "7b937cad233ff7c8d6bee5988c0a51ba0212e852ba2617059620d2cf98f6e630" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/listings.cfg" - ], - "d0dd49d4d3eb37e5fcdc4de4e9add7ea5f150be907ac5c4705b382775e55d62b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" - ], - "981dbcccfc3a2449768ae5b1cb7b8b1468bb1f7842429067cd6f6ef0ade42fc2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf" - ], - "0011bdb7dbf11831fa73c87e70751c267754f1ebbe50a9cedf409ea0c22db41a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" - ], - "d9f5f519ec718e9dbccb8527c1f5d3b4a008dfb946377f97f71611b385d3d010" - ], - [ - "file", - [ - "main.bbl" - ], - "7107c99dc9c54cf114b4bf0d9fa9dc96c2e7ea981a7aa4225085da1ce6fe69c5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" - ], - "36e2e612e708d04785971d6bcfed324d0a0f9ce337ea73680e69dd2603d0327a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" - ], - "62ee8cef552017551cd3e026a483e700730103eceaad959c87b7730017f59cff" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb" - ], - "21d029fda4757908be702f42811199eac11ce5886c0acfddd574df4545b1e7a9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty" - ], - "85aa24029cbac78aabf0c57fe4ec95c58703dac2fc845490157cf1f5a6634a25" + "70838b061b56569dd3ed9f339b1bdd1c78ba185de49f27ceae331c97f48b5986" ], [ "file", @@ -216,37 +104,9 @@ [ "file", [ - "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm" ], - "8c808d286cf896399244d121dd0e847a9205c73facc003fe64ec156ec85fd3e5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" - ], - "dab8b0e621267acfd89736cf97bdcc02647c545c0719c4997be8a7d1bf98f9c3" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" - ], - "a48198d87f9b9f90d652b8f41d41dbb3978a44669225c89394a4620031ace6a2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def" - ], - "6b0d3c7739f5344c3356bb0cef98bc17d8710e1e060914f42390d6503141c249" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" - ], - "3d2226e3d68b4255061baa496cc9cbc107816a7d364720c1bd8c83dccb047b64" + "466613f08ae6423521bd9aa1d0be9dc69f610e223f171f6f07b91844626d4bd1" ], [ "file", @@ -258,93 +118,23 @@ [ "file", [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" + "/usr/share/texmf-dist/tex/latex/base/textcomp.sty" ], - "280bb0113e2586156cd9414aab226588bb0a4d0fdf71fe6c6475af70d9b61eef" + "f50ebba76b974a541b8fc2541643911efaead656aae39c957c58d5b23b51a5eb" ], [ "file", [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm" + "/usr/share/texmf-dist/fonts/type1/urw/times/utmb8a.pfb" ], - "f9649f1a4d564693fd52835b7bd9def8a0d0a8ad8abd1ed3c7f8246949e15e26" + "7f3f19f61452892a29d06af2836331ca78aed29390914d294f7a440d35927142" ], [ "file", [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm" + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" ], - "5a8d22bbac97332450c06d766ea8f4cac97ebe0c941da9d473a5d422b8bb0667" - ], - [ - "file", - [ - "assets/diagram3.png" - ], - "d04a42dd9ba8b5d2f24bbd3f21d20fe5c09596dc704c4516743fd800a9567b66" - ], - [ - "file", - [ - "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" - ], - "94ac62800308131e37213df5d5edcbddc246082321af52a58bc5f8881a23c9dd" - ], - [ - "file", - [ - "sections/conclusion.tex" - ], - "01ba4719c80b6fe911b091a7c05124b64eeece964e09c058ef8f9805daca546b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm" - ], - "013a6ef55bb5ee9768300df0f4a4d67660fc82b03085b1af358e053da1e21ca7" - ], - [ - "file", - [ - "sections/appendix.tex" - ], - "34a3ef7bf572e65c5d08bfaf01687b275158221e789238eadc23b73856a9e1b1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd" - ], - "58fe4bfa8fe5ed99bc3e28230d07e7ce32e89b338dc247d2934f0bb32bf516b8" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" - ], - "5dd3675b88c7b61d3703e6bf35ed75623acc6b163dff7b1477b485cee8ad71cb" - ], - [ - "file", - [ - "IEEEtran.cls" - ], - "c972aca108fda004c3514d63658e02816da2e54d9a1451e870b9bd970e003f55" - ], - [ - "file", - [ - "sections/introduction.tex" - ], - "1c9973ed0245234b4625f5c2418af170e24e381218cdd73ba54e77fe524d2ba8" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" - ], - "2bf2e4f0efe99c33bfd757e1dee1b4267742f8af3e449d6bdb4342c2917b1bce" + "d9f5f519ec718e9dbccb8527c1f5d3b4a008dfb946377f97f71611b385d3d010" ], [ "file", @@ -353,6 +143,104 @@ ], "0df4bc46c777ddc91e944bdfd27e345fe906a914fd1288189ec26419fc65db50" ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" + ], + "36e2e612e708d04785971d6bcfed324d0a0f9ce337ea73680e69dd2603d0327a" + ], + [ + "file", + [ + "main.aux" + ], + "7bab77b2b08ed891ec2f7f0b57f9b2f6a7e7524eee17a7ba014ac3c36ba4f095" + ], + [ + "file", + [ + "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" + ], + "94ac62800308131e37213df5d5edcbddc246082321af52a58bc5f8881a23c9dd" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty" + ], + "85aa24029cbac78aabf0c57fe4ec95c58703dac2fc845490157cf1f5a6634a25" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" + ], + "5dd3675b88c7b61d3703e6bf35ed75623acc6b163dff7b1477b485cee8ad71cb" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/listings.cfg" + ], + "d0dd49d4d3eb37e5fcdc4de4e9add7ea5f150be907ac5c4705b382775e55d62b" + ], + [ + "file", + [ + "sections/design.tex" + ], + "13a331dfc4e8f1322e0e1f1c4df8a0f68e51a8b47f4f9e00da13ae89f2ffb899" + ], + [ + "file", + [ + "sections/appendix.tex" + ], + "34a3ef7bf572e65c5d08bfaf01687b275158221e789238eadc23b73856a9e1b1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf" + ], + "0011bdb7dbf11831fa73c87e70751c267754f1ebbe50a9cedf409ea0c22db41a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/tools/xspace.sty" + ], + "bc3bfd65d4b52e78822cb9f3561c6663c64465f64dc2475e56542dbc213a3e66" + ], + [ + "file", + [ + "sections/introduction.tex" + ], + "1c9973ed0245234b4625f5c2418af170e24e381218cdd73ba54e77fe524d2ba8" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm" + ], + "8c5b2e8eb57987c20fac30f8f647133e2dcfea899a08f11971a51a8740267fd4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" + ], + "e9fe8e56401707f18a3d18716dadfd1dab999d02118c82af05691599cedec445" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf" + ], + "a9b778bb98f910fe898bbee9001238db4af4d97187a21361350bd5e39a55bbe1" + ], [ "file", [ @@ -363,9 +251,44 @@ [ "file", [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf" + "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" ], - "6d6b87797a48bb5ff09b505d26ac4eff2e3d54ead648fae8bc0d6e506c9aa8d2" + "a3529ccdadc8248b4c5d7c34ceea53bdc1509b54f18a192ad51b924bd297d8df" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" + ], + "dab8b0e621267acfd89736cf97bdcc02647c545c0719c4997be8a7d1bf98f9c3" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb" + ], + "8816758f882b18a97a2fcdd4e496b881cd7726b8612648cbfb1c9de2d9853029" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" + ], + "f69355f4b0a8b650296fe2fd9471783a6940e6525efd5d7d306b5477daef494d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb" + ], + "21d029fda4757908be702f42811199eac11ce5886c0acfddd574df4545b1e7a9" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" + ], + "62ee8cef552017551cd3e026a483e700730103eceaad959c87b7730017f59cff" ], [ "file", @@ -384,212 +307,16 @@ [ "file", [ - "/usr/share/texmf-dist/tex/latex/base/ifthen.sty" + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm" ], - "b8cbd3c3ed9f0f58e1103c91e29ab8de344a19f4cc7d27fde8d14d962dcf0495" + "5a8d22bbac97332450c06d766ea8f4cac97ebe0c941da9d473a5d422b8bb0667" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/listings/listings.sty" + "main.bbl" ], - "30538b8ba51ea04fc7b48ee99f7a37b657b1e225cba41d3dbffe2bfa2af5eb57" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd" - ], - "9c5beb0652c0f26a78269825fea061968682671d11e2a16513d1a602bf248400" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf" - ], - "72d719be55d369638225c639af2e631a10ecfb662b59edd37d445c954e5dfb79" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/algorithms/algorithmic.sty" - ], - "7fe47ed7f8222c56452bd73bf0682e72023ece06d59207653a02e080a341118d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" - ], - "719d100c110fa1cfae9ad0b63e6c21753f4980f925fa516c1a04961e206f69d5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" - ], - "8434ad08617159240fd19b4fcae8bf79a6137af413f3798c8a750e9839f8902e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" - ], - "2ef9d47303d25f3c9553a43255dae8c39160e130ad5ed34444e39dee03d796a1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx" - ], - "0804bb6e9e1eeeaeda861f29206d308194ea7cc846e38abaa344cdefa1d408cd" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" - ], - "9e0909a297a3097e50960158d324006ddd5302db665400fa1fdf966df14e1a17" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" - ], - "10db2171b6e267720299c10b9e84f92c5cf069941dbfe3760e198304e49d5324" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" - ], - "e9fe8e56401707f18a3d18716dadfd1dab999d02118c82af05691599cedec445" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm" - ], - "1388f235f7f54d28db4af569ee32821869aefbef29ee622c7e30b2e41dbda87c" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" - ], - "f69355f4b0a8b650296fe2fd9471783a6940e6525efd5d7d306b5477daef494d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" - ], - "3b54bde5cb0e0bd071eea7bc702ed3a1a284f786779ef8e75b06eba4104bb9f2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/cite/cite.sty" - ], - "56979b7c69ae65bdb52de5bcd540625cae6dd70119e767db438a4826991910ea" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" - ], - "c2a4f1d01abaf7ad739f1af03238ebb6ab35a7bbfbd5d713acceddda4fb043d5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang3.sty" - ], - "637dbaa3bc149ada8edc2b471164a63e70457e105e325b4c00cd2b499ca70067" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" - ], - "a3529ccdadc8248b4c5d7c34ceea53bdc1509b54f18a192ad51b924bd297d8df" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" - ], - "da22219a49c094141141bb29034c438d1ccba8a9afe6cdd5d15b96c15bf56901" - ], - [ - "file", - [ - "sections/abstract.tex" - ], - "56ed68e932967546fef0a9c476b8008e7e0b3619c678368913572f82d8f168b4" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmb8a.pfb" - ], - "7f3f19f61452892a29d06af2836331ca78aed29390914d294f7a440d35927142" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" - ], - "70838b061b56569dd3ed9f339b1bdd1c78ba185de49f27ceae331c97f48b5986" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc" - ], - "66dad15c944f0d457a095fd6e9dba30059a4882b1ffb1f4bf62850ce52c8f136" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty" - ], - "7ec0d3442c273319ee517745cece539182acf7279ab9596d3e56eb32689e7c53" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf" - ], - "a9b778bb98f910fe898bbee9001238db4af4d97187a21361350bd5e39a55bbe1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" - ], - "6d66da8f16088689c2f4995b4e920703cc94faade57911ed7aabd32b04367824" - ], - [ - "file", - [ - "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" - ], - "f079d814ec1276acba15801beb39911eb18d0b6d556ae7cf884be6fd3d83f2cf" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd" - ], - "e20f21f6ed631cbe3a627d5da5fef82367732a7d51207f8df5ee7e9c77ee342e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" - ], - "d9693993efdc7d0b9ab3df777589995d43e24eeae95f12b6a230a19caadeaa42" + "7107c99dc9c54cf114b4bf0d9fa9dc96c2e7ea981a7aa4225085da1ce6fe69c5" ], [ "file", @@ -601,30 +328,65 @@ [ "file", [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbc7t.vf" + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf" ], - "37a743df9f8e5a736e4d51b17574c1d0b0db36af1ad798ff4a5e0fead9fd653e" + "162e1f6e89ce4ceb9c99f532ebdd6da6237088663fad290867d907ab6145a327" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/tools/xspace.sty" + "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" ], - "bc3bfd65d4b52e78822cb9f3561c6663c64465f64dc2475e56542dbc213a3e66" + "3d2226e3d68b4255061baa496cc9cbc107816a7d364720c1bd8c83dccb047b64" ], [ "file", [ - "/usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb" + "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" ], - "8816758f882b18a97a2fcdd4e496b881cd7726b8612648cbfb1c9de2d9853029" + "8434ad08617159240fd19b4fcae8bf79a6137af413f3798c8a750e9839f8902e" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/listings/lstpatch.sty" + "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def" ], - "2472ea616722ae9736cfcb8f72c60ebe6de7b97921be1c43414d6ec735226158" + "6b0d3c7739f5344c3356bb0cef98bc17d8710e1e060914f42390d6503141c249" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc" + ], + "66dad15c944f0d457a095fd6e9dba30059a4882b1ffb1f4bf62850ce52c8f136" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstlang3.sty" + ], + "637dbaa3bc149ada8edc2b471164a63e70457e105e325b4c00cd2b499ca70067" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/algorithms/algorithmic.sty" + ], + "7fe47ed7f8222c56452bd73bf0682e72023ece06d59207653a02e080a341118d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" + ], + "6d66da8f16088689c2f4995b4e920703cc94faade57911ed7aabd32b04367824" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" + ], + "3b54bde5cb0e0bd071eea7bc702ed3a1a284f786779ef8e75b06eba4104bb9f2" ], [ "file", @@ -636,9 +398,93 @@ [ "file", [ - "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty" + "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm" ], - "8d5e2bdb117297385971927b14fe4804314133dc0027b3171249a08280894626" + "013a6ef55bb5ee9768300df0f4a4d67660fc82b03085b1af358e053da1e21ca7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm" + ], + "f9649f1a4d564693fd52835b7bd9def8a0d0a8ad8abd1ed3c7f8246949e15e26" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm" + ], + "a615b1aec84d04818ce5a26bcb854f0b5620812374d113e7263cc62b727eb4de" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstpatch.sty" + ], + "2472ea616722ae9736cfcb8f72c60ebe6de7b97921be1c43414d6ec735226158" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty" + ], + "7ec0d3442c273319ee517745cece539182acf7279ab9596d3e56eb32689e7c53" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd" + ], + "48355e960333be747dd7b4500e76fde7c3ef0b1fa9c74ec0f1438af0d3a661a4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/ifthen.sty" + ], + "b8cbd3c3ed9f0f58e1103c91e29ab8de344a19f4cc7d27fde8d14d962dcf0495" + ], + [ + "file", + [ + "sections/abstract.tex" + ], + "56ed68e932967546fef0a9c476b8008e7e0b3619c678368913572f82d8f168b4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd" + ], + "58fe4bfa8fe5ed99bc3e28230d07e7ce32e89b338dc247d2934f0bb32bf516b8" + ], + [ + "file", + [ + "assets/diagram3.png" + ], + "d04a42dd9ba8b5d2f24bbd3f21d20fe5c09596dc704c4516743fd800a9567b66" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbc7t.tfm" + ], + "7b937cad233ff7c8d6bee5988c0a51ba0212e852ba2617059620d2cf98f6e630" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" + ], + "c2a4f1d01abaf7ad739f1af03238ebb6ab35a7bbfbd5d713acceddda4fb043d5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" + ], + "10db2171b6e267720299c10b9e84f92c5cf069941dbfe3760e198304e49d5324" ], [ "file", @@ -650,49 +496,203 @@ [ "file", [ - "sections/design.tex" + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbc7t.vf" ], - "13a331dfc4e8f1322e0e1f1c4df8a0f68e51a8b47f4f9e00da13ae89f2ffb899" + "37a743df9f8e5a736e4d51b17574c1d0b0db36af1ad798ff4a5e0fead9fd653e" ], [ "file", [ - "/usr/share/texmf-dist/web2c/texmf.cnf" + "/usr/share/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" ], - "ddd2722ee024d5f4c13123562e7a220c5a66ad0230fa32afc8b365b810a80251" + "2ef9d47303d25f3c9553a43255dae8c39160e130ad5ed34444e39dee03d796a1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" + ], + "8c808d286cf896399244d121dd0e847a9205c73facc003fe64ec156ec85fd3e5" + ], + [ + "file", + [ + "sections/attacker_models.tex" + ], + "96b596138f04e1fde32df0459f0fd25ce6c7cf0cb379d52bd7a5bb558f4a1112" + ], + [ + "file", + [ + "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" + ], + "f079d814ec1276acba15801beb39911eb18d0b6d556ae7cf884be6fd3d83f2cf" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" + ], + "981dbcccfc3a2449768ae5b1cb7b8b1468bb1f7842429067cd6f6ef0ade42fc2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf" + ], + "72d719be55d369638225c639af2e631a10ecfb662b59edd37d445c954e5dfb79" + ], + [ + "file", + [ + "IEEEtran.cls" + ], + "c972aca108fda004c3514d63658e02816da2e54d9a1451e870b9bd970e003f55" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf" + ], + "6d6b87797a48bb5ff09b505d26ac4eff2e3d54ead648fae8bc0d6e506c9aa8d2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm" + ], + "9d0c9a870b82d754695e37b6fb24dc07d51a685fb0dad1d30fa69dfb209ac224" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd" + ], + "9c5beb0652c0f26a78269825fea061968682671d11e2a16513d1a602bf248400" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" + ], + "280bb0113e2586156cd9414aab226588bb0a4d0fdf71fe6c6475af70d9b61eef" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" + ], + "2bf2e4f0efe99c33bfd757e1dee1b4267742f8af3e449d6bdb4342c2917b1bce" + ], + [ + "file", + [ + "sections/conclusion.tex" + ], + "01ba4719c80b6fe911b091a7c05124b64eeece964e09c058ef8f9805daca546b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd" + ], + "e20f21f6ed631cbe3a627d5da5fef82367732a7d51207f8df5ee7e9c77ee342e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" + ], + "9e0909a297a3097e50960158d324006ddd5302db665400fa1fdf966df14e1a17" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" + ], + "719d100c110fa1cfae9ad0b63e6c21753f4980f925fa516c1a04961e206f69d5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" + ], + "373172fe340e4aede5129b89d65f576bfb1fe6932bd55c38f60bcaa84f3d1188" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" + ], + "d9693993efdc7d0b9ab3df777589995d43e24eeae95f12b6a230a19caadeaa42" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" + ], + "a48198d87f9b9f90d652b8f41d41dbb3978a44669225c89394a4620031ace6a2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty" + ], + "8d5e2bdb117297385971927b14fe4804314133dc0027b3171249a08280894626" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" + ], + "da22219a49c094141141bb29034c438d1ccba8a9afe6cdd5d15b96c15bf56901" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/listings.sty" + ], + "30538b8ba51ea04fc7b48ee99f7a37b657b1e225cba41d3dbffe2bfa2af5eb57" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/cite/cite.sty" + ], + "56979b7c69ae65bdb52de5bcd540625cae6dd70119e767db438a4826991910ea" ], [ "unknown_input", [], - 1731348660.4600685 - ], - [ - "file", - [ - "main.log" - ], - "e2a469d6433df0a822a957cbefe33371a7867caafe0d1dbf77eda681ecf99ebd" + 1731353074.4861083 ], [ "file", [ "./main.fls" ], - "3a79eae4ad0da7cedf0d56dbefa2ebd65cff855c5a3348d725a5c183b4140e17" + "ede699bf7ef1c9181e4a89fab28490c97ec254d283b511ec4cdc5797967e7844" + ], + [ + "file", + [ + "main.log" + ], + "291b94db4eaceb60b59979464e433432a6c99462042d92e111f849601f8a3673" ], [ "file", [ "main.pdf" ], - "1ac49dd5d94f5cdc8a79c294b0d5f09fa3809dcf49b77254b83aabb9f4bcd3b1" + "588b28801e5acaac34d958788d1711691591aa494a78509abb4004aec8e6f568" ] ], "output_files": { - "main.aux": "0d75e55064bad7cfe0448e7e69525730e31b5aa3aa44fc1af233c53143ba70ab", - "main.log": "e2a469d6433df0a822a957cbefe33371a7867caafe0d1dbf77eda681ecf99ebd", - "./main.fls": "3a79eae4ad0da7cedf0d56dbefa2ebd65cff855c5a3348d725a5c183b4140e17", - "main.pdf": "1ac49dd5d94f5cdc8a79c294b0d5f09fa3809dcf49b77254b83aabb9f4bcd3b1" + "./main.fls": "ede699bf7ef1c9181e4a89fab28490c97ec254d283b511ec4cdc5797967e7844", + "main.log": "291b94db4eaceb60b59979464e433432a6c99462042d92e111f849601f8a3673", + "main.pdf": "588b28801e5acaac34d958788d1711691591aa494a78509abb4004aec8e6f568", + "main.aux": "7bab77b2b08ed891ec2f7f0b57f9b2f6a7e7524eee17a7ba014ac3c36ba4f095" }, "extra": { "jobname": "./main", @@ -808,10 +808,10 @@ } }, "clean": { - "main.log": "e2a469d6433df0a822a957cbefe33371a7867caafe0d1dbf77eda681ecf99ebd", - "main.pdf": "1ac49dd5d94f5cdc8a79c294b0d5f09fa3809dcf49b77254b83aabb9f4bcd3b1", - "main.aux": "0d75e55064bad7cfe0448e7e69525730e31b5aa3aa44fc1af233c53143ba70ab", - "./main.fls": "3a79eae4ad0da7cedf0d56dbefa2ebd65cff855c5a3348d725a5c183b4140e17", + "main.log": "291b94db4eaceb60b59979464e433432a6c99462042d92e111f849601f8a3673", + "main.pdf": "588b28801e5acaac34d958788d1711691591aa494a78509abb4004aec8e6f568", + "main.aux": "7bab77b2b08ed891ec2f7f0b57f9b2f6a7e7524eee17a7ba014ac3c36ba4f095", + "./main.fls": "ede699bf7ef1c9181e4a89fab28490c97ec254d283b511ec4cdc5797967e7844", "./main.bbl": "7107c99dc9c54cf114b4bf0d9fa9dc96c2e7ea981a7aa4225085da1ce6fe69c5", "./main.blg": "3737e5cade4674049e4c2b57afcc4511891a9f09a0744bb565c8ac5f118a28e4" } diff --git a/main.aux b/main.aux index 13a24ee..9a5329b 100644 --- a/main.aux +++ b/main.aux @@ -24,32 +24,21 @@ \newlabel{sec:usage_attacker_models}{{III}{2}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-A}}Dropping Attacker Model}{2}{}\protected@file@percent } \newlabel{sub:Dropping Attacker}{{\mbox {III-A}}{2}{}{}{}} -\bibstyle{IEEEtran} -\bibdata{main} -\bibcite{Lamport_1994}{1} -\bibcite{Holzmann_1997}{2} -\bibcite{Clarke_Wang}{3} \newlabel{lst:korg_drop}{{2}{3}{}{}{}} \@writefile{lol}{\contentsline {lstlisting}{\numberline {2}Example dropping attacker model gadget with drop limit of 3, targetting channel "cn"}{3}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-B}}Replaying Attacker Model}{3}{}\protected@file@percent } \newlabel{sub:Replay Attacker}{{\mbox {III-B}}{3}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-C}}Rearranging Attacker Model}{3}{}\protected@file@percent } \newlabel{sub:Rearrange Attacker}{{\mbox {III-C}}{3}{}{}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-D}}Custom Attacker Models}{3}{}\protected@file@percent } -\newlabel{sub:Custom Attacker Models}{{\mbox {III-D}}{3}{}{}{}} \newlabel{lst:korg_replay}{{3}{3}{}{}{}} \@writefile{lol}{\contentsline {lstlisting}{\numberline {3}Example replay attacker model gadget with the selected replay limit as 3, targetting channel "cn"}{3}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {IV}Case Studies}{3}{}\protected@file@percent } -\newlabel{sec:case_studies}{{IV}{3}{}{}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-A}}SCTP}{3}{}\protected@file@percent } -\newlabel{sub:SCTP}{{\mbox {IV-A}}{3}{}{}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-B}}TCP}{3}{}\protected@file@percent } -\newlabel{sub:TCP}{{\mbox {IV-B}}{3}{}{}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-C}}DCCP}{3}{}\protected@file@percent } -\newlabel{sub:DCCP}{{\mbox {IV-C}}{3}{}{}{}} -\@writefile{toc}{\contentsline {section}{\numberline {V}Conclusion}{3}{}\protected@file@percent } -\newlabel{sec:conclusion}{{V}{3}{}{}{}} -\@writefile{toc}{\contentsline {section}{References}{3}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-D}}Custom Attacker Models}{3}{}\protected@file@percent } +\newlabel{sub:Custom Attacker Models}{{\mbox {III-D}}{3}{}{}{}} +\bibstyle{IEEEtran} +\bibdata{main} +\bibcite{Lamport_1994}{1} +\bibcite{Holzmann_1997}{2} +\bibcite{Clarke_Wang}{3} \bibcite{Basin_Cremers_Dreier_Sasse_2022}{4} \bibcite{Blanchet_Smyth_Cheval_Sylvestre}{5} \bibcite{Kobeissi_Nicolas_Tiwari}{6} @@ -59,12 +48,29 @@ \bibcite{Vardi_Wolper_1986}{10} \bibcite{clarke2000model}{11} \bibcite{Kozen_1977}{12} +\newlabel{lst:korg_rearrange}{{4}{4}{}{}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {4}Example rearrange attacker model gadget with the selected replay limit as 3, targetting channel "cn"}{4}{}\protected@file@percent } +\newlabel{lst:io-file}{{5}{4}{}{}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5}Example I/O file targetting channel "cn"}{4}{}\protected@file@percent } +\newlabel{lst:io-file-synth}{{6}{4}{}{}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6}Example gadget synthesized from an I/O file targetting the channel "cn"}{4}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {IV}Case Studies}{4}{}\protected@file@percent } +\newlabel{sec:case_studies}{{IV}{4}{}{}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-A}}SCTP}{4}{}\protected@file@percent } +\newlabel{sub:SCTP}{{\mbox {IV-A}}{4}{}{}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-B}}TCP}{4}{}\protected@file@percent } +\newlabel{sub:TCP}{{\mbox {IV-B}}{4}{}{}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-C}}DCCP}{4}{}\protected@file@percent } +\newlabel{sub:DCCP}{{\mbox {IV-C}}{4}{}{}{}} +\@writefile{toc}{\contentsline {section}{\numberline {V}Conclusion}{4}{}\protected@file@percent } +\newlabel{sec:conclusion}{{V}{4}{}{}{}} +\@writefile{toc}{\contentsline {section}{References}{4}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {VI}Appendix}{4}{}\protected@file@percent } \newlabel{sec:Appendix}{{VI}{4}{}{}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {VI-A}}Full Korg Soundness and Completeness Proofs}{4}{}\protected@file@percent } \newlabel{sub:korg_proofs}{{\mbox {VI-A}}{4}{}{}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {VI-B}}Preventing Korg Livelocks}{4}{}\protected@file@percent } -\newlabel{sub:Preventing Korg Livelocks}{{\mbox {VI-B}}{4}{}{}{}} -\newlabel{lst:drop_passer}{{4}{4}{}{}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {4}Example dropping attacker model gadget with message skipping}{4}{}\protected@file@percent } -\gdef \@abspage@last{4} +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {VI-B}}Preventing Korg Livelocks}{5}{}\protected@file@percent } +\newlabel{sub:Preventing Korg Livelocks}{{\mbox {VI-B}}{5}{}{}{}} +\newlabel{lst:drop_passer}{{7}{5}{}{}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {7}Example dropping attacker model gadget with message skipping}{5}{}\protected@file@percent } +\gdef \@abspage@last{5} diff --git a/main.fls b/main.fls index f0162d2..31e194f 100644 --- a/main.fls +++ b/main.fls @@ -223,13 +223,13 @@ INPUT ./sections/conclusion.tex INPUT ./main.bbl INPUT ./main.bbl INPUT ./main.bbl +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/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 ./main.aux INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb INPUT /usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb diff --git a/main.log b/main.log index 09b0f2b..3eeedb8 100644 --- a/main.log +++ b/main.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024/Arch Linux) (preloaded format=pdflatex 2024.7.2) 11 NOV 2024 13:11 +This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024/Arch Linux) (preloaded format=pdflatex 2024.7.2) 11 NOV 2024 14:24 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -410,6 +410,13 @@ LaTeX Warning: `h' float specifier changed to `ht'. LaTeX Warning: `h' float specifier changed to `ht'. + +LaTeX Warning: `h' float specifier changed to `ht'. + +[3] + +LaTeX Warning: `h' float specifier changed to `ht'. + ) (./sections/case_studies.tex) (./sections/conclusion.tex) (./main.bbl ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `en'. Using the pattern for @@ -417,6 +424,10 @@ LaTeX Warning: `h' float specifier changed to `ht'. ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `en'. Using the pattern for ** the default language instead. + +Underfull \vbox (badness 10000) has occurred while \output is active [] + + ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `en'. Using the pattern for ** the default language instead. @@ -426,7 +437,6 @@ LaTeX Warning: `h' float specifier changed to `ht'. ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `en'. Using the pattern for ** the default language instead. -[3] ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `en'. Using the pattern for ** the default language instead. @@ -466,11 +476,14 @@ might try typing `S' now just to see what is salvageable. ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `en'. Using the pattern for ** the default language instead. -) (./sections/appendix.tex +) (./sections/appendix.tex [4] LaTeX Font Warning: Font shape `OT1/ptm/m/scit' undefined (Font) using `OT1/ptm/m/sc' instead on input line 15. + +LaTeX Warning: `h' float specifier changed to `ht'. + ) ** Conference Paper ** @@ -483,17 +496,17 @@ 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. -[4] (./main.aux) +[5] (./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: - 6344 strings out of 476076 - 94418 string characters out of 5793776 - 2116187 words of memory out of 5000000 - 28361 multiletter control sequences out of 15000+600000 + 6386 strings out of 476076 + 94893 string characters out of 5793776 + 2180187 words of memory out of 5000000 + 28403 multiletter control sequences out of 15000+600000 597323 words of font info for 103 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 57i,8n,65p,1155b,1257s stack positions out of 10000i,1000n,20000p,200000b,200000s @@ -502,10 +515,10 @@ texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb> -Output written on ./main.pdf (4 pages, 160828 bytes). +Output written on ./main.pdf (5 pages, 164937 bytes). PDF statistics: - 49 PDF objects out of 1000 (max. 8388607) - 29 compressed objects within 1 object stream + 52 PDF objects out of 1000 (max. 8388607) + 31 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 8ea3cc3..06cafb1 100644 Binary files a/main.pdf and b/main.pdf differ diff --git a/main.synctex.gz b/main.synctex.gz index 44e3311..4e4f3e3 100644 Binary files a/main.synctex.gz and b/main.synctex.gz differ diff --git a/sections/attacker_models.tex b/sections/attacker_models.tex index 40b52d5..44fd7cc 100644 --- a/sections/attacker_models.tex +++ b/sections/attacker_models.tex @@ -88,6 +88,87 @@ BREAK: \label{sub:Rearrange Attacker} Lastly, \korg supports an attacker model such that an attacker can \textit{rearrange} messages on a channel. Like the drop and replay attacker models, the user can specify a "rearrange limit" that caps the number of messages that can be rearranged by the attacker on the specified channel. +The rearrange attacker model gadget \korg synthesizes works as follows. The gadget has three states, \textsc{Init}, \textsc{Consume}, and \textsc{Replay}. The gadget begins in the \textsc{Init} state, where it arbitrarily chooses a message to start consuming by transitioning to the \textsc{Consume} state. When in the \textsc{Consume} state, the gadget consumes all messages that appear on the channel, filling up a local buffer, until hitting the defined rearrange limit. Once this limit is hit, the gadget transitions into the \textsc{Replay} state. In the \textsc{Replay} state, the gadget nondeterministically selects messages from its storage buffer to replay onto the channel until out of messages. An example is shown in Figure \ref{lst:korg_rearrange}. + +\begin{figure}[h] +\begin{lstlisting}[caption={Example rearrange attacker model gadget with the selected replay limit as 3, targetting channel "cn"}, label={lst:korg_rearrange}] +chan cn = [8] of { int, int, int }; + +chan gadget_mem = [3] of { int, int, int }; +active proctype attacker_rearrange() priority 255 { +byte b_0, b_1, b_2, blocker; +int i = 3; +INIT: +do + // arbitrarily choose a message to start consuming on + :: { + blocker = len(cn); + do + :: b != len(c) -> goto INIT; + od + } + :: goto CONSUME; +od +CONSUME: +do + // consume messages with high priority + :: c ? [b_0] -> atomic { + c ? b_0 -> gadget_mem ! b_0; + i--; + if + :: i == 0 -> goto REPLAY; + :: i != 0 -> goto CONSUME; + fi + } +od +REPLAY: + do + // replay messages back onto the channel, also with priority + :: atomic { + int am; + select(am : 0 .. len(gadget_mem)-1); + do + :: am != 0 -> + am = am-1; + gadget_mem ? b_0 -> attacker_mem_0 ! b_0; + :: am == 0 -> + gadget_mem ? b_0 -> c ! b_0; + break; + od + } + :: atomic { empty(gadget_mem) -> goto BREAK; } + od +BREAK: +} + +\end{lstlisting} +\end{figure} + + \subsection{Custom Attacker Models}% \label{sub:Custom Attacker Models} -While the drop, replay, and rearrange attacker models as previously described have complex gadgets that \korg synthesizes with respect to a user-specified channel, \korg also supports the synthesis of gadgets with respect to user-defined inputs and outputs. +While the drop, replay, and rearrange attacker models as previously described have complex gadgets that \korg synthesizes with respect to a user-specified channel, \korg also supports the synthesis of gadgets with respect to user-defined inputs and outputs. The user defines an \textit{IO-file} denoting the specific input and output messages the attacker is capable of sending, and \korg generates a gadget capable of synthesizing attacks with respect to the user's specification. An example I/O file is given in Figure \ref{lst:io-file}, and the generated gadget is given in \ref{lst:io-file-synth}. + +\begin{figure}[h] +\begin{lstlisting}[caption={Example I/O file targetting channel "cn"}, label={lst:io-file}] +cn: + I: + O:1-1-1, 1-2-3, 3-4-5 +\end{lstlisting} + +\begin{lstlisting}[caption={Example gadget synthesized from an I/O file targetting the channel "cn"}, label={lst:io-file-synth}] +chan cn = [8] of { int, int, int }; + +active proctype daisy() { +INIT: + do + :: cn ! 1,1,1; + :: cn ! 1,2,3; + :: cn ! 3,4,5; + :: goto RECOVERY; + od +RECOVERY: +} +\end{lstlisting} +\end{figure} +