Work

Checked C: Making C Safe by Extension

Year: 2018

Type: conference-paper

Source: IEEE Cybersecurity Development (SecDev)

DOI: 10.1109/secdev.2018.00015

Authors: Archibald Samuel Elliott, Andrew Ruef, Michael Hicks, David Tarditi

Institutions: University of Washington, Microsoft (United States), University of Maryland, College Park

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2889788853

FWCI: 3.251

Cites: 34

Cited by: 64

Related to: 10