Suman Jana
发表
Yizheng Chen,
Shiqi Wang,
Ahmed Abdou,
2018,
ArXiv.
Suman Jana,
Gabriel Ryan,
Justin Wong,
2019,
ICLR.
Sneha Kumar Kasera,
Suman Jana,
Neal Patwari,
2010,
IEEE Transactions on Mobile Computing.
Dan Boneh,
Eric Yawei Chen,
Collin Jackson,
2014,
USENIX Security Symposium.
Helen J. Wang,
Benjamin Livshits,
Suman Jana,
2013,
USENIX Security Symposium.
Sneha Kumar Kasera,
Suman Jana,
2010,
IEEE Transactions on Mobile Computing.
Sneha Kumar Kasera,
Srikanth V. Krishnamurthy,
Suman Jana,
2009,
IEEE Transactions on Mobile Computing.
Vitaly Shmatikov,
Suman Jana,
2011,
HotCloud.
Salvatore J. Stolfo,
Dimitris Mitropoulos,
Angelos D. Keromytis,
2017,
ArXiv.
Suman Jana,
Shankara Pailoor,
Andrew Aday,
2018,
USENIX Security Symposium.
Angelos D. Keromytis,
Suman Jana,
Jason Zhao,
2017,
CCS.
Vitaly Shmatikov,
Donald E. Porter,
Suman Jana,
2011,
2011 IEEE Symposium on Security and Privacy.
Junfeng Yang,
Suman Jana,
Yinzhi Cao,
2019,
GETMBL.
Suman Jana,
Roxana Geambasu,
Vaggelis Atlidakis,
2018,
2019 IEEE Symposium on Security and Privacy (SP).
Junfeng Yang,
Suman Jana,
Yinzhi Cao,
2019,
Commun. ACM.
Yizheng Chen,
Suman Jana,
Shiqi Wang,
2019
.
Grand Challenges of Resilience: Autonomous System Resilience through Design and Runtime Measures
pdf
Shaoshuai Mou,
Saurabh Bagchi,
Suman Jana,
2019,
ArXiv.
Úlfar Erlingsson,
Suman Jana,
Iulia Ion,
2015,
ArXiv.
Suman Jana,
Roystan Vijay Castelino,
Rajesh Kumhar,
2018
.
Suman Jana,
Henry Corrigan-Gibbs,
2015,
HotOS.
Junfeng Yang,
Suman Jana,
Baishakhi Ray,
2018,
2019 IEEE Symposium on Security and Privacy (SP).
Suman Jana,
Shiqi Wang,
Prateek Mittal,
2020,
NeurIPS.
Suman Jana,
Yigal Bejerano,
Pramod V. Koppol,
2012,
37th Annual IEEE Conference on Local Computer Networks.
Suman Jana,
Gabriel Ryan,
Koustubha Bhat,
2019,
ArXiv.
Salvatore J. Stolfo,
Angelos D. Keromytis,
Suman Jana,
2017,
2017 IEEE Symposium on Security and Privacy (SP).
Yizheng Chen,
Suman Jana,
Shiqi Wang,
2019,
ArXiv.
Junfeng Yang,
Suman Jana,
Yinzhi Cao,
2017,
ArXiv.
Vitaly Shmatikov,
Suman Jana,
Arvind Narayanan,
2013,
2013 IEEE Symposium on Security and Privacy.
Helen J. Wang,
Benjamin Livshits,
Suman Jana,
2013,
HotOS.
Vitaly Shmatikov,
Suman Jana,
S. Jana,
2012,
2012 IEEE Symposium on Security and Privacy.
Junfeng Yang,
Suman Jana,
Yinzhi Cao,
2017,
SOSP.
Suman Jana,
Roxana Geambasu,
Vaggelis Atlidakis,
2018,
ArXiv.
Suman Jana,
Lawrence Carin,
Shiqi Wang,
2020,
ArXiv.
Yizheng Chen,
Ahmed Abdou,
Suman Jana,
2019,
ArXiv.
Sneha Kumar Kasera,
Srikanth V. Krishnamurthy,
Suman Jana,
2013,
IEEE Trans. Mob. Comput..
Vitaly Shmatikov,
Suman Jana,
Martin Georgiev,
2014,
NDSS.
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers
pdf
Yihan Wang,
Suman Jana,
Shiqi Wang,
2020,
ICLR.
Yizheng Chen,
Shiqi Wang,
Suman Jana,
2019,
USENIX Security Symposium.
Sneha Kumar Kasera,
Suman Jana,
S. Jana,
2008,
IEEE Transactions on Mobile Computing.
SFADiff: Automated Evasion Attacks and Fingerprinting Using Black-box Differential Automata Learning
Angelos D. Keromytis,
Aggelos Kiayias,
Suman Jana,
2016,
CCS.
Vitaly Shmatikov,
Suman Jana,
S. Jana,
2012,
2012 IEEE Symposium on Security and Privacy.
Suman Jana,
Baishakhi Ray,
Samuel Roth,
2016,
USENIX Security Symposium.
Suman Jana,
Roystan Vijay Castelino,
2018,
2018 4th International Conference on Electrical Energy Systems (ICEES).
Vitaly Shmatikov,
Dan Boneh,
Suman Jana,
2012,
CCS.
Suman Jana,
Baishakhi Ray,
Lu Yan,
2020,
ESEC/SIGSOFT FSE.
Yizheng Chen,
Ahmed Abdou,
Suman Jana,
2018,
1811.02625.
Junfeng Yang,
Suman Jana,
Yinzhi Cao,
2019,
ACM SIGOPS Oper. Syst. Rev..
Yizheng Chen,
Suman Jana,
Baishakhi Ray,
2019,
2020 IEEE Symposium on Security and Privacy (SP).
Suman Jana,
Baishakhi Ray,
Junfeng Yang,
2020,
ArXiv.
Suman Jana,
David Williams-King,
Junfeng Yang,
2020,
NDSS.
Vitaly Shmatikov,
Suman Jana,
Richard McPherson,
2015,
WWW.
Vitaly Shmatikov,
Suman Jana,
Martin Georgiev,
2015,
WWW.
Suman Jana,
Pabitra Kumar Biswas,
Upama Das,
2018,
2018 2nd International Conference on Power, Energy and Environment: Towards Smart Technology (ICEPE).
Suman Jana,
Shiqi Wang,
Prateek Mittal,
2020,
ArXiv.
Suman Jana,
Baishakhi Ray,
Kexin Pei,
2017,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Vitaly Shmatikov,
Suman Jana,
Mark Silberstein,
2012,
OSDI.
Angelos D. Keromytis,
Suman Jana,
Suphannee Sivakorn,
2017,
2017 IEEE Symposium on Security and Privacy (SP).
Vitaly Shmatikov,
Sarfraz Khurshid,
Suman Jana,
2014,
2014 IEEE Symposium on Security and Privacy.
Suman Jana,
Lawrence Carin,
Shiqi Wang,
2020,
ArXiv.
Suman Jana,
Debmalya Mandal,
Jeannette M. Wing,
2020,
NeurIPS.
Subrata Biswas,
Suman Jana,
P K Biswas,
2018,
2018 4th International Conference on Electrical Energy Systems (ICEES).
Suman Jana,
Pabitra Kumar Biswas,
Upama Das,
2018
.
Prateek Mittal,
Suman Jana,
Shiqi Wang,
2019,
ArXiv.
Junfeng Yang,
Shiqi Wang,
Suman Jana,
2018,
USENIX Security Symposium.
Suman Jana,
Pabitra Kumar Biswas,
Roystan Vijay Castelino,
2018,
2018 2nd International Conference on Power, Energy and Environment: Towards Smart Technology (ICEPE).
Junfeng Yang,
Shiqi Wang,
Suman Jana,
2018,
NeurIPS.
Suman Jana,
Baishakhi Ray,
Yuan Jochen Kang,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Parinaz Naghizadeh Ardabili,
Shreyas Sundaram,
Shaoshuai Mou,
2019,
ArXiv.
Dan Boneh,
Suman Jana,
Benjamin A. Braun,
2015,
ArXiv.
Junfeng Yang,
Suman Jana,
Baishakhi Ray,
2018,
ArXiv.
Vitaly Shmatikov,
Sarfraz Khurshid,
Saikat Guha,
2014,
IEEE Symposium on Security and Privacy.
Suman Jana,
Pabitra Kumar Biswas,
2018,
2018 4th International Conference on Electrical Energy Systems (ICEES).
Suman Jana,
Upama Das,
P K Biswas,
2017,
2017 IEEE Calcutta Conference (CALCON).
Suman Jana,
Gabriel Ryan,
Justin Wong,
2020,
PLDI.
Yizheng Chen,
Suman Jana,
Xiaojing Liao,
2021,
CCS.
Suman Jana,
Baishakhi Ray,
David Williams-King,
2021,
ESEC/SIGSOFT FSE.
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Verification
pdf
Cho-Jui Hsieh,
Suman Jana,
Shiqi Wang,
2021,
ArXiv.
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers
pdf
Cho-Jui Hsieh,
Suman Jana,
Shiqi Wang,
2021,
ICLR.
Cho-Jui Hsieh,
Suman Jana,
Kaidi Xu,
2021,
NeurIPS.
Suman Jana,
Jason Nieh,
Gabriel Ryan,
2021,
OSDI.
Suman Jana,
Meeyoung Cha,
Sooel Son,
2021,
ArXiv.
Yizheng Chen,
Suman Jana,
Shiqi Wang,
2019,
USENIX Security Symposium.
Insik Shin,
Suman Jana,
Sooel Son,
2021,
USENIX Security Symposium.
Suman Jana,
Amit Datta,
S. Jana,
2015
.