LAVA: Log Authentication and Verification Algorithm - Bajramovic, Edita; Frinken, Marius; Freiling, Felix C. 1970- (Technical reports / Department Informatik, 2019)