Dr. Duggan’s research involves advancement of the tools, including semantics, which ensure software is "safe" and "secure." He has worked on module systems for programming-in-the-large, software adaptation for safe dynamic library updates, various extensions of object-oriented languages to enable reuse, type inference, and language-based security.
His work in security leverages techniques in programming languages and software checking to establish end-to-end security properties for applications. Dr. Duggan is also involved with the Secure Systems Lab, which pioneer new technologies for useable, secure systems with high assurance. This cutting edge collaborative research and education projects encompass areas including: Secure Personal Information Space; Network Security; Distributed System Security; Data Mining, Security & Privacy; Language Based Security; Cryptographic Protocols; High Assurance; Biometrics; Botnets and Malware; Forensics.
Dr. Duggan is a member of the Association for Computing Machinery, and IEEE Computer Society, and has been awarded multiple grants and funding for the advancement of his research.
T. Chothia and D. Duggan. (2007). Capability passing processes, Science of Computer Programming, Elsevier. (66), 184-204
D. Duggan. (2005). Type-based hot swapping of running libraries, Acta Informatica, Springer. 41 (4-5)
D. Duggan. (2004). Type-based cryptographic operations, Journal of Computer Security, 12 (3-4), 485-550
T. Chothia and D. Duggan. (2004). Abstractions for fault-tolerant global computing, Theoretical Computer Science, Elsevier. 3 (322), 567-613
D. Duggan. (2002). Type-safe dynamic linking with recursive DLLs and shared libraries, Transactions on Programming Languages and Systems, ACM. 24 (6), 711-804
D. Duggan. (2002). Object type constructors, Acta Informatica, Springer. (38), 367-408
D. Duggan and J. Ophel. (2002). Type checking multi-parameter type classes, Journal of Functional Programming, Academic Press. 12 (2), 133-158
D. Duggan and J. Ophel. (2002). Open and closed scopes for constrained genericity, Theoretical Computer Science, Elsevier. (275), 215-258
D. Duggan. (2001). Higher-order substitutions, Information and Computation, Academic Press. (164), 1-53
D. Duggan. (1999). Dynamic typing for distributed programming in polymorphic languages, Transactions on Programming Languages and Systems, ACM. 21 (1), 11-45
D. Duggan. (1998). Unification with extended patterns, Theoretical Computer Science, Elsevier. (206), 1-50
D. Duggan and F. Bent. (1996). Explaining type inference, Science of Computer Programming, Elsevier. 27 (1)
D. Duggan, G. Cormack and J. Ophel. (1996). Kinded type inference for parametric overloading, Acta Informatica, Springer. (33), 21-68