Limin Jia [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
How Risky Are Real Users' IFTTT Applets? SOUPS2020-2020 - Boston, United States
Riding out DOMsday: Towards Detecting and Preventing DOM Cross-Site Scripting. NDSS-2018 - san diego,usa
├╝berSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor USENIX-2016 - austin,usa
Run-time Monitoring and Formal Analysis of Information Flows in Chromium NDSS-2015 - san diego,usa
Mechanized Network Origin and Path Authenticity Proofs CCS-2014 - Scottsdale,USA
Analyzing the Dangers Posed by Chrome Extensions CNS-2014 - san francisco,usa
Continuous Tamper-proof Logging using TPM 2.0 Trust-2014 - Crete,Greece
Formal Models and Verification of Software Systems wicys-2014 - Nashville,USA
Information Flow 2 CSF-2013 - Louisiana,USA Security
Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Confrence-on-computer-communications-security-2011 - Chicago, USA