Linked Presentation: Are You Spying on Me? Large-Scale Analysis on IoT Data Exposure through Companion AppsCredit Karma: Understanding Security Implications of Exposed Cloud Services through Automated Capability InferenceUnion under Duress: Understanding Hazards of Duplicate Resource Mismediation in Android Software Supply ChainXCheck: Verifying Integrity of 3D Printed Patient-Specific Devices via Computing TomographySherlock on Specs: Building LTE Conformance Tests through Automated ReasoningA Verified Confidential Computing as a Service Framework for Privacy Preservation