Reports for Author "Gruetter, Samuel" | Computer Science Department at Princeton University

Department of Computer Science

TR-999-17 - Improving the Coq proof automation tactics of the Veriﬁed Software Toolchain, based on a case study on verifying a C implementation of the AES encryption algorithm (2017)
Authors: Gruetter, Samuel