Spinner: Semi-Automatic Detection of Pinning without Hostname Verification.

Chris McMahon Stone Tom Chothia Flavio D. Garcia

Published in: ACSAC (2017)

Keyphrases

automatic detection
model checking
automatically detecting
automatic classification
formal verification
chest ct
image processing
image segmentation
multiscale
small bowel