Certified liveness detection