Work

Tutorial: Making C Programs Safer with Checked C

Year: 2021

Type: conference-paper

Source: IEEE Secure Development Conference (SecDev)

DOI: 10.1109/secdev51306.2021.00018

Authors: Jie Zhou, Michael Hicks, Yudi Yang, John Criswell

Institution: University of Rochester

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4200166429

FWCI:

Cites: 5

Cited by:

Related to: 10