Bridging the Semantic Gap Through Static Code Analysis (2012)

by C SCHNEIDER, J PFOH, C ECKERT
Venue:In Proceedings of EuroSec’12, 5th European Workshop on System Security