Logcrypt: forward security and public verification for secure audit logs