Skip to main content
Princeton Engineering
Search
Magnifying Glass
Princeton Computer Science
CS GUIDE
Main navigation
Academics
Toggle Academics
Chevron Up
Plus
Minus
Undergraduate Program
Graduate Program
Courses
Research
Toggle Research
Chevron Up
Plus
Minus
Research Areas
Technical Reports
Computing Facilities
People
Toggle People
Chevron Up
Plus
Minus
Faculty
Researchers
Technical Staff
Administrative Staff
Graduate Students
Undergraduate Students
Graduate Alumni
News & Events
Toggle News & Events
Chevron Up
Plus
Minus
Events
News
Diversity & Outreach
Toggle Diversity & Outreach
Chevron Up
Plus
Minus
Climate and Inclusion Committee
REU on AI and Machine Learning
Resources for students
Outreach initiatives
Resources for faculty and staff
Reports for Author "Gruetter, Samuel"
Search by
Author
Title
Date
TR Number
Keywords
TR-999-17 -
Improving the Coq proof automation tactics of the Verified Software Toolchain, based on a case study on verifying a C implementation of the AES encryption algorithm
(2017-04-13)
Gruetter, Samuel