Somesh Jha

发表

William R. Harris, Benjamin Farley, Somesh Jha, 2011 .
Somesh Jha, Vinod Yegneswaran, Jonathon T. Giffin, 2005, USENIX Security Symposium.
Somesh Jha, Edmund M. Clarke, Thomas Filkorn, 1993, CAV.
William R. Harris, Somesh Jha, Robert N. M. Watson, 2013, 2013 IEEE Symposium on Security and Privacy.
Alex Groce, Helmut Veith, Somesh Jha, 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
Ninghui Li, Somesh Jha, Bolin Ding, 2019, Proc. VLDB Endow..
Somesh Jha, Edmund M. Clarke, Wilfredo R. Marrero, 2003, International Journal on Software Tools for Technology Transfer.
Somesh Jha, Edmund M. Clarke, Yuan Lu, 1997, Proceedings International Conference on Computer Design VLSI in Computers and Processors.
Somesh Jha, Onn Shehory, Katia P. Sycara, 1998, CIA.
Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Somesh Jha, 2005, FAST'05.
Stefan Katzenbeisser, Helmut Veith, Somesh Jha, 2010, TOIT.
Somesh Jha, Jeannette M. Wing, 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Ananthram Swami, Somesh Jha, Susmit Jha, 2019, ArXiv.
Ninghui Li, Somesh Jha, Tianhao Wang, 2017, ArXiv.
Hao Wang, Somesh Jha, Thomas W. Reps, 2006, TACAS.
Somesh Jha, Mihai Christodorescu, S. Jha, 2003, USENIX Security Symposium.
Somesh Jha, Xi Wu, Yingyu Liang, 2019, NeurIPS.
Somesh Jha, Kamalika Chaudhuri, Robi Bhattacharjee, 2020, ArXiv.
Somesh Jha, Kamalika Chaudhuri, Varun Chandrasekaran, 2018, USENIX Security Symposium.
Somesh Jha, C. David Page, C. D. Page, 2017, IACR Cryptol. ePrint Arch..
Hao Wang, Somesh Jha, David Brumley, 2006, 2006 IEEE Symposium on Security and Privacy (S&P'06).
Helmut Veith, Harald C. Gall, Somesh Jha, 2003, SEKE.
Shan Lu, William R. Harris, Somesh Jha, 2013, CAV.
Ananthram Swami, Somesh Jha, Patrick D. McDaniel, 2015, 2016 IEEE European Symposium on Security and Privacy (EuroS&P).
Ananthram Swami, Somesh Jha, Ian Goodfellow, 2016 .
Somesh Jha, Jeannette M. Wing, Oleg Sheyner, 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Somesh Jha, Jonathon T. Giffin, Matt Fredrikson, 2010, USENIX Security Symposium.
Somesh Jha, Prasad Chalasani, Isaac Saias, 1999, Algorithmica.
Somesh Jha, Susmit Jha, Borhan Jalaeian, 2018, MILCOM 2018 - 2018 IEEE Military Communications Conference (MILCOM).
Somesh Jha, Thomas Ristenpart, David Page, 2014, USENIX Security Symposium.
Somesh Jha, Thomas W. Reps, Stefan Schwoon, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
Somesh Jha, Vinod Ganapathy, David Melski, 2003, CCS '03.
Somesh Jha, Sanjit A. Seshia, Tommaso Dreossi, 2020, IEEE Design & Test.
Somesh Jha, Amrita Roy Chowdhury, Bolin Ding, 2020, ArXiv.
Hao Wang, Somesh Jha, Vinod Ganapathy, 2006, 2006 22nd Annual Computer Security Applications Conference (ACSAC'06).
Ke Wang, Somesh Jha, Mihai Christodorescu, 2020 .
Somesh Jha, Barton P. Miller, Shai Rubin, 2004, 20th Annual Computer Security Applications Conference.
Somesh Jha, Drew Davidson, Randy Smith, 2009, ESORICS.
Stefan Katzenbeisser, Somesh Jha, Kay Hamacher, 2010 .
William R. Harris, Somesh Jha, Thomas W. Reps, 2010, CCS '10.
Somesh Jha, Edmund M. Clarke, Orna Grumberg, 1993, Formal Methods Syst. Des..
Hao Wang, Somesh Jha, David Brumley, 2008, IEEE Transactions on Dependable and Secure Computing.
Somesh Jha, Thomas W. Reps, S. Jha, 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Somesh Jha, Onn Shehory, Katia P. Sycara, 1998, AGENTS '98.
William R. Harris, Somesh Jha, William R. Harris, 2017, Formal Methods Syst. Des..
Ananthram Swami, Somesh Jha, Xi Wu, 2015, 2016 IEEE Symposium on Security and Privacy (SP).
Somesh Jha, Andrew Miller, Zhicheng Cai, 2018, ISoLA.
Somesh Jha, Vinod Yegneswaran, Paul Barford, 2004, NDSS.
David Garlan, Somesh Jha, David Notkin, 1998, SIGSOFT '98/FSE-6.
Somesh Jha, Kevin R. B. Butler, Joseph I. Choi, 2018, ArXiv.
Somesh Jha, Onn Shehory, Katia P. Sycara, 1998, AGENTS '98.
Somesh Jha, Matt Fredrikson, Mihai Christodorescu, 2013, 2013 8th International Conference on Malicious and Unwanted Software: "The Americas" (MALWARE).
Somesh Jha, Vinod Yegneswaran, Xiangyu Zhang, 2018, NDSS.
Somesh Jha, Onn Shehory, Katia Sycara, 1998 .
Stefan Katzenbeisser, Somesh Jha, Kay Hamacher, 2013, Inf. Secur. Tech. Rep..
Somesh Jha, Edmund M. Clarke, Thomas Filkorn, 1993, Formal Methods Syst. Des..
Ninghui Li, Somesh Jha, Thomas W. Reps, 2010, Analysis Techniques for Information Security.
Somesh Jha, Trent Jaeger, Vinod Ganapathy, 2006, 2006 IEEE Symposium on Security and Privacy (S&P'06).
Ninghui Li, Somesh Jha, Tianhao Wang, 2018, 2018 IEEE Symposium on Security and Privacy (SP).
Somesh Jha, Edmund M. Clarke, Orna Grumberg, 1993, Formal Methods Syst. Des..
Somesh Jha, Barton P. Miller, Shai Rubin, 2005 .
Somesh Jha, Prasad Chalasani, Isaac Saias, 1996, Proceedings of 37th Conference on Foundations of Computer Science.
Somesh Jha, Matt Fredrikson, Mihai Christodorescu, 2010, 2010 IEEE Symposium on Security and Privacy.
Somesh Jha, Thomas Reps, David Melski, 2005, Sci. Comput. Program..
Somesh Jha, Yizhen Wang, Kamalika Chaudhuri, 2017, ICML.
A. Prasad Sistla, Somesh Jha, Edmund M. Clarke, 1998, CAV.
Somesh Jha, Jessica Staddon, William Enck, 2017, ArXiv.
Somesh Jha, Trent Jaeger, Vinod Ganapathy, 2005, CCS '05.
John Yen, Sushil Jajodia, Thomas G. Dietterich, 2010, Cyber Situational Awareness.
Somesh Jha, H SchuppenvanJ., 2001 .
Panos M. Pardalos, Somesh Jha, P. Pardalos, 1992, Oper. Res. Lett..
Somesh Jha, Amrita Roy Chowdhury, Theodoros Rekatsinas, 2020, ICML.
William R. Harris, Somesh Jha, Thomas W. Reps, 2012, CAV.
Somesh Jha, Jonathon T. Giffin, Barton P. Miller, 2004, NDSS.
Somesh Jha, Patrick D. McDaniel, Damien Octeau, 2016, IEEE Transactions on Software Engineering.
Somesh Jha, Daniel Jackson, Craig Damon, 1996, POPL '96.
Somesh Jha, Patrick D. McDaniel, Damien Octeau, 2012, SIGSOFT FSE.
Vitaly Shmatikov, Somesh Jha, Louis Kruger, 2008, 2008 IEEE Symposium on Security and Privacy (sp 2008).
Somesh Jha, Randy Smith, Cristian Estan, 2008, 2008 IEEE Symposium on Security and Privacy (sp 2008).
Helmut Veith, Somesh Jha, Edmund M. Clarke, 2000 .
Somesh Jha, Thomas Reps, Sanjit A. Seshia, 2008 .
Somesh Jha, Daniel Jackson, Craig Damon, 1996, SIGSOFT '96.
Somesh Jha, Barton P. Miller, Xiaozhu Meng, 2018, ArXiv.
Somesh Jha, Trent Jaeger, Vinod Ganapathy, 2007, 29th International Conference on Software Engineering (ICSE'07).
Ananthram Swami, Somesh Jha, Patrick D. McDaniel, 2016, AsiaCCS.
Somesh Jha, Jonathon T. Giffin, Matt Fredrikson, 2010, Cyber Situational Awareness.
Ninghui Li, Somesh Jha, Jeremiah Blocki, 2017, USENIX Security Symposium.
Somesh Jha, Michael M. Swift, Vinod Ganapathy, 2007, HotOS.
Somesh Jha, Thomas Reps, Hao Wang, 2005 .
Somesh Jha, Thomas Reps, Aws Albarghouthi, 2020, 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER).
Somesh Jha, John C. Mitchell, Matt Fredrikson, 2008, RAID.
Somesh Jha, Sanjit A. Seshia, Tommaso Dreossi, 2018, IEEE Design & Test.
Mahbub Hassan, Somesh Jha, Fariza Sabrina, 2001 .
Somesh Jha, Xi Wu, Kassem Fawaz, 2019, ArXiv.
Somesh Jha, Matt Fredrikson, Irene Giacomelli, 2017, 2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Somesh Jha, Onn Shehory, Katia P. Sycara, 1998, ATAL.
Dawn Song, Somesh Jha, Mihai Christodorescu, 2006 .
Somesh Jha, Kymie M. C. Tan, Roy A. Maxion, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Stefan Katzenbeisser, Helmut Veith, Somesh Jha, 2007, Journal in Computer Virology.
Stefan Katzenbeisser, Somesh Jha, Kay Hamacher, 2010 .
Somesh Jha, Mihai Christodorescu, Drew Davidson, 2017, SecureComm.
Somesh Jha, Saumya K. Debray, Mila Dalla Preda, 2008, TOPL.
Somesh Jha, Jonathon T. Giffin, Paul Barford, 2005 .
Somesh Jha, Jonathon T. Giffin, Barton P. Miller, 2004, IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004.
Ninghui Li, Somesh Jha, Qihua Wang, 2008, IEEE Transactions on Dependable and Secure Computing.
Helmut Veith, Somesh Jha, Edmund M. Clarke, 2003, JACM.
Jens Palsberg, Somesh Jha, Tian Zhao, 2002, FoSSaCS.
Somesh Jha, Thomas W. Reps, S. Jha, 2004, J. Comput. Secur..
Somesh Jha, Edmund M. Clarke, David E. Long, 1997, Theor. Comput. Sci..
Somesh Jha, Jonathon T. Giffin, Barton P. Miller, 2006, RAID.
Hao Wang, Somesh Jha, Thomas W. Reps, 2006, ESORICS.
Helmut Veith, Somesh Jha, Sagar Chaki, 2005, J. Log. Comput..
Somesh Jha, Jeannette M. Wing, Oleg Sheyner, 2002 .
Dawn Song, Somesh Jha, Mihai Christodorescu, 2010, Advances in Information Security.
Somesh Jha, Gaspar Modelo-Howard, Alok Tongaonkar, 2017, 2017 12th International Conference on Malicious and Unwanted Software (MALWARE).
Somesh Jha, Ashwin Machanavajjhala, Amrita Roy Chowdhury, 2019, ArXiv.
Somesh Jha, Kassem Fawaz, Varun Chandrasekaran, 2020, ArXiv.
Somesh Jha, Karthikeyan Sankaralingam, Marc de Kruijf, 2012, PLDI.
Somesh Jha, Eric Bach, Lorenzo De Carli, 2014, IEEE INFOCOM 2014 - IEEE Conference on Computer Communications.
Somesh Jha, Matt Fredrikson, Mihai Christodorescu, 2011, CADE.
Somesh Jha, Trent Jaeger, Sanjit A. Seshia, 2008, SIGSOFT '08/FSE-16.
Somesh Jha, Richard Lippmann, Jeannette M. Wing, 2002, Proceedings 2002 IEEE Symposium on Security and Privacy.
Somesh Jha, Michael M. Swift, Vinod Ganapathy, 2008, ASPLOS.
Somesh Jha, Edmund M. Clarke, Orna Grumberg, 1997, TOPL.
Somesh Jha, Louis Kruger, 2011 .
Somesh Jha, William Enck, Benjamin Andow, 2016, USENIX Security Symposium.
Somesh Jha, Vinod Ganapathy, Thomas W. Reps, 2014, FSE 2014.
Somesh Jha, Onn Shehory, Katia P. Sycara, 1997, ATAL.
Ninghui Li, Somesh Jha, Divesh Srivastava, 2018 .
Somesh Jha, Edmund M. Clarke, Wilfredo R. Marrero, 1997 .
Somesh Jha, Sibin Mohan, Vaibhav Rastogi, 2017, FEAST@CCS.
Somesh Jha, Vinod Yegneswaran, Xiangyu Zhang, 2018, USENIX Annual Technical Conference.
Somesh Jha, Thomas Ristenpart, Thomas Shrimpton, 2014, CCS.
Somesh Jha, Edmund M. Clarke, Sergey Berezin, 2000, Proof, Language, and Interaction.
Hao Wang, Somesh Jha, David Brumley, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
Helmut Veith, Somesh Jha, Dong Wang, 2001, CHARME.
Somesh Jha, Ashwin Machanavajjhala, Amrita Roy Chowdhury, 2020, SIGMOD Conference.
Somesh Jha, Yingyu Liang, Vaibhav Rastogi, 2018, 2019 IEEE European Symposium on Security and Privacy (EuroS&P).
Jignesh M. Patel, Somesh Jha, Jianqiao Zhu, 2017, ArXiv.
Somesh Jha, Mihai Christodorescu, S. Jha, 2004, ISSTA '04.
Somesh Jha, Onn Shehory, Katia P. Sycara, 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).
Somesh Jha, Mihai Christodorescu, Lorenzo Martignoni, 2007, Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007).
Somesh Jha, Thomas W. Reps, Stefan Schwoon, 2003, Sci. Comput. Program..
Somesh Jha, Sanjam Garg, Abhradeep Thakurta, 2020, ArXiv.
Ninghui Li, Somesh Jha, Tianhao Wang, 2017, IEEE Transactions on Dependable and Secure Computing.
Somesh Jha, Susmit Jha, Sumit Kumar Jha, 2019, NeurIPS.
Somesh Jha, Jonathon T. Giffin, Barton P. Miller, 2002, USENIX Security Symposium.
David Garlan, Somesh Jha, David Notkin, 1997 .
Vitaly Shmatikov, Somesh Jha, Matt Fredrikson, 2010 .
Somesh Jha, Dan Boneh, Louis Kruger, 2006, CCS '06.
Somesh Jha, Sanjam Garg, Saeed Mahloujifar, 2020, ALT.
Somesh Jha, Isaac Saias, Prasad Chalasani, 1996, FOCS 1996.
Somesh Jha, Anish Mathuria, S. Jha, 2011 .
Somesh Jha, Vibha Sazawal, Prasad Chalasani, 1998 .
Somesh Jha, Barton P. Miller, Shai Rubin, 2005, 2005 IEEE Symposium on Security and Privacy (S&P'05).
Somesh Jha, Paul Syverson, Peng Ning, 2005, CCS 2008.
Somesh Jha, Paul Barford, Vinod Yegneswaran, 2004 .
Somesh Jha, Bo Feng, Zhichuang Sun, 2020, 2020 IEEE Symposium on Security and Privacy (SP).
Helmut Veith, Somesh Jha, Edmund M. Clarke, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Somesh Jha, Barton P. Miller, Shai Rubin, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Somesh Jha, Varun Chandrasekaran, Uyeong Jang, 2019, ArXiv.
Somesh Jha, Yingyu Liang, Yixuan Li, 2020, ArXiv.
Stefan Katzenbeisser, Helmut Veith, Somesh Jha, 2007, 2007 IEEE Symposium on Security and Privacy (SP '07).
Somesh Jha, Jonathon T. Giffin, Barton P. Miller, 2006 .
Stefan Katzenbeisser, Somesh Jha, Kay Hamacher, 2010, 2010 IEEE International Workshop on Information Forensics and Security.
Somesh Jha, Aws Albarghouthi, Zi Wang, 2020, ArXiv.
Somesh Jha, Barton P. Miller, Shai Rubin, 2006, CCS '06.
Somesh Jha, Thomas Ristenpart, Matt Fredrikson, 2015, CCS.
William R. Harris, Somesh Jha, Sagar Chaki, 2009, FM.
Somesh Jha, Sanjit A. Seshia, Wenchao Li, 2012, DAC Design Automation Conference 2012.
Jürgen Dingel, David Garlan, Somesh Jha, 1998, Formal Aspects of Computing.
Somesh Jha, Amrita Roy Chowdhury, Xi Wu, 2018, ICML.
Somesh Jha, David Page, Irene Giacomelli, 2018, AMIA Joint Summits on Translational Science proceedings. AMIA Joint Summits on Translational Science.
Somesh Jha, Robin Sommer, Lorenzo De Carli, 2014, CCS.
Somesh Jha, Randy Smith, Cristian Estan, 2006, 2006 22nd Annual Computer Security Applications Conference (ACSAC'06).
Somesh Jha, Yue Gao, Kassem Fawaz, 2020, ArXiv.
William R. Harris, Somesh Jha, Thomas W. Reps, 2013, 2013 Formal Methods in Computer-Aided Design.
Somesh Jha, Edmund M. Clarke, E. Clarke, 1995, Computer Science Today.
Thomas Peyrin, Martin Lukasiewycz, William R. Harris, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Somesh Jha, Randy Smith, Cristian Estan, 2009, RAID.
Somesh Jha, Thomas Reps, Hao Wang, 2005 .
Somesh Jha, Randy Smith, Cristian Estan, 2008, ICISS.
Somesh Jha, Edmund M. Clarke, Wilfredo R. Marrero, 2000, TSEM.
Somesh Jha, Dawn Xiaodong Song, Sanjit A. Seshia, 2005, 2005 IEEE Symposium on Security and Privacy (S&P'05).
Somesh Jha, Mihai Christodorescu, 2007 .
Somesh Jha, Doron A. Peled, S. Jha, 1999, PDPTA.
Somesh Jha, Richard C. Linger, Jeannette M. Wing, 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.
Helmut Veith, Somesh Jha, Edmund M. Clarke, 2001, Informatics.
Somesh Jha, Edmund M. Clarke, David E. Long, 1994, Theor. Comput. Sci..
Somesh Jha, Long Lu, Bo Feng, 2018, ArXiv.
Somesh Jha, Doron A. Peled, E. Allen Emerson, 1997, TACAS.
Ninghui Li, Somesh Jha, Zhicong Huang, 2019, SIGMOD Conference.
Helmut Veith, Somesh Jha, Sagar Chaki, 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Somesh Jha, Mihai Christodorescu, Yizhen Wang, 2020, ArXiv.
Somesh Jha, Marc Joye, C. David Page, 2018, IACR Cryptol. ePrint Arch..
Somesh Jha, Susmit Jha, Uyeong Jang, 2019, ArXiv.
Somesh Jha, Dong Wang, Edmund M. Clarke, 1999, CHARME.
Somesh Jha, Thomas Ristenpart, Thomas Shrimpton, 2014, USENIX Security Symposium.
Somesh Jha, Jonathon T. Giffin, Barton P. Miller, 2005 .
Somesh Jha, Patrick D. McDaniel, Drew Davidson, 2016, ArXiv.
Jeffrey F. Naughton, Somesh Jha, Xi Wu, 2016, SIGMOD Conference.
Somesh Jha, Irfan Ul Haq, Juan Caballero, 2017, Comput. Secur..
William R. Harris, Benjamin Farley, Somesh Jha, 2011 .
Somesh Jha, Randy Smith, Cristian Estan, 2011, IEEE Transactions on Information Forensics and Security.
Somesh Jha, Sanjit A. Seshia, Vinod Ganapathy, 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Somesh Jha, Patrick D. McDaniel, Drew Davidson, 2017, ESEC/SIGSOFT FSE.
Somesh Jha, Mihai Christodorescu, Drew Davidson, 2017, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering.
Somesh Jha, Prasad Chalasani, Kevin Sullivan, 1997 .
Somesh Jha, Patrick D. McDaniel, Louis Kruger, 2005, ESORICS.
Matthew L. Dering, Somesh Jha, Patrick D. McDaniel, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Somesh Jha, Amit Kumar, Karthikeyan Sankaralingam, 2010, 2010 19th International Conference on Parallel Architectures and Compilation Techniques (PACT).
Helmut Veith, Somesh Jha, Dong Wang, 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).
Somesh Jha, Edmund M. Clarke, Orna Grumberg, 1995, CONCUR.
Somesh Jha, Barton P. Miller, Shai Rubin, 2006 .
Somesh Jha, Christopher Krügel, Mihai Christodorescu, 2008, ISEC '08.
Hao Wang, Somesh Jha, Miron Livny, 2004, Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004..
Somesh Jha, Edmund M. Clarke, Wilfredo R. Marrero, 2000, TACAS.
Somesh Jha, Thomas Ristenpart, Drew Davidson, 2013, USENIX Security Symposium.
Somesh Jha, Wenke Lee, 2012, S&P 2012.
Somesh Jha, Ashwin Machanavajjhala, Amrita Roy Chowdhury, 2019 .
Somesh Jha, Edmund M. Clarke, W. Marrero, 1997 .
Somesh Jha, Jonathon T. Giffin, Barton P. Miller, 2005, RAID.
Somesh Jha, Gaspar Modelo-Howard, Alok Tongaonkar, 2017, IEEE INFOCOM 2017 - IEEE Conference on Computer Communications.
Stefan Katzenbeisser, Somesh Jha, Kay Hamacher, 2011, Financial Cryptography.
Somesh Jha, Karthikeyan Sankaralingam, Marc de Kruijf, 2011 .
Ananthram Swami, Somesh Jha, Patrick D. McDaniel, 2016, ArXiv.
Somesh Jha, Trent Jaeger, Sanjit A. Seshia, 2010, ESOP.
Somesh Jha, Saumya K. Debray, Mila Dalla Preda, 2007, POPL '07.
Somesh Jha, Aws Albarghouthi, Vaibhav Rastogi, 2018, ESEC/SIGSOFT FSE.
Jeffrey F. Naughton, Somesh Jha, Xi Wu, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Somesh Jha, Jonathon T. Giffin, Matt Fredrikson, 2011, Moving Target Defense.
Alex Groce, Helmut Veith, Somesh Jha, 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
Somesh Jha, Aws Albarghouthi, Gautam Prakriya, 2020, Proc. ACM Program. Lang..
Somesh Jha, Vinod Yegneswaran, Hassaan Irshad, 2021, IEEE Transactions on Information Forensics and Security.
Somesh Jha, Amrita Roy Chowdhury, Kamalika Chaudhuri, 2021, ICLR.
Somesh Jha, Zi Wang, Earlence Fernandes, 2021, ArXiv.
Somesh Jha, Yingyu Liang, Xi Wu, 2021, ArXiv.
Somesh Jha, Kevin R. B. Butler, Joseph I. Choi, 2021, CODASPY.
Somesh Jha, Amrita Roy Chowdhury, Laurens van der Maaten, 2021, ArXiv.
Somesh Jha, Shruti Tople, Varun Chandrasekaran, 2021, ArXiv.
Somesh Jha, Thomas Reps, Mohannad Alhanahnah, 2021, 2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P).
Somesh Jha, Sanjam Garg, Nicholas Carlini, 2021, 2021 IEEE Symposium on Security and Privacy (SP).
Somesh Jha, Kassem Fawaz, Harrison Rosenberg, 2021, ArXiv.
Somesh Jha, Chuhan Gao, Kassem Fawaz, 2020, Proc. Priv. Enhancing Technol..
Somesh Jha, Kamalika Chaudhuri, Robi Bhattacharjee, 2021, ICML.
Somesh Jha, Sanjam Garg, Nicholas Carlini, 2021, ArXiv.
Pierre Wolper, Natarajan Shankar, Somesh Jha, 2021, Formal Methods Syst. Des..
Somesh Jha, Yingyu Liang, Yixuan Li, 2020, ECML/PKDD.
Somesh Jha, Nicolas Papernot, Adam Dziedzic, 2021, ICLR.
Somesh Jha, Will Marrero, Edmund Clarke, 1997 .
Somesh Jha, Prasad Chalasani, Ashok Varikooty, 1999 .
Somesh Jha, Prasad Chalasani, Ashok Varikooty, 1998 .
Ninghui Li, Somesh Jha, William H. Winsborough, 2008 .
Somesh Jha, Barton P. Miller, S. Jha, 2004 .
Somesh Jha, Yuan Lu, Edmund M. ClarkeDepartment, 1998 .