Somesh Jha

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
72Speculative Parallel Pattern Matching. Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha. IEEE Transactions on Information Forensics and Security (6): 438-451 (2011). Web SearchBibTeXDownload
2010
71Semantic integrity in large-scale online simulations. Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney. ACM Trans. Internet Techn. (10) (2010). Web SearchBibTeXDownload
70Analysis Techniques for Information Security. Anupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas W. Reps. Analysis Techniques for Information Security 2010. Web SearchBibTeXDownload
69Secure Computations on Non-Integer Values. Martin Franz, B. Deiseroth, Kay Hamacher, Somesh Jha, Stefan Katzenbeisser, Heike Schröder. IACR Cryptology ePrint Archive (2010): 499 (2010). Web SearchBibTeXDownload
68Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors. Matt Fredrikson, Somesh Jha, Mihai Christodorescu, Reiner Sailer, Xifeng Yan. IEEE Symposium on Security and Privacy 2010, 45-60. Web SearchBibTeXDownload
67Design and implementation of the PLUG architecture for programmable and efficient network lookups. Amit Kumar, Lorenzo De Carli, Sung Jin Kim, Marc de Kruijf, Karthikeyan Sankaralingam, Cristian Estan, Somesh Jha. PACT 2010, 331-342. Web SearchBibTeXDownload
2009
66Verifying Information Flow Control over Unbounded Processes. William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps. FM 2009, 773-789. Web SearchBibTeXDownload
65Multi-byte Regular Expression Matching with Speculation. Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha. RAID 2009, 284-303. Web SearchBibTeXDownload
2008
64A semantics-based approach to malware detection. Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray. ACM Trans. Program. Lang. Syst. (30) (2008). Web SearchBibTeXDownload
63Fast Signature Matching Using Extended Finite Automaton (XFA). Randy Smith, Cristian Estan, Somesh Jha, Ida Siahaan. ICISS 2008, 158-172. Web SearchBibTeXDownload
62XFA: Faster Signature Matching with Extended Automata. Randy Smith, Cristian Estan, Somesh Jha. IEEE Symposium on Security and Privacy 2008, 187-201. Web SearchBibTeXDownload
61Towards Practical Privacy for Genomic Computation. Somesh Jha, Louis Kruger, Vitaly Shmatikov. IEEE Symposium on Security and Privacy 2008, 216-230. Web SearchBibTeXDownload
60Towards Formal Verification of Role-Based Access Control Policies. Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qihua Wang, William H. Winsborough. IEEE Trans. Dependable Sec. Comput. (5): 242-255 (2008). Web SearchBibTeXDownload
59Theory and Techniques for Automatic Generation of Vulnerability-Based Signatures. David Brumley, James Newsome, Dawn Song, Hao Wang, Somesh Jha. IEEE Trans. Dependable Sec. Comput. (5): 224-241 (2008). Web SearchBibTeXDownload
58A Layered Architecture for Detecting Malicious Behaviors. Lorenzo Martignoni, Elizabeth Stinson, Matt Fredrikson, Somesh Jha, John C. Mitchell. RAID 2008, 78-97. Web SearchBibTeXDownload
57Deflating the big bang: fast and scalable deep packet inspection with extended finite automata. Randy Smith, Cristian Estan, Somesh Jha, Shijin Kong. SIGCOMM 2008, 207-218. Web SearchBibTeXDownload
2007
56Creating Vulnerability Signatures Using Weakest Preconditions. David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong Song. CSF 2007, 311-325. Web SearchBibTeXDownload
55Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney. IEEE Symposium on Security and Privacy 2007, 179-186. Web SearchBibTeXDownload
54Software transformations to improve malware detection. Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith. Journal in Computer Virology (3): 253-265 (2007). Web SearchBibTeXDownload
53A semantics-based approach to malware detection. Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray. POPL 2007, 377-388. Web SearchBibTeXDownload
2006
52Protomatching network traffic for high throughputnetwork intrusion detection. Shai Rubin, Somesh Jha, Barton P. Miller. ACM Conference on Computer and Communications Security 2006, 47-58. Web SearchBibTeXDownload
51Backtracking Algorithmic Complexity Attacks against a NIDS. Randy Smith, Cristian Estan, Somesh Jha. ACSAC 2006, 89-98. Web SearchBibTeXDownload
50NetSpy: Automatic Generation of Spyware Signatures for NIDS. Hao Wang, Somesh Jha, Vinod Ganapathy. ACSAC 2006, 99-108. Web SearchBibTeXDownload
49On the Completeness of Attack Mutation Algorithms. Shai Rubin, Somesh Jha, Barton P. Miller. CSFW 2006, 43-56. Web SearchBibTeXDownload
48Reducing the Dependence of SPKI/SDSI on PKI. Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine. ESORICS 2006, 156-173. Web SearchBibTeXDownload
47Towards Automatic Generation of Vulnerability-Based Signatures. David Brumley, James Newsome, Dawn Xiaodong Song, Hao Wang, Somesh Jha. IEEE Symposium on Security and Privacy 2006, 2-16. Web SearchBibTeXDownload
46Automated Discovery of Mimicry Attacks. Jonathon T. Giffin, Somesh Jha, Barton P. Miller. RAID 2006, 41-60. Web SearchBibTeXDownload
45Weighted Pushdown Systems and Trust-Management Systems. Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps. TACAS 2006, 1-26. Web SearchBibTeXDownload
2005
44A Logic of File Systems. Muthian Sivathanu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Somesh Jha. FAST 2005. Web SearchBibTeXDownload
43Language-Based Generation and Evaluation of NIDS Signatures. Shai Rubin, Somesh Jha, Barton P. Miller. IEEE Symposium on Security and Privacy 2005, 3-17. Web SearchBibTeXDownload
42An Iterative Framework for Simulation Conformance. Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith. J. Log. Comput. (15): 465-488 (2005). Web SearchBibTeXDownload
41Environment-Sensitive Intrusion Detection. Jonathon T. Giffin, David Dagon, Somesh Jha, Wenke Lee, Barton P. Miller. RAID 2005, 185-206. Web SearchBibTeXDownload
2004
40Automatic Generation and Analysis of NIDS Attacks. Shai Rubin, Somesh Jha, Barton P. Miller. ACSAC 2004, 28-38. Web SearchBibTeXDownload
39Formalizing Sensitivity in Static Analysis for Intrusion Detection. Henry Hanping Feng, Jonathon T. Giffin, Yong Huang, Somesh Jha, Wenke Lee, Barton P. Miller. IEEE Symposium on Security and Privacy 2004, 194. Web SearchBibTeXDownload
38Modular Verification of Software Components in C. Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith. IEEE Trans. Software Eng. (30): 388-402 (2004). Web SearchBibTeXDownload
37Efficient Context-Sensitive Intrusion Detection. Jonathon T. Giffin, Somesh Jha, Barton P. Miller. NDSS 2004. Web SearchBibTeXDownload
36Global Intrusion Detection in the DOMINO Overlay System. Vinod Yegneswaran, Paul Barford, Somesh Jha. NDSS 2004. Web SearchBibTeXDownload
35Security Policy Reconciliation in Distributed Computing Environments. Hao Wang, Somesh Jha, Miron Livny, Patrick Drew McDaniel. POLICY 2004, 137. Web SearchBibTeXDownload
2003
34Modular Verification of Software Components in C. Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith. ICSE 2003, 385-395. Web SearchBibTeXDownload
33Counterexample-guided abstraction refinement for symbolic model checking. Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith. J. ACM (50): 752-794 (2003). Web SearchBibTeXDownload
32Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. Sagar Chaki, Pascal Fenkam, Harald Gall, Somesh Jha, Engin Kirda, Helmut Veith. SEKE 2003, 510-517. Web SearchBibTeX
31Efficient verification of security protocols using partial-order reductions. Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero. STTT (4): 173-188 (2003). Web SearchBibTeXDownload
2002
30Tree-Like Counterexamples in Model Checking. Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith. LICS 2002, 19-29. Web SearchBibTeXDownload
29Detecting Manipulated Remote Call Streams. Jonathon T. Giffin, Somesh Jha, Barton P. Miller. USENIX Security Symposium 2002, 61-79. Web SearchBibTeXDownload
2001
28Using Combinatorial Optimization Methods for Quantification Scheduling. Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang. CHARME 2001, 293-309. Web SearchBibTeXDownload
27Non-linear Quantification Scheduling in Image Computation. Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang. ICCAD 2001, 293. Web SearchBibTeXDownload
26Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith. ICSE 2001, 443-452. Cited by 106Web SearchBibTeX
25Progress on the State Explosion Problem in Model Checking. Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith. Informatics 2001, 176-194. Web SearchBibTeXDownload
2000
24Verifying security protocols with Brutus. Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero. ACM Trans. Softw. Eng. Methodol. (9): 443-487 (2000). Web SearchBibTeXDownload
23Counterexample-Guided Abstraction Refinement. Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith. CAV 2000, 154-169. Web SearchBibTeXDownload
22Model checking algorithms for the µ-calculus. Sergey Berezin, Edmund M. Clarke, Somesh Jha, Will Marrero. Proof, Language, and Interaction 2000, 309-338. Web SearchBibTeX
21Partial Order Reductions for Security Protocol Verification. Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero. TACAS 2000, 503-518. Web SearchBibTeXDownload
1999
20Abstract BDDs: A Technque for Using Abstraction in Model Checking. Edmund M. Clarke, Somesh Jha, Yuan Lu, Dong Wang. CHARME 1999, 172-186. Web SearchBibTeXDownload
1998
19Query Restart Strategies for Web Agent. Prasad Chalasani, Somesh Jha, Onn Shehory, Katia P. Sycara. Agents 1998, 124-131. Web SearchBibTeXDownload
18A Formal Treatment of Distributed Matchmaking. Somesh Jha, Prasad Chalasani, Onn Shehory, Katia P. Sycara. Agents 1998, 457-458. Web SearchBibTeXDownload
17Increasing Resource Utilization and Task Performance by Agent Cloning. Onn Shehory, Katia P. Sycara, Prasad Chalasani, Somesh Jha. ATAL 1998, 413-426. Web SearchBibTeXDownload
16Symmetry Reductions inModel Checking. Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla. CAV 1998, 147-158. Web SearchBibTeXDownload
15Strategies for Querying Information Agents. Prasad Chalasani, Somesh Jha, Onn Shehory, Katia P. Sycara. CIA 1998, 94-107. Web SearchBibTeXDownload
14Agent Cloning. Onn Shehory, Katia P. Sycara, Prasad Chalasani, Somesh Jha. ICMAS 1998, 463-464. Web SearchBibTeX
13Using state space exploration and a natural deduction style message derivation engine to verify security protocols. Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero. PROCOMET 1998, 87-106. Web SearchBibTeX
1997
12Verifying Parameterized Networks. Edmund M. Clarke, Orna Grumberg, Somesh Jha. ACM Trans. Program. Lang. Syst. (19): 726-750 (1997). Web SearchBibTeXDownload
11Multi-Agent Coordination through Coalition Formation. Onn Shehory, Katia P. Sycara, Somesh Jha. ATAL 1997, 143-154. Web SearchBibTeXDownload
10Equivalence Checking Using Abstract BDDs. Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke. ICCD 1997, 332-337. Web SearchBibTeX
9Combining Partial Order and Symmetry Reductions. E. Allen Emerson, Somesh Jha, Doron Peled. TACAS 1997, 19-34. Web SearchBibTeXDownload
8An Improved Algorithm for the Evaluation of Fixpoint Expressions. Anca Browne, Edmund M. Clarke, Somesh Jha, Somesh Jha, Wilfredo R. Marrero. Theor. Comput. Sci. (178): 237-255 (1997). Web SearchBibTeXDownload
1996
7Exploiting Symmetry in Temporal Logic Model Checking. Edmund M. Clarke, Somesh Jha, Reinhard Enders, Thomas Filkorn. Formal Methods in System Design (9): 77-104 (1996). Web SearchBibTeXDownload
1995
6Symmetry and Induction in Model Checking. Edmund M. Clarke, Somesh Jha. Computer Science Today 1995, 455-470. Web SearchBibTeXDownload
5Veryfying Parameterized Networks using Abstraction and Regular Languages. Edmund M. Clarke, Orna Grumberg, Somesh Jha. CONCUR 1995, 395-407. Web SearchBibTeXDownload
4Verification of the Futurebus+ Cache Coherence Protocol. Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness. Formal Methods in System Design (6): 217-232 (1995). Web SearchBibTeXDownload
1994
3An Improved Algorithm for the Evaluation of Fixpoint Expressions. Anca Browne, Edmund M. Clarke, Somesh Jha, Somesh Jha, Wilfredo R. Marrero. CAV 1994, 338-350. Web SearchBibTeXDownload
1993
2Exploiting Symmetry In Temporal Logic Model Checking. Edmund M. Clarke, Thomas Filkorn, Somesh Jha. CAV 1993, 450-462. Web SearchBibTeXDownload
1Verification of the Futurebus+ Cache Coherence Protocol. Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness. CHDL 1993, 15-30. Web SearchBibTeX
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research