From 728adaf66c39d207347f8f1f8cd2d82f476e87db Mon Sep 17 00:00:00 2001 From: Arthur Grisel-Davy Date: Mon, 3 Jun 2024 15:43:47 -0400 Subject: [PATCH] add correlation and modify capture overview poster --- lv/capture_presentation/power_pipeline.svg | 416 +++++++++++---------- lv/correlation/notes.typ | 19 + 2 files changed, 233 insertions(+), 202 deletions(-) create mode 100644 lv/correlation/notes.typ diff --git a/lv/capture_presentation/power_pipeline.svg b/lv/capture_presentation/power_pipeline.svg index 9fe905d..2a3ee99 100644 --- a/lv/capture_presentation/power_pipeline.svg +++ b/lv/capture_presentation/power_pipeline.svg @@ -2,9 +2,9 @@ + showgrid="false"> + + + transform="translate(-336.32441,7.2236683)"> + style="fill:#b3b3b3;stroke:#333333;stroke-width:0.677825" + d="m 415.53135,130.17468 h 33.11211 c 0.63365,0 1.14378,0.51013 1.14378,1.14378 v 16.78253 c 0,0.63365 -0.51013,1.14378 -1.14378,1.14378 h -33.11211 c -0.63365,0 -1.14378,-0.51013 -1.14378,-1.14378 v -16.78253 c 0,-0.63365 0.51013,-1.14378 1.14378,-1.14378 z" /> + style="fill:#666666;stroke:#333333;stroke-width:0.677825" + d="m 425.79855,130.17468 h 22.8449 c 0.63365,0 1.14378,0.51013 1.14378,1.14378 v 16.78253 c 0,0.63365 -0.51013,1.14379 -1.14378,1.14379 h -22.8449 c -0.63365,0 -1.14378,-0.51014 -1.14378,-1.14379 v -16.78253 c 0,-0.63365 0.51013,-1.14378 1.14378,-1.14378 z" /> + style="fill:#999999;stroke:#333333;stroke-width:0.725611" + d="m 371.76435,80.396972 h 35.44638 c 0.67833,0 1.22442,0.54609 1.22442,1.22441 v 17.965641 c 0,0.678317 -0.54609,1.224407 -1.22442,1.224407 h -35.44638 c -0.67832,0 -1.22441,-0.54609 -1.22441,-1.224407 V 81.621382 c 0,-0.67832 0.54609,-1.22441 1.22441,-1.22441 z" /> + transform="matrix(0.67782463,0,0,0.67782463,303.7609,71.707722)"> + style="fill:none;stroke:#333333;stroke-width:0.559015" + d="m 373.0806,82.040602 h 10.4995 v 17.532241 h -10.4995 z" /> + style="fill:#999999;stroke:#333333;stroke-width:0.725611" + d="m 371.76435,104.63578 h 35.44638 c 0.67833,0 1.22442,0.54609 1.22442,1.22441 v 17.96564 c 0,0.67832 -0.54609,1.22441 -1.22442,1.22441 h -35.44638 c -0.67832,0 -1.22441,-0.54609 -1.22441,-1.22441 v -17.96564 c 0,-0.67832 0.54609,-1.22441 1.22441,-1.22441 z" /> + style="fill:#666666;stroke:#333333;stroke-width:0.559015" + d="m 372.34264,106.07794 h 10.49949 v 17.53224 h -10.49949 z" /> + style="fill:none;stroke:#808080;stroke-width:0.547276;stroke-linecap:round;stroke-linejoin:round" + d="m 368.44888,131.99975 h 17.01778 c 0.34384,0 0.62064,0.27682 0.62064,0.62065 v 15.07348 c 0,0.34384 -0.2768,0.62065 -0.62064,0.62065 h -17.01778 c -0.34384,0 -0.62065,-0.27681 -0.62065,-0.62065 V 132.6204 c 0,-0.34383 0.27681,-0.62065 0.62065,-0.62065 z" /> + style="fill:#ff6600;stroke:#333333;stroke-width:0.478397;stroke-dasharray:none" + d="m 376.5162,135.14532 c -0.67768,0 -1.323,0.13431 -1.91569,0.37206 l 1.37972,2.1424 a 2.7233995,2.7233995 0 0 1 0.53597,-0.0848 2.7233995,2.7233995 0 0 1 2.72335,2.72335 2.7233995,2.7233995 0 0 1 -0.52559,1.60766 l 1.58097,2.45536 h 22.92304 l 3.17354,-1.98564 v -4.1545 l -3.17354,-1.98565 h -23.54331 c -0.9025,-0.70414 -2.01378,-1.08772 -3.15846,-1.09024 z" /> + style="fill:#ff6600;stroke:#333333;stroke-width:0.478397;stroke-dasharray:none" + d="m 374.60051,135.51738 c -1.89634,0.76072 -3.23732,2.61272 -3.23733,4.78095 -1.2e-4,2.84602 2.30701,5.15325 5.15302,5.15326 1.14468,-0.002 2.25596,-0.3861 3.15846,-1.09024 h 0.62027 l -1.58097,-2.45536 a 2.7233995,2.7233995 0 0 1 -2.19776,1.11595 2.7233995,2.7233995 0 0 1 -2.7236,-2.72361 2.7233995,2.7233995 0 0 1 2.18763,-2.63855 z" /> + style="fill:none;stroke:#333333;stroke-width:0.677825;stroke-linecap:round;stroke-linejoin:round" + d="m 519.30426,64.854719 -162.02003,0.0508 z" + sodipodi:nodetypes="ccc" /> + style="fill:#1a1a1a;stroke:#333333;stroke-width:0.677825;stroke-linecap:round" + d="m 375.70283,109.60778 h 3.77911 v 10.47045 h -3.77911 z" /> + aria-label="Y∝T∝I~∝W" + transform="matrix(0.67782463,0,0,0.67782463,323.98023,-60.686518)"> @@ -438,252 +446,256 @@ d="m 219.17689,433.31357 -1.21268,4.99339 -1.21269,-4.99339 h -1.28401 l -1.21268,4.99339 -1.21268,-4.99339 h -1.26364 l 1.76298,7.13342 h 0.0102 1.41649 l 1.14135,-4.78958 1.14134,4.78958 h 0.0102 1.4165 l 1.76297,-7.13342 z" id="path67" /> - - - - - - - + aria-label="What Am I Measuring!?" + transform="matrix(0.67782463,0,0,0.67782463,331.03367,-2.3272913)"> + style="fill:#666666;stroke:none;stroke-width:0.305767;stroke-linecap:round;stroke-dasharray:none" + d="m 526.41439,56.985649 a 11.289909,11.577444 0 0 0 -11.28988,11.57775 11.289909,11.577444 0 0 0 11.28988,11.57724 v -6.13047 h 7.32424 c 0.59281,0 1.07009,-0.47728 1.07009,-1.0701 v -1.36592 c 0,-0.59281 -0.47728,-1.0701 -1.07009,-1.0701 h -7.32424 v -3.88181 h 7.32424 c 0.59281,0 1.07009,-0.47728 1.07009,-1.07009 v -1.36592 c 0,-0.59282 -0.47728,-1.0701 -1.07009,-1.0701 h -7.32424 z" /> - + id="g4" + transform="matrix(0.49755614,0,0,0.49755614,212.70903,122.40931)"> + id="g40" + transform="matrix(0.67782463,0,0,0.67782463,463.05218,28.609794)"> + d="m 189.71586,299.31686 h 70.04377 c 4.75681,0 8.58629,3.82949 8.58629,8.5863 v 48.48098 c 0,4.75681 -3.82948,8.5863 -8.58629,8.5863 h -70.04377 c -4.75681,0 -8.5863,-3.82949 -8.5863,-8.5863 v -48.48098 c 0,-4.75681 3.82949,-8.5863 8.5863,-8.5863 z" /> + + + + + + + + + + + + + id="path39" + style="fill:#f9f9f9;stroke-width:1.4884;stroke-linecap:round;stroke-linejoin:round" + d="m 191.93267,308.91895 a 1.8619492,1.8619492 0 0 1 -1.86195,1.86194 1.8619492,1.8619492 0 0 1 -1.86194,-1.86194 1.8619492,1.8619492 0 0 1 1.86194,-1.86195 1.8619492,1.8619492 0 0 1 1.86195,1.86195 z" /> + id="circle39" + style="fill:#f9f9f9;stroke-width:1.4884;stroke-linecap:round;stroke-linejoin:round" + d="m 199.17335,308.91895 a 1.8619492,1.8619492 0 0 1 -1.86195,1.86194 1.8619492,1.8619492 0 0 1 -1.86195,-1.86194 1.8619492,1.8619492 0 0 1 1.86195,-1.86195 1.8619492,1.8619492 0 0 1 1.86195,1.86195 z" /> + id="circle40" + style="fill:#f9f9f9;stroke-width:1.4884;stroke-linecap:round;stroke-linejoin:round" + d="m 206.41403,308.91895 a 1.8619492,1.8619492 0 0 1 -1.86195,1.86194 1.8619492,1.8619492 0 0 1 -1.86195,-1.86194 1.8619492,1.8619492 0 0 1 1.86195,-1.86195 1.8619492,1.8619492 0 0 1 1.86195,1.86195 z" /> + + + id="g2" + transform="translate(0,-5.7511269)"> + id="path1" + style="fill:#ff6600;stroke:#333333;stroke-width:0.962042;stroke-dasharray:none" + d="m 406.98164,164.07869 c -1.36279,0 -2.66044,0.27005 -3.85233,0.74819 l 2.77453,4.30804 a 5.4766861,5.4766861 0 0 1 1.0778,-0.17024 5.4766861,5.4766861 0 0 1 5.47656,5.47656 5.4766861,5.4766861 0 0 1 -1.05713,3.2327 l 3.17945,4.93783 h 15.61704 c 0.64272,-5.5364 -1.67394,-10.66083 -1.86417,-16.34071 h -15.0002 c -1.8149,-1.41599 -4.04963,-2.18731 -6.35155,-2.19237 z" /> + id="path2" + style="fill:#ff6600;stroke:#333333;stroke-width:0.962042;stroke-dasharray:none" + d="m 403.12915,164.82674 c -3.81349,1.52979 -6.51016,5.25411 -6.51016,9.61438 -2.7e-4,5.72324 4.63932,10.36304 10.36257,10.36306 2.30192,-0.005 4.53667,-0.77644 6.35158,-2.19243 h 1.24734 l -3.17927,-4.93768 a 5.4766861,5.4766861 0 0 1 -4.41965,2.24413 5.4766861,5.4766861 0 0 1 -5.47709,-5.47708 5.4766861,5.4766861 0 0 1 4.39926,-5.30607 z" /> + id="path8" + style="fill:none;fill-rule:evenodd;stroke:#ffffff;stroke-width:0.135565" + d="m 412.75418,170.70966 c 2.26312,3.16345 1.48871,7.69165 -1.67051,9.94869 -3.20083,2.28677 -7.78051,1.50251 -10.06178,-1.69429 -2.30904,-3.23571 -1.51561,-7.86353 1.71624,-10.16754 3.26842,-2.33008 7.94152,-1.52809 10.26695,1.73662 2.35002,3.29924 1.54,8.01505 -1.75568,10.36077 -3.32837,2.36899 -8.08466,1.55138 -10.44963,-1.77357 -2.38708,-3.35601 -1.56229,-8.15076 1.79043,-10.53408 3.38233,-2.40436 8.21374,-1.57276 10.61457,1.80639 2.42092,3.40744 1.58282,8.27389 -1.82155,10.69146 -3.43146,2.43683 -8.33145,1.59253 -10.76511,-1.83596 -2.4521,-3.4545 -1.60188,-8.38668 1.84975,-10.83578 3.47662,-2.46683 8.43975,-1.61092 10.90371,1.86292 2.48105,3.49791 1.61966,8.49086 -1.87555,10.96915 -3.51843,2.49477 -8.54014,1.62813 -11.03228,-1.88768 -2.50804,-3.53825 -1.63632,-8.58774 1.89937,-11.09326 3.5574,-2.5209 8.63377,-1.6443 11.15225,1.91063 2.53338,3.57594 1.65203,8.67832 -1.9215,11.20937 -3.59391,2.54548 -8.72153,1.65955 -11.26478,-1.932 -2.55724,-3.61134 -1.66686,-8.76346 1.94219,-11.31854 3.62826,-2.56869 8.80419,-1.674 11.37078,1.95203 2.57983,3.64473 1.68095,8.8438 -1.96159,11.4216 -3.66074,2.59067 -8.88234,1.68772 -11.47106,-1.97089 -2.60126,-3.67633 -1.69433,-8.91988 1.97991,-11.51923 3.69153,-2.61158 8.95649,-1.7008 11.56621,1.98869 2.62166,3.70635 1.70711,8.99218 -1.99724,11.61204 -3.72081,2.6315 -9.02703,1.71328 -11.65679,-2.00558 -2.64112,-3.73494 -1.71933,-9.06107 2.01371,-11.7005 3.74875,-2.65053 9.09435,-1.72524 11.74323,2.02164 2.38233,3.36983 1.92746,8.11012 -1.04471,10.97099" /> + style="fill:none;stroke:#ffffff;stroke-width:0.179341px;stroke-linecap:round;stroke-linejoin:miter;stroke-opacity:1" + d="m 412.75418,170.70966 h 5.40302" + id="path10" /> + + + - - + id="rect41" + d="m 394.09823,155.8129 c 0.0727,-0.008 0.14736,-0.0128 0.22346,-0.0128 h 0.23024 m 0.66263,0 h 0.46047 m 0.66264,0 h 0.46047 m 0.66264,0 h 0.46047 m 0.66263,0 h 0.46048 m 0.66263,0 h 0.46047 m 0.66264,0 h 0.46047 m 0.66263,0 h 0.46048 m 0.66263,0 h 0.46047 m 0.66264,0 h 0.46047 m 0.66263,0 h 0.46048 m 0.66263,0 h 0.46047 m 0.66263,0 h 0.46048 m 0.66263,0 h 0.46048 m 0.66263,0 h 0.46047 m 0.66263,0 h 0.46048 m 0.66263,0 h 0.46047 m 0.66263,0 h 0.46048 m 0.66263,0 h 0.46048 m 0.66263,0 h 0.46047 m 0.66264,0 h 0.46047 m 0.66264,0 h 0.46047 m 0.66263,0 h 0.46047 m 0.66264,0 h 0.46047 m 0.66263,0 h 0.46048 m 0.66263,0 h 0.46048 m 0.66263,0 h 0.46047 m 0.66263,0 h 0.46047 m 0.66264,0 h 0.46047 m 0.66264,0 h 0.46047 m 0.66264,0 h 0.46047 m 0.66264,0 h 0.46047 m 0.66263,0 h 0.46047 m 0.66264,0 h 0.46047 m 0.66263,0 h 0.23024 c 0.0761,0 0.15072,0.004 0.22343,0.0128 m 0.5915,0.17615 c 0.12157,0.0632 0.22833,0.14023 0.31591,0.22795 m 0.24412,0.42681 c 0.0117,0.0525 0.0177,0.10632 0.0177,0.16123 v 0.16677 m 0,0.47997 v 0.33354 m 0,0.47997 v 0.33354 m 0,0.47997 v 0.33353 m 0,0.47998 v 0.33354 m 0,0.47997 v 0.33355 m 0,0.47996 v 0.33355 m 0,0.47997 v 0.33353 m 0,0.47998 v 0.33354 m 0,0.47997 v 0.33353 m 0,0.47998 v 0.33354 m 0,0.47997 v 0.33354 m 0,0.47997 v 0.33354 m 0,0.47998 v 0.33352 m 0,0.47998 v 0.33354 m 0,0.47997 v 0.33354 m 0,0.47997 v 0.33355 m 0,0.47997 v 0.33354 m 0,0.47997 v 0.33354 m 0,0.47997 v 0.33353 m 0,0.47998 v 0.33354 m 0,0.47997 v 0.33354 m 0,0.47997 v 0.33354 m 0,0.47998 v 0.33352 m 0,0.47998 v 0.33354 m 0,0.47996 v 0.33355 m 0,0.47997 v 0.33354 m 0,0.47998 v 0.33354 m 0,0.47997 v 0.33353 m 0,0.47998 v 0.33353 m 0,0.47998 v 0.16677 c 0,0.0549 -0.006,0.10874 -0.0177,0.16122 m -0.24411,0.4268 c -0.0876,0.0877 -0.19434,0.16476 -0.31591,0.22796 m -0.59149,0.17615 c -0.0727,0.008 -0.14736,0.0128 -0.22346,0.0128 h -0.23023 m -0.66264,0 h -0.46047 m -0.66264,0 h -0.46047 m -0.66263,0 h -0.46047 m -0.66264,0 h -0.46047 m -0.66264,0 h -0.46047 m -0.66264,0 h -0.46047 m -0.66263,0 h -0.46048 m -0.66262,0 h -0.46048 m -0.66263,0 h -0.46048 m -0.66263,0 h -0.46047 m -0.66264,0 h -0.46047 m -0.66263,0 h -0.46048 m -0.66263,0 h -0.46047 m -0.66263,0 h -0.46048 m -0.66263,0 h -0.46048 m -0.66263,0 h -0.46047 m -0.66263,0 h -0.46048 m -0.66263,0 h -0.46047 m -0.66263,0 h -0.46048 m -0.66263,0 h -0.46047 m -0.66264,0 h -0.46047 m -0.66264,0 h -0.46047 m -0.66264,0 h -0.46047 m -0.66263,0 h -0.46047 m -0.66264,0 h -0.46047 m -0.66264,0 h -0.46047 m -0.66263,0 h -0.46048 m -0.66263,0 h -0.46047 m -0.66264,0 h -0.46047 m -0.66263,0 h -0.46048 m -0.66263,0 h -0.46047 m -0.66264,0 h -0.46047 m -0.66263,0 h -0.46048 m -0.66263,0 h -0.23023 c -0.0761,0 -0.15073,-0.004 -0.22343,-0.0128 m -0.59151,-0.17615 c -0.12157,-0.0632 -0.22833,-0.14022 -0.31591,-0.22795 m -0.24412,-0.42681 c -0.0116,-0.0524 -0.0177,-0.10632 -0.0177,-0.16123 v -0.16677 m 0,-0.47997 v -0.33354 m 0,-0.47998 v -0.33353 m 0,-0.47997 v -0.33354 m 0,-0.47997 v -0.33354 m 0,-0.47997 v -0.33355 m 0,-0.47996 v -0.33355 m 0,-0.47997 v -0.33353 m 0,-0.47998 v -0.33353 m 0,-0.47998 V 173.722 m 0,-0.47997 v -0.33355 m 0,-0.47997 v -0.33353 m 0,-0.47998 v -0.33354 m 0,-0.47997 v -0.33354 m 0,-0.47997 v -0.33354 m 0,-0.47997 v -0.33354 m 0,-0.47997 v -0.33355 m 0,-0.47997 v -0.33353 m 0,-0.47998 v -0.33354 m 0,-0.47997 v -0.33353 m 0,-0.47998 v -0.33354 m 0,-0.47997 v -0.33354 m 0,-0.47997 v -0.33354 m 0,-0.47997 v -0.33354 m 0,-0.47997 v -0.33354 m 0,-0.47997 v -0.33354 m 0,-0.47997 v -0.33355 m 0,-0.47997 v -0.33353 m 0,-0.47998 v -0.33354 m 0,-0.47997 v -0.33353 m 0,-0.47998 v -0.16677 c 0,-0.0549 0.006,-0.10874 0.0177,-0.16122 m 0.2441,-0.4268 c 0.0876,-0.0877 0.19435,-0.16476 0.31591,-0.22796 m 0.5915,-0.17615 c 0.0727,-0.008 0.14736,-0.0128 0.22346,-0.0128" + style="fill:none;stroke:#808080;stroke-width:0.287888;stroke-linecap:round;stroke-linejoin:round;stroke-dasharray:none;stroke-opacity:1" /> - + style="fill:none;stroke:#5599ff;stroke-width:2.03347;stroke-linecap:round" + d="m 337.34115,-6.2069333 h 7.81782 v 7.817812 h -7.81782 z" /> + style="fill:none;stroke:#5599ff;stroke-width:2.03347;stroke-linecap:round" + d="m 543.38986,-6.2069333 h 7.81782 v 7.817812 h -7.81782 z" /> + style="fill:none;stroke:#5599ff;stroke-width:2.03347;stroke-linecap:round" + d="m 337.34115,263.34179 h 7.81782 v 7.81781 h -7.81782 z" /> + style="fill:none;stroke:#5599ff;stroke-width:2.03347;stroke-linecap:round" + d="m 543.38986,263.34179 h 7.81782 v 7.81781 h -7.81782 z" /> + inkscape:original-d="M 314.89679,391.94368 V 5.8100131" + transform="matrix(0.67782463,0,0,0.67782463,333.85397,-2.3272913)" + sodipodi:nodetypes="cc" /> + inkscape:original-d="M 19.147755,5.8100131 V 391.94368" + transform="matrix(0.67782463,0,0,0.67782463,328.27124,-2.3272913)" + sodipodi:nodetypes="cc" /> - diff --git a/lv/correlation/notes.typ b/lv/correlation/notes.typ new file mode 100644 index 0000000..51a921e --- /dev/null +++ b/lv/correlation/notes.typ @@ -0,0 +1,19 @@ += Problem Statement + +The problem of log verification can be devided in sub-problems. The concept of correlation is introduced in the sub-problem 1.1. + +== Problem 1 + +Given a tuple of time series and even series $(t,e)$, establish whether the event series was tampered with. + +== Problem 1.1 + +Given a tuple of time series and even series $(t,e)$, compute a correlation coefficient presenting a monotonic relationship with the number of changes applied to the event series. + +== Problem 1.2 + +Given a set of correlation coefficient computed from known-good $(t,e)$ tuples and a new coefficient computed from an unverified tuple $(t_u,e_u)$, verify whether $e_u$ was tampered with. + += Related Work + +