Follow
Daniel J Dougherty
Daniel J Dougherty
Verified email at wpi.edu - Homepage
Title
Cited by
Cited by
Year
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
1922010
Specifying and reasoning about dynamic access-control policies
DJ Dougherty, K Fisler, S Krishnamurthi
International Joint Conference on Automated Reasoning, 632-646, 2006
1802006
Adding algebraic rewriting to the untyped lambda calculus
DJ Dougherty
Information and Computation 101 (2), 251-267, 1992
891992
Some lambda calculi with categorical sums and products
DJ Dougherty
International Conference on Rewriting Techniques and Applications, 137-151, 1993
801993
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
762013
Higher-order unification via combinators
DJ Dougherty
Theoretical Computer Science 114 (2), 273-298, 1993
591993
Obligations and their interaction with programs
DJ Dougherty, K Fisler, S Krishnamurthi
Computer Security–ESORICS 2007: 12th European Symposium On Research In …, 2007
572007
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
552013
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
462008
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
452007
An improved general E-unification method
DJ Dougherty, P Johann
Journal of symbolic computation 14 (4), 303-320, 1992
411992
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
372017
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
302008
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
282005
Extensional and intensional strategies
T Bourdier, H Cirstea, D Dougherty, H Kirchner
arXiv preprint arXiv:1001.4427, 2010
262010
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
232017
A combinatory logic approach to higher-order E-unification
DJ Dougherty, P Johann
International Conference on Automated Deduction, 79-93, 1992
231992
Decidability for lightweight Diffie-Hellman protocols
DJ Dougherty, JD Guttman
2014 IEEE 27th Computer Security Foundations Symposium, 217-231, 2014
222014
Intersection and Union Types in the λ¯ μμ˜-calculus
DJ Dougherty, S Ghilezan, P Lescanne
Electronic Notes in Theoretical Computer Science 136, 153-172, 2005
212005
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
202014
The system can't perform the operation now. Try again later.
Articles 1–20