Tutorial: Making C Programs Safer with Checked C.

Jie Zhou Michael Hicks Yudi Yang John Criswell

Published in: SecDev (2021)

Keyphrases

multi agent
computer programs
machine learning
learning algorithm
website
high level
data structure
cd rom
programming environment
fixpoint