Work

SoftBound

Year: 2009

Type: conference-paper

Source: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

DOI: 10.1145/1542476.1542504

Authors: Santosh Nagarakatte, Jianzhou Zhao, Milo M.K. Martin, Steve Zdancewic

Institution: University of Pennsylvania

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2155851497

FWCI: 7.39

Cites: 48

Cited by: 547

Related to: 10