Comment by jaddood

You could also choose to use formally verified software for sensitive research.