Hidden voice commands

Nicholas Carlini, Pratyush Mishra, Tavish Vaidya, +5

USENIX Security Symposium

EngineeringMachine LearningVoice InterfacesInformation SecurityPhonology +16

Efficient querying and maintenance of network provenance at internet-scale

Wenchao Zhou, Micah Sherr, Tao Tao, +3

EngineeringInformation SecurityVerificationNetwork AnalysisInformation Forensics +19

Secure network provenance

Wenchao Zhou, Qiong Fei, Arjun Narayan, +3

EngineeringNetwork Forensics CapabilitiesInformation SecurityVerificationNetwork Analysis +15

Let SDN Be Your Eyes: Secure Forensics in Data Center Networks

Adam Bates, Kevin Butler, Andreas Haeberlen, +2

EngineeringInformation SecurityInformation ForensicsSoftware Defined SecurityIncorrect Behavior +20

Datalog and Recursive Query Processing

Todd J. Green, Shan Huang, Boon Thau Loo, +1

Foundations and Trends in Databases

Diagnosing missing events in distributed systems with negative provenance

Yang Wu, Mingchen Zhao, Andreas Haeberlen, +2

Software MaintenanceEngineeringVerificationSoftware AnalysisFormal Verification +16

The Good, the Bad, and the Differences

Ang Chen, Yang Wu, Andreas Haeberlen, +2

VeriDB: An SGX-based Verifiable Database

Wenchao Zhou, Yifan Cai, Yanqing Peng, +3

EngineeringInformation SecurityVerificationData-centric SecurityComputer Architecture +18

Distributed time-aware provenance

Wenchao Zhou, Suyog Mapara, Yiqing Ren, +5

Proceedings of the VLDB Endowment

Cluster ComputingEngineeringDistributed Time-aware ProvenanceSemantic WebData Provenance +15

Detecting covert timing channels with time-deterministic replay

Ang Chen, W. Brad Moore, Hanjun Xiao, +4

Operating Systems Design and Implementation

EngineeringInformation SecurityComputer ArchitectureInformation ForensicsSide-channel Attack +19