| The Margrave tool for firewall analysis T Nelson, C Barratt, DJ Dougherty, K Fisler, S Krishnamurthi 24th Large Installation System Administration Conference (LISA 10), 2010 | 201 | 2010 |
| Specifying and reasoning about dynamic access-control policies DJ Dougherty, K Fisler, S Krishnamurthi International Joint Conference on Automated Reasoning, 632-646, 2006 | 185 | 2006 |
| Adding algebraic rewriting to the untyped lambda calculus DJ Dougherty Information and Computation 101 (2), 251-267, 1992 | 89 | 1992 |
| Aluminum: principled scenario exploration through minimality T Nelson, S Saghafi, DJ Dougherty, K Fisler, S Krishnamurthi 2013 35th International Conference on Software Engineering (ICSE), 232-241, 2013 | 86 | 2013 |
| Some lambda calculi with categorical sums and products DJ Dougherty International Conference on Rewriting Techniques and Applications, 137-151, 1993 | 78 | 1993 |
| Higher-order unification via combinators DJ Dougherty Theoretical Computer Science 114 (2), 273-298, 1993 | 59 | 1993 |
| A balance of power: Expressive, analyzable controller programming T Nelson, A Guha, DJ Dougherty, K Fisler, S Krishnamurthi Proceedings of the second ACM SIGCOMM workshop on Hot topics in software …, 2013 | 57 | 2013 |
| Obligations and their interaction with programs DJ Dougherty, K Fisler, S Krishnamurthi Computer Security–ESORICS 2007: 12th European Symposium On Research In …, 2007 | 57 | 2007 |
| Characterizing strong normalization in the Curien–Herbelin symmetric lambda calculus: extending the Coppo–Dezani heritage DJ Dougherty, S Ghilezan, P Lescanne Theoretical Computer Science 398 (1-3), 114-128, 2008 | 48 | 2008 |
| Modular access control via strategic rewriting DJ Dougherty, C Kirchner, H Kirchner, A Santana de Oliveira Computer Security–ESORICS 2007: 12th European Symposium On Research In …, 2007 | 45 | 2007 |
| The power of" why" and" why not": Enriching scenario exploration with provenance T Nelson, N Danas, DJ Dougherty, S Krishnamurthi Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 42 | 2017 |
| An improved general E-unification method DJ Dougherty, P Johann Journal of symbolic computation 14 (4), 303-320, 1992 | 40 | 1992 |
| User studies of principled model finder output N Danas, T Nelson, L Harrison, S Krishnamurthi, DJ Dougherty Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017 | 31 | 2017 |
| Extensional and intensional strategies T Bourdier, H Cirstea, D Dougherty, H Kirchner arXiv preprint arXiv:1001.4427, 2010 | 31 | 2010 |
| Alchemy: transmuting base alloy specifications into implementations S Krishnamurthi, K Fisler, DJ Dougherty, D Yoo Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008 | 31 | 2008 |
| Strong normalization of the dual classical sequent calculus D Dougherty, S Ghilezan, P Lescanne, S Likavec Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005 | 29 | 2005 |
| A combinatory logic approach to higher-order E-unification DJ Dougherty, P Johann International Conference on Automated Deduction, 79-93, 1992 | 23 | 1992 |
| Decidability for lightweight Diffie-Hellman protocols DJ Dougherty, JD Guttman 2014 IEEE 27th Computer Security Foundations Symposium, 217-231, 2014 | 22 | 2014 |
| Intersection and Union Types in the λ¯ μμ˜-calculus DJ Dougherty, S Ghilezan, P Lescanne Electronic Notes in Theoretical Computer Science 136, 153-172, 2005 | 22 | 2005 |
| A hybrid analysis for security protocols with state JD Ramsdell, DJ Dougherty, JD Guttman, PD Rowe International Conference on Integrated Formal Methods, 272-287, 2014 | 21 | 2014 |
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityEmail confirmado em cs.brown.edu
