University of Illinois Urbana-Champaign
University of Illinois at Urbana-Champaign
The Grainger College of Engineering
Information Trust Institute
Search
Menu
Search
About
Research
Research
Centers
Critical Infrastructure
Energy Systems
Systems and Networking
Testbed Science
Education
Education
Certificates
CIRI Workforce Development
Education and Training Program (ETP)
ETP Courses
ETP Registration
ETP Frequently Asked Questions
Illinois Cyber Security Scholars Program (ICSSP)
NSA Center for Cyber Defense Education and Research
Campus Centers
NSA People
Industry Advisory Board
Outreach
Program of Study
UI Security Program
Relevant Classes
Technology Transition
Technology Transition
OpenAMPERe
Work With Us
Work With Us
Internship Opportunities
News
Events
Events
Current Calendar
Seminars and Lectures
People
People
Researchers
Administration
Student Employees
Contact Us
CREDC
CREDC
CREDC News
CREDC People
CREDC Publications
CREDC Impact Areas
CREDC Research Themes
CREDC Research Activities
CREDC Technology
CREDC Videos
Home
CREDC
CREDC People
Peter C. Johnson (CREDC ALUM)
Peter C. Johnson (CREDC ALUM)
Peter C. Johnson (CREDC ALUM)
Student Researcher
Student Researcher
Dartmouth College
Peter C. Johson is a former CREDC student researcher.
Leadership Role
Activities Leadership Role
Related Research Activities
Impact Areas Leadership Role
Related Impact Areas
Related Technologies
Related Stories
Related Videos
Related Publications
Towards A Verified Complex Protocol Stack in a Production Kernel: Methodology and Demonstration