"...but can you prove it?" [technical documentation] | IEEE Conference Publication | IEEE Xplore