Bringing order to the web: Automatically categorizing search resultsMOPS: an Infrastructure for Examining Security Properties of Software
