Biblio

Export 15 results:
Filters: Author is Suman Jana  [Clear All Filters]
2022
Park S, Kim D, Jana S, Son S.  2022.  FUGIO: Automatic Exploit Generation for PHP Object Injection Vulnerabilities. 31st USENIX Security Symposium (USENIX Security 22). :197--214.
2021
Lee H, Lee J, Kim D, Jana S, Shin I, Son S.  2021.  AdCube: WebVR Ad Fraud and Practical Confinement of Third-Party Ads. 30th USENIX Security Symposium (USENIX Security 21). :2543--2560.
Chen Y, Wang S, Jiang W, Cidon A, Jana S.  2021.  Cost-Aware Robust Tree Ensembles for Security Applications. 30th USENIX Security Symposium (USENIX Security 21). :2291--2308.
Yao J, Tao R, Gu R, Nieh J, Jana S, Ryan G.  2021.  DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). :405--421.
Ryan G, Shah A, She D, Bhat K, Jana S.  2021.  Fine Grained Dataflow Tracking with Proximal Gradients. 30th USENIX Security Symposium (USENIX Security 21). :1611--1628.
2020
Chen Y, Wang S, She D, Jana S.  2020.  On Training Robust PDF Malware Classifiers. 29th USENIX Security Symposium (USENIX Security 20). :2343--2360.
2018
Wang S, Pei K, Whitehouse J, Yang J, Jana S.  2018.  Formal Security Analysis of Neural Networks using Symbolic Intervals. 27th USENIX Security Symposium (USENIX Security 18). :1599--1614.
Pailoor S, Aday A, Jana S.  2018.  MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation. 27th USENIX Security Symposium (USENIX Security 18). :729--743.
2016
Jana S, Kang YJochen, Roth S, Ray B.  2016.  Automatically Detecting Error Handling Bugs Using Error Specifications. 25th USENIX Security Symposium (USENIX Security 16). :345--362.
2014
Silver D, Jana S, Boneh D, Chen E, Jackson C.  2014.  Password Managers: Attacks and Defenses. 23rd USENIX Security Symposium (USENIX Security 14). :449--464.
2012
Dunn AM, Lee MZ, Jana S, Kim S, Silberstein M, Xu Y, Shmatikov V, Witchel E.  2012.  Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). :61--75.
2011
Jana S, Shmatikov V.  2011.  EVE: Verifying Correct Execution of Cloud-Hosted Web Applications. 3rd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 11).