Search Results for "evidence"

Tailslayer is a cybersecurity and forensic analysis tool designed to extract and analyze artifacts from Tails OS environments. It focuses on uncovering traces of activity in systems that are designed to be privacy-preserving and ephemeral. The tool helps investigators identify residual data such as logs, configurations, or usage traces that may persist despite Tails’ security features. It is particularly relevant for digital forensics and research into privacy systems. Tailslayer emphasizes...

...The second important goal of Bugst is improving scalability of its libraries to programs used in practice, since experiments performed on such programs usually give solid experimental evidence of practical usability of the evaluated method. Bugst's important content: * lonka - Control-flow graph based program representation. * symtex - Program analysis called Symbolic Execution * cosymtex - Program analysis called Compact Symbolic Execution * segy - Symbolic Memory with pointers and pointer arithmetic * llvm2celllvm - Translates LLVM to constant-expressions-less LLVM...

OnPosix is a minimal C++ library that allows to speed-up development on embedded Posix platforms (e.g., Embedded Linux). Code available at https://github.com/evidence/linux-onposix

...It can handle highly non-linear dependencies between multivariate random variables. The particle based inference can answer arbitrary questions given the provided evidence and can even cope with multimodal densities. The library supports the most common types of densities and conditional densities, like uniform or normal densities and facilitates user defined density functions. To enable easy use the library is taking account of modern development techniques like policy based design and template programming. ...