grizzly/deneir
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

spring cleanup

Browse source
This commit is contained in:
grizzly 2025-06-08 18:47:32 -04:00
parent f5712a3a73
commit 848f8cb57d
95 changed files with 46734 additions and 2311 deletions
Download patch file Download diff file Expand all files Collapse all files

19
lv/correlation/notes.typ
View file

@ -1,19 +0,0 @@
= 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