ForeSee: A Cross-Layer Vulnerability Detection Framework for the Internet of Things | IEEE Conference Publication | IEEE Xplore