@inproceedings {277214,
	author = {Sunnyeo Park and Daejun Kim and Suman Jana and Sooel Son},
	title = {{FUGIO}: Automatic Exploit Generation for {PHP} Object Injection Vulnerabilities},
	booktitle = {31st USENIX Security Symposium (USENIX Security 22)},
	year = {2022},
	isbn = {978-1-939133-31-1},
	address = {Boston, MA},
	pages = {197--214},
	url = {https://www.usenix.org/conference/usenixsecurity22/presentation/park-sunnyeo},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {272202,
	author = {Hyunjoo Lee and Jiyeon Lee and Daejun Kim and Suman Jana and Insik Shin and Sooel Son},
	title = {{AdCube}: {WebVR} Ad Fraud and Practical Confinement of {Third-Party} Ads},
	booktitle = {30th USENIX Security Symposium (USENIX Security 21)},
	year = {2021},
	isbn = {978-1-939133-24-3},
	pages = {2543--2560},
	url = {https://www.usenix.org/conference/usenixsecurity21/presentation/lee-hyunjoo},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {272268,
	author = {Yizheng Chen and Shiqi Wang and Weifan Jiang and Asaf Cidon and Suman Jana},
	title = {{Cost-Aware} Robust Tree Ensembles for Security Applications},
	booktitle = {30th USENIX Security Symposium (USENIX Security 21)},
	year = {2021},
	isbn = {978-1-939133-24-3},
	pages = {2291--2308},
	url = {https://www.usenix.org/conference/usenixsecurity21/presentation/chen-yizheng},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {273755,
	author = {Jianan Yao and Runzhou Tao and Ronghui Gu and Jason Nieh and Suman Jana and Gabriel Ryan},
	title = {{DistAI}: {Data-Driven} Automated Invariant Learning for Distributed Protocols},
	booktitle = {15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21)},
	year = {2021},
	isbn = {978-1-939133-22-9},
	pages = {405--421},
	url = {https://www.usenix.org/conference/osdi21/presentation/yao},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {272163,
	author = {Gabriel Ryan and Abhishek Shah and Dongdong She and Koustubha Bhat and Suman Jana},
	title = {Fine Grained Dataflow Tracking with Proximal Gradients},
	booktitle = {30th USENIX Security Symposium (USENIX Security 21)},
	year = {2021},
	isbn = {978-1-939133-24-3},
	pages = {1611--1628},
	url = {https://www.usenix.org/conference/usenixsecurity21/presentation/ryan},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {247644,
	author = {Yizheng Chen and Shiqi Wang and Dongdong She and Suman Jana},
	title = {On Training Robust {PDF} Malware Classifiers},
	booktitle = {29th USENIX Security Symposium (USENIX Security 20)},
	year = {2020},
	isbn = {978-1-939133-17-5},
	pages = {2343--2360},
	url = {https://www.usenix.org/conference/usenixsecurity20/presentation/chen-yizheng},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {217595,
	author = {Shiqi Wang and Kexin Pei and Justin Whitehouse and Junfeng Yang and Suman Jana},
	title = {Formal Security Analysis of Neural Networks using Symbolic Intervals},
	booktitle = {27th USENIX Security Symposium (USENIX Security 18)},
	year = {2018},
	isbn = {978-1-939133-04-5},
	address = {Baltimore, MD},
	pages = {1599--1614},
	url = {https://www.usenix.org/conference/usenixsecurity18/presentation/wang-shiqi},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {217573,
	author = {Shankara Pailoor and Andrew Aday and Suman Jana},
	title = {{MoonShine}: Optimizing {OS} Fuzzer Seed Selection with Trace Distillation},
	booktitle = {27th USENIX Security Symposium (USENIX Security 18)},
	year = {2018},
	isbn = {978-1-939133-04-5},
	address = {Baltimore, MD},
	pages = {729--743},
	url = {https://www.usenix.org/conference/usenixsecurity18/presentation/pailoor},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {197205,
	author = {Suman Jana and Yuan Jochen Kang and Samuel Roth and Baishakhi Ray},
	title = {Automatically Detecting Error Handling Bugs Using Error Specifications},
	booktitle = {25th USENIX Security Symposium (USENIX Security 16)},
	year = {2016},
	isbn = {978-1-931971-32-4},
	address = {Austin, TX},
	pages = {345--362},
	url = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/jana},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {189930,
	author = {Henry Corrigan-Gibbs and Suman Jana},
	title = {Recommendations for Randomness in the Operating System, or  How to Keep Evil Children out of Your Pool and Other Random Facts},
	booktitle = {15th Workshop on Hot Topics in Operating Systems (HotOS XV)},
	year = {2015},
	address = {Kartause Ittingen, Switzerland},
	url = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/corrigan-gibbs},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {184475,
	author = {David Silver and Suman Jana and Dan Boneh and Eric Chen and Collin Jackson},
	title = {Password Managers: Attacks and Defenses},
	booktitle = {23rd USENIX Security Symposium (USENIX Security 14)},
	year = {2014},
	isbn = {978-1-931971-15-7},
	address = {San Diego, CA},
	pages = {449--464},
	url = {https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/silver},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {180378,
	author = {Suman Jana and David Molnar and Alexander Moshchuk and Alan Dunn and Benjamin Livshits and Helen J. Wang and Eyal Ofek},
	title = {Enabling {Fine-Grained} Permissions for Augmented Reality Applications with Recognizers},
	booktitle = {22nd USENIX Security Symposium (USENIX Security 13)},
	year = {2013},
	isbn = {978-1-931971-03-4},
	address = {Washington, D.C.},
	pages = {415--430},
	url = {https://www.usenix.org/conference/usenixsecurity13/technical-sessions/presentation/jana},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {181987,
	author = {Loris D{\textquoteright}Antoni and Alan Dunn and Suman Jana and Tadayoshi Kohno and Benjamin Livshits and David Molnar and Alexander Moshchuk and Eyal Ofek and Franziska Roesner and Scott Saponas and Margus Veanes and Helen J. Wang},
	title = {Operating System Support for Augmented Reality Applications},
	booktitle = {14th Workshop on Hot Topics in Operating Systems (HotOS XIV)},
	year = {2013},
	address = {Santa Ana Pueblo, NM},
	url = {https://www.usenix.org/conference/hotos13/session/d{\textquoteright}antoni},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {180254,
	author = {Alan M. Dunn and Michael Z. Lee and Suman Jana and Sangman Kim and Mark Silberstein and Yuanzhong Xu and Vitaly Shmatikov and Emmett Witchel},
	title = {Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels},
	booktitle = {10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)},
	year = {2012},
	isbn = {978-1-931971-96-6},
	address = {Hollywood, CA},
	pages = {61--75},
	url = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/dunn},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {266825,
	author = {Suman Jana and Vitaly Shmatikov},
	title = {{EVE}: Verifying Correct Execution of {Cloud-Hosted} Web Applications},
	booktitle = {3rd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 11)},
	year = {2011},
	address = {Portland, OR},
	url = {https://www.usenix.org/conference/hotcloud11/eve-verifying-correct-execution-cloud-hosted-web-applications},
	publisher = {USENIX Association},
	month = jun
}
