BBOX - Universal Registry for Verified Software