Somesh Jha

	2012
124		Wenchao Li, Sanjit A. Seshia, Somesh Jha: CrowdMine: towards crowdsourced human-assisted verification. DAC 2012: 1254-1255
123		Paul F. Syverson, Somesh Jha: Guest Editorial: Special Issue on Computer and Communications Security. ACM Trans. Inf. Syst. Secur. 15(1): 1 (2012)
	2011
122		Matthew Fredrikson, Mihai Christodorescu, Somesh Jha: Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms. CADE 2011: 252-267
121		Martin Franz, Björn Deiseroth, Kay Hamacher, Somesh Jha, Stefan Katzenbeisser, Heike Schröder: Towards Secure Bioinformatics Services (Short Paper). Financial Cryptography 2011: 276-283
120		Mihai Christodorescu, Matthew Fredrikson, Somesh Jha, Jonathon T. Giffin: End-to-End Software Diversification of Internet Services. Moving Target Defense 2011: 117-130
119		Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha: Speculative Parallel Pattern Matching. IEEE Transactions on Information Forensics and Security 6(2): 438-451 (2011)
	2010
118		Anupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas W. Reps: Analysis Techniques for Information Security Morgan & Claypool Publishers 2010
117		Somesh Jha, Robin Sommer, Christian Kreibich: Recent Advances in Intrusion Detection, 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010. Proceedings Springer 2010
116		Somesh Jha, Anish Mathuria: Information Systems Security - 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings Springer 2010
115		William R. Harris, Somesh Jha, Thomas W. Reps: DIFC programs by automatic instrumentation. ACM Conference on Computer and Communications Security 2010: 284-296
114		Somesh Jha: Retrofitting Legacy Code for Security. CAV 2010: 19
113		Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia: Automating Security Mediation Placement. ESOP 2010: 327-344
112		Matt Fredrikson, Somesh Jha, Mihai Christodorescu, Reiner Sailer, Xifeng Yan: Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors. IEEE Symposium on Security and Privacy 2010: 45-60
111		Amit Kumar, Lorenzo De Carli, Sung Jin Kim, Marc de Kruijf, Karthikeyan Sankaralingam, Cristian Estan, Somesh Jha: Design and implementation of the PLUG architecture for programmable and efficient network lookups. PACT 2010: 331-342
110		Roberto Paleari, Lorenzo Martignoni, Emanuele Passerini, Drew Davidson, Matt Fredrikson, Jonathon T. Giffin, Somesh Jha: Automatic Generation of Remediation Procedures for Malware Infections. USENIX Security Symposium 2010: 419-434
109		Matt Fredrikson, Mihai Christodorescu, Jonathon T. Giffin, Somesh Jha: A Declarative Framework for Intrusion Analysis. Cyber Situational Awareness 2010: 179-200
108		Paul Barford, Marc Dacier, Thomas G. Dietterich, Matt Fredrikson, Jonathon T. Giffin, Sushil Jajodia, Somesh Jha, Jason H. Li, Peng Liu, Peng Ning, Xinming Ou, D. Song, Laura Strater, Vipin Swarup, George P. Tadda, C. Wang, John Yen: Cyber SA: Situational Awareness for Cyber Defense. Cyber Situational Awareness 2010: 3-13
107		Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney: Semantic integrity in large-scale online simulations. ACM Trans. Internet Techn. 10(1): (2010)
106		Martin Franz, Björn Deiseroth, Kay Hamacher, Somesh Jha, Stefan Katzenbeisser, Heike Schröder: Secure Computations on Non-Integer Values. IACR Cryptology ePrint Archive 2010: 499 (2010)
	2009
105		Ehab Al-Shaer, Somesh Jha, Angelos D. Keromytis: Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009 ACM 2009
104		Engin Kirda, Somesh Jha, Davide Balzarotti: Recent Advances in Intrusion Detection, 12th International Symposium, RAID 2009, Saint-Malo, France, September 23-25, 2009. Proceedings Springer 2009
103		Drew Davidson, Randy Smith, Nic Doyle, Somesh Jha: Protocol Normalization Using Attribute Grammars. ESORICS 2009: 216-231
102		William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps: Verifying Information Flow Control over Unbounded Processes. FM 2009: 773-789
101		Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha: Multi-byte Regular Expression Matching with Speculation. RAID 2009: 284-303
	2008
100		Peng Ning, Paul F. Syverson, Somesh Jha: Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008 ACM 2008
99		Vinod Ganapathy, Matthew J. Renzelmann, Arini Balakrishnan, Michael M. Swift, Somesh Jha: The design and implementation of microdrivers. ASPLOS 2008: 168-178
98		Randy Smith, Cristian Estan, Somesh Jha, Ida Siahaan: Fast Signature Matching Using Extended Finite Automaton (XFA). ICISS 2008: 158-172
97		Randy Smith, Cristian Estan, Somesh Jha: XFA: Faster Signature Matching with Extended Automata. IEEE Symposium on Security and Privacy 2008: 187-201
96		Somesh Jha, Louis Kruger, Vitaly Shmatikov: Towards Practical Privacy for Genomic Computation. IEEE Symposium on Security and Privacy 2008: 216-230
95		Mihai Christodorescu, Somesh Jha, Christopher Kruegel: Mining specifications of malicious behavior. ISEC 2008: 5-14
94		Lorenzo Martignoni, Elizabeth Stinson, Matt Fredrikson, Somesh Jha, John C. Mitchell: A Layered Architecture for Detecting Malicious Behaviors. RAID 2008: 78-97
93		Randy Smith, Cristian Estan, Somesh Jha, Shijin Kong: Deflating the big bang: fast and scalable deep packet inspection with extended finite automata. SIGCOMM 2008: 207-218
92		Dave King, Trent Jaeger, Somesh Jha, Sanjit A. Seshia: Effective blame for information-flow violations. SIGSOFT FSE 2008: 250-260
91		Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray: A semantics-based approach to malware detection. ACM Trans. Program. Lang. Syst. 30(5): (2008)
90		David Brumley, James Newsome, Dawn Song, Hao Wang, Somesh Jha: Theory and Techniques for Automatic Generation of Vulnerability-Based Signatures. IEEE Trans. Dependable Sec. Comput. 5(4): 224-241 (2008)
89		Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qihua Wang, William H. Winsborough: Towards Formal Verification of Role-Based Access Control Policies. IEEE Trans. Dependable Sec. Comput. 5(4): 242-255 (2008)
	2007
88		Mihai Christodorescu, Somesh Jha, Douglas Maughan, Dawn Song, Cliff Wang: Malware Detection Springer 2007
87		Lorenzo Martignoni, Mihai Christodorescu, Somesh Jha: OmniUnpack: Fast, Generic, and Safe Unpacking of Malware. ACSAC 2007: 431-441
86		David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong Song: Creating Vulnerability Signatures Using Weakest Preconditions. CSF 2007: 311-325
85		Mihai Christodorescu, Somesh Jha, Christopher Kruegel: Mining specifications of malicious behavior. ESEC/SIGSOFT FSE 2007: 5-14
84		Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, Somesh Jha: Microdrivers: A New Architecture for Device Drivers. HotOS 2007
83		Vinod Ganapathy, Dave King, Trent Jaeger, Somesh Jha: Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis. ICSE 2007: 458-467
82		Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney: Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. IEEE Symposium on Security and Privacy 2007: 179-186
81		Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray: A semantics-based approach to malware detection. POPL 2007: 377-388
80		Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney: Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. IACR Cryptology ePrint Archive 2007: 56 (2007)
79		Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith: Software transformations to improve malware detection. Journal in Computer Virology 3(4): 253-265 (2007)
	2006
78		Louis Kruger, Somesh Jha, Eu-Jin Goh, Dan Boneh: Secure function evaluation with ordered binary decision diagrams. ACM Conference on Computer and Communications Security 2006: 410-420
77		Shai Rubin, Somesh Jha, Barton P. Miller: Protomatching network traffic for high throughputnetwork intrusion detection. ACM Conference on Computer and Communications Security 2006: 47-58
76		Randy Smith, Cristian Estan, Somesh Jha: Backtracking Algorithmic Complexity Attacks against a NIDS. ACSAC 2006: 89-98
75		Hao Wang, Somesh Jha, Vinod Ganapathy: NetSpy: Automatic Generation of Spyware Signatures for NIDS. ACSAC 2006: 99-108
74		Shai Rubin, Somesh Jha, Barton P. Miller: On the Completeness of Attack Mutation Algorithms. CSFW 2006: 43-56
73		Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine: Reducing the Dependence of SPKI/SDSI on PKI. ESORICS 2006: 156-173
72		David Brumley, James Newsome, Dawn Xiaodong Song, Hao Wang, Somesh Jha: Towards Automatic Generation of Vulnerability-Based Signatures. IEEE Symposium on Security and Privacy 2006: 2-16
71		Vinod Ganapathy, Trent Jaeger, Somesh Jha: Retrofitting Legacy Code for Authorization Policy Enforcement. IEEE Symposium on Security and Privacy 2006: 214-229
70		Jonathon T. Giffin, Somesh Jha, Barton P. Miller: Automated Discovery of Mimicry Attacks. RAID 2006: 41-60
69		Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps: Weighted Pushdown Systems and Trust-Management Systems. TACAS 2006: 1-26
	2005
68		Vinod Ganapathy, Trent Jaeger, Somesh Jha: Automatic placement of authorization hooks in the linux security modules framework. ACM Conference on Computer and Communications Security 2005: 330-339
67		Somesh Jha, Louis Kruger, Patrick McDaniel: Privacy Preserving Clustering. ESORICS 2005: 397-417
66		Muthian Sivathanu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Somesh Jha: A Logic of File Systems. FAST 2005
65		Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant: Automatic discovery of API-level exploits. ICSE 2005: 312-321
64		Shai Rubin, Somesh Jha, Barton P. Miller: Language-Based Generation and Evaluation of NIDS Signatures. IEEE Symposium on Security and Privacy 2005: 3-17
63		Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant: Semantics-Aware Malware Detection. IEEE Symposium on Security and Privacy 2005: 32-46
62		Jonathon T. Giffin, David Dagon, Somesh Jha, Wenke Lee, Barton P. Miller: Environment-Sensitive Intrusion Detection. RAID 2005: 185-206
61		Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith: An Iterative Framework for Simulation Conformance. J. Log. Comput. 15(4): 465-488 (2005)
60		Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski: Weighted pushdown systems and their application to interprocedural dataflow analysis. Sci. Comput. Program. 58(1-2): 206-263 (2005)
	2004
59		Shai Rubin, Somesh Jha, Barton P. Miller: Automatic Generation and Analysis of NIDS Attacks. ACSAC 2004: 28-38
58		Henry Hanping Feng, Jonathon T. Giffin, Yong Huang, Somesh Jha, Wenke Lee, Barton P. Miller: Formalizing Sensitivity in Static Analysis for Intrusion Detection. IEEE Symposium on Security and Privacy 2004: 194-
57		Mihai Christodorescu, Somesh Jha: Testing malware detectors. ISSTA 2004: 34-44
56		Jonathon T. Giffin, Somesh Jha, Barton P. Miller: Efficient Context-Sensitive Intrusion Detection. NDSS 2004
55		Vinod Yegneswaran, Paul Barford, Somesh Jha: Global Intrusion Detection in the DOMINO Overlay System. NDSS 2004
54		Hao Wang, Somesh Jha, Miron Livny, Patrick Drew McDaniel: Security Policy Reconciliation in Distributed Computing Environments. POLICY 2004: 137-
53		Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith: Modular Verification of Software Components in C. IEEE Trans. Software Eng. 30(6): 388-402 (2004)
52		Somesh Jha, Thomas W. Reps: Model checking SPKI/SDSI. Journal of Computer Security 12(3-4): 317-353 (2004)
	2003
51		Vinod Ganapathy, Somesh Jha, David Chandler, David Melski, David Vitek: Buffer overrun detection using linear programming and static analysis. ACM Conference on Computer and Communications Security 2003: 345-354
50		Stefan Schwoon, Somesh Jha, Thomas W. Reps, Stuart G. Stubblebine: On Generalized Authorization Problems. CSFW 2003: 202-
49		Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith: Modular Verification of Software Components in C. ICSE 2003: 385-395
48		Thomas W. Reps, Stefan Schwoon, Somesh Jha: Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. SAS 2003: 189-213
47		Sagar Chaki, Pascal Fenkam, Harald Gall, Somesh Jha, Engin Kirda, Helmut Veith: Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. SEKE 2003: 510-517
46		Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50(5): 752-794 (2003)
45		Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero: Efficient verification of security protocols using partial-order reductions. STTT 4(2): 173-188 (2003)
	2002
44		Somesh Jha, Thomas W. Reps: Analysis of SPKI/SDSI Certificates Using Model Checking. CSFW 2002: 129-
43		Somesh Jha, Oleg Sheyner, Jeannette M. Wing: Two Formal Analys s of Attack Graphs. CSFW 2002: 49-63
42		Somesh Jha, Jens Palsberg, Tian Zhao: Efficient Type Matching. FoSSaCS 2002: 187-204
41		Oleg Sheyner, Joshua W. Haines, Somesh Jha, Richard Lippmann, Jeannette M. Wing: Automated Generation and Analysis of Attack Graphs. IEEE Symposium on Security and Privacy 2002: 273-284
40		Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith: Tree-Like Counterexamples in Model Checking. LICS 2002: 19-29
39		Jonathon T. Giffin, Somesh Jha, Barton P. Miller: Detecting Manipulated Remote Call Streams. USENIX Security Symposium 2002: 61-79
	2001
38		Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang: Using Combinatorial Optimization Methods for Quantification Scheduling. CHARME 2001: 293-309
37		Somesh Jha, Kymie M. C. Tan, Roy A. Maxion: Markov Chains, Classifiers, and Intrusion Detection. CSFW 2001: 206-219
36		Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang: Non-linear Quantification Scheduling in Image Computation. ICCAD 2001: 293-
35		Somesh Jha, Jeannette M. Wing: Survivability Analysis of Network Systems. ICSE 2001: 307-317
34		Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith: Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. ICSE 2001: 443-452
33		Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Progress on the State Explosion Problem in Model Checking. Informatics 2001: 176-194
	2000
32		Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Counterexample-Guided Abstraction Refinement. CAV 2000: 154-169
31		Sergey Berezin, Edmund M. Clarke, Somesh Jha, Will Marrero: Model checking algorithms for the µ-calculus. Proof, Language, and Interaction 2000: 309-338
30		Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero: Partial Order Reductions for Security Protocol Verification. TACAS 2000: 503-518
29		Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero: Verifying security protocols with Brutus. ACM Trans. Softw. Eng. Methodol. 9(4): 443-487 (2000)
	1999
28		Edmund M. Clarke, Somesh Jha, Yuan Lu, Dong Wang: Abstract BDDs: A Technque for Using Abstraction in Model Checking. CHARME 1999: 172-186
27		Somesh Jha, Doron Peled: Generalized Stuttering Equivalence. PDPTA 1999: 1054-1060
26		Prasad Chalasani, Somesh Jha, Isaac Saias: Approximate Option Pricing. Algorithmica 25(1): 2-21 (1999)
	1998
25		Onn Shehory, Katia P. Sycara, Prasad Chalasani, Somesh Jha: Increasing Resource Utilization and Task Performance by Agent Cloning. ATAL 1998: 413-426
24		Prasad Chalasani, Somesh Jha, Onn Shehory, Katia P. Sycara: Query Restart Strategies for Web Agent. Agents 1998: 124-131
23		Somesh Jha, Prasad Chalasani, Onn Shehory, Katia P. Sycara: A Formal Treatment of Distributed Matchmaking. Agents 1998: 457-458
22		Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla: Symmetry Reductions inModel Checking. CAV 1998: 147-158
21		Prasad Chalasani, Somesh Jha, Onn Shehory, Katia P. Sycara: Strategies for Querying Information Agents. CIA 1998: 94-107
20		Onn Shehory, Katia P. Sycara, Prasad Chalasani, Somesh Jha: Agent Cloning. ICMAS 1998: 463-464
19		Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero: Using state space exploration and a natural deduction style message derivation engine to verify security protocols. PROCOMET 1998: 87-106
18		David Garlan, Somesh Jha, David Notkin: Reasoning about Implicit Invocation. SIGSOFT FSE 1998: 209-221
17		Daniel Jackson, Somesh Jha, Craig Damon: Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. ACM Trans. Program. Lang. Syst. 20(2): 302-343 (1998)
16		Jürgen Dingel, David Garlan, Somesh Jha, David Notkin: Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. Formal Asp. Comput. 10(3): 193-213 (1998)
	1997
15		Onn Shehory, Katia P. Sycara, Somesh Jha: Multi-Agent Coordination through Coalition Formation. ATAL 1997: 143-154
14		Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke: Equivalence Checking Using Abstract BDDs. ICCD 1997: 332-337
13		E. Allen Emerson, Somesh Jha, Doron Peled: Combining Partial Order and Symmetry Reductions. TACAS 1997: 19-34
12		Edmund M. Clarke, Orna Grumberg, Somesh Jha: Verifying Parameterized Networks. ACM Trans. Program. Lang. Syst. 19(5): 726-750 (1997)
11		Anca Browne, Edmund M. Clarke, Somesh Jha, David E. Long, Wilfredo R. Marrero: An Improved Algorithm for the Evaluation of Fixpoint Expressions. Theor. Comput. Sci. 178(1-2): 237-255 (1997)
	1996
10		Prasad Chalasani, Somesh Jha, Isaac Saias: Approximate Option Pricing. FOCS 1996: 244-253
9		Daniel Jackson, Somesh Jha, Craig Damon: Faster Checking of Software Specifications by Eliminating Isomorphs. POPL 1996: 79-90
8		Craig Damon, Daniel Jackson, Somesh Jha: Checking Relational Specifications With Binary Decision Diagrams. SIGSOFT FSE 1996: 70-80
7		Edmund M. Clarke, Somesh Jha, Reinhard Enders, Thomas Filkorn: Exploiting Symmetry in Temporal Logic Model Checking. Formal Methods in System Design 9(1/2): 77-104 (1996)
	1995
6		Edmund M. Clarke, Orna Grumberg, Somesh Jha: Veryfying Parameterized Networks using Abstraction and Regular Languages. CONCUR 1995: 395-407
5		Edmund M. Clarke, Somesh Jha: Symmetry and Induction in Model Checking. Computer Science Today 1995: 455-470
4		Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness: Verification of the Futurebus+ Cache Coherence Protocol. Formal Methods in System Design 6(2): 217-232 (1995)
	1994
3		David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero: An Improved Algorithm for the Evaluation of Fixpoint Expressions. CAV 1994: 338-350
	1993
2		Edmund M. Clarke, Thomas Filkorn, Somesh Jha: Exploiting Symmetry In Temporal Logic Model Checking. CAV 1993: 450-462
1		Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness: Verification of the Futurebus+ Cache Coherence Protocol. CHDL 1993: 15-30

Coauthor Index

1	Ehab Al-Shaer (Ehab S. Al-Shaer)	[105]
2	Andrea C. Arpaci-Dusseau	[66]
3	Remzi H. Arpaci-Dusseau	[66]
4	Arini Balakrishnan	[84] [99]
5	Davide Balzarotti	[104]
6	Paul Barford	[55] [108]
7	Sergey Berezin	[31]
8	Dan Boneh	[78]
9	Anca Browne (I. A. Draghicescu)	[3] [11]
10	David Brumley	[72] [86] [90]
11	Randal E. Bryant	[63] [65]
12	Alexis Campailla	[34]
13	Lorenzo De Carli	[111]
14	Sagar Chaki	[34] [47] [49] [53] [61] [102]
15	Prasad Chalasani	[10] [20] [21] [23] [24] [25] [26]
16	David Chandler	[51]
17	Pankaj Chauhan	[36] [38]
18	Stephen Chenney	[80] [82] [107]
19	Mihai Christodorescu	[57] [63] [79] [81] [85] [87] [88] [91] [95] [109] [112] [120] [122]
20	Edmund M. Clarke	[1] [2] [3] [4] [5] [6] [7] [11] [12] [14] [19] [22] [28] [29] [30] [31] [32] [33] [34] [36] [38] [40] [45] [46] [49] [53] [61]
21	Marc Dacier	[108]
22	David Dagon	[62]
23	Craig Damon	[8] [9] [17]
24	Anupam Datta	[118]
25	Drew Davidson	[103] [110]
26	Saumya K. Debray	[81] [91]
27	Björn Deiseroth	[106] [121]
28	Thomas G. Dietterich	[108]
29	Jürgen Dingel	[16]
30	Nic Doyle	[103]
31	E. Allen Emerson	[13] [22]
32	Reinhard Enders	[7]
33	Cristian Estan	[76] [93] [97] [98] [101] [111] [119]
34	Henry Hanping Feng	[58]
35	Pascal Fenkam	[47]
36	Thomas Filkorn	[2] [7]
37	Martin Franz	[106] [121]
38	Matt Fredrikson (Matthew Fredrikson)	[94] [108] [109] [110] [112] [120] [122]
39	Harald C. Gall (Harald Gall)	[47]
40	Vinod Ganapathy	[51] [65] [68] [71] [75] [83] [84] [99]
41	David Garlan	[16] [18]
42	Jonathon T. Giffin	[39] [56] [58] [62] [70] [108] [109] [110] [120]
43	Eu-Jin Goh	[78]
44	Alex Groce	[49] [53]
45	Orna Grumberg	[1] [4] [6] [12] [32] [33] [46]
46	Joshua W. Haines	[41]
47	Kay Hamacher	[106] [121]
48	William R. Harris	[102] [115]
49	Hiromi Hiraishi	[1] [4]
50	Yong Huang	[58]
51	Daniel Jackson	[8] [9] [17]
52	Trent Jaeger	[68] [71] [83] [92] [113]
53	Sushil Jajodia	[108]
54	Susmit Jha	[113]
55	Stefan Katzenbeisser	[79] [80] [82] [106] [107] [121]
56	Angelos D. Keromytis	[105]
57	Nicholas Kidd	[102]
58	Sung Jin Kim	[111]
59	Johannes Kinder	[79]
60	Dave King	[83] [92] [113]
61	Engin Kirda	[47] [104]
62	Shijin Kong	[93]
63	Christian Kreibich	[117]
64	Christopher Krügel (Christopher Kruegel)	[85] [95]
65	Louis Kruger	[67] [78] [96]
66	Marc de Kruijf	[111]
67	James H. Kukula	[36] [38]
68	Amit Kumar	[111]
69	Wenke Lee	[58] [62]
70	Jason H. Li	[108]
71	Ninghui Li	[89] [118]
72	Wenchao Li	[124]
73	Richard Lippmann (Richard P. Lippmann)	[41]
74	Peng Liu	[108]
75	Miron Livny	[54]
76	David E. Long	[1] [3] [4] [11]
77	Yuan Lu	[14] [28] [32] [33] [40] [46]
78	Daniel Luchaup	[101] [119]
79	Wilfredo R. Marrero	[3] [11] [19] [29] [30] [45]
80	Will Marrero	[31]
81	Lorenzo Martignoni	[87] [94] [110]
82	Anish Mathuria	[116]
83	Douglas Maughan	[88]
84	Roy A. Maxion	[37]
85	Patrick Drew McDaniel (Patrick McDaniel)	[54] [67]
86	Kenneth L. McMillan	[1] [4]
87	David Melski	[51] [60] [118]
88	Barton P. Miller	[39] [56] [58] [59] [62] [64] [70] [74] [77]
89	Marius Minea	[14]
90	John C. Mitchell	[94]
91	Divya Muthukumaran	[113]
92	Linda A. Ness	[1] [4]
93	James Newsome	[72] [90]
94	Peng Ning	[100] [108]
95	David Notkin	[16] [18]
96	Xinming Ou	[108]
97	Roberto Paleari	[110]
98	Jens Palsberg	[42]
99	Emanuele Passerini	[110]
100	Doron Peled	[13] [27]
101	Mila Dalla Preda	[81] [91]
102	Matthew J. Renzelmann	[99]
103	Thomas W. Reps	[44] [48] [50] [52] [60] [65] [69] [73] [102] [115] [118]
104	Shai Rubin	[59] [64] [74] [77]
105	Isaac Saias	[10] [26]
106	Reiner Sailer	[112]
107	Karthikeyan Sankaralingam	[111]
108	Christian Schallhart	[80] [82] [107]
109	Heike Schröder	[106] [121]
110	Stefan Schwoon	[48] [50] [60] [69] [73]
111	Sanjit A. Seshia	[63] [65] [92] [113] [124]
112	Onn Shehory	[15] [20] [21] [23] [24] [25]
113	Oleg Sheyner	[41] [43]
114	Thomas R. Shiple	[36]
115	Vitaly Shmatikov	[96]
116	Ida Siahaan	[98]
117	A. Prasad Sistla	[22]
118	Muthian Sivathanu	[66]
119	Randy Smith	[76] [93] [97] [98] [101] [103] [119]
120	Robin Sommer	[117]
121	D. Song	[108]
122	Dawn Xiaodong Song (Dawn Song)	[63] [72] [86] [88] [90]
123	Elizabeth Stinson	[94]
124	Laura Strater	[108]
125	Stuart G. Stubblebine	[50] [73]
126	Vipin Swarup	[108]
127	Michael M. Swift	[84] [99]
128	Katia P. Sycara (Katia Sycara-Cyranski)	[15] [20] [21] [23] [24] [25]
129	Paul F. Syverson	[100] [123]
130	George P. Tadda	[108]
131	Kymie M. C. Tan	[37]
132	Mahesh V. Tripunitara	[89]
133	Helmut Veith	[32] [33] [34] [36] [38] [40] [46] [47] [49] [53] [61] [79] [80] [82] [107]
134	David Vitek	[51]
135	C. Wang	[108]
136	Cliff Wang	[88]
137	Dong Wang	[28] [36] [38]
138	Hao Wang	[54] [69] [72] [73] [75] [86] [90]
139	Qihua Wang	[89]
140	Jeannette M. Wing	[35] [41] [43]
141	William H. Winsborough	[89]
142	Xifeng Yan	[112]
143	Vinod Yegneswaran	[55]
144	John Yen	[108]
145	Tian Zhao	[42]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page