Some of Kevin's Publications

• Secrecy in Multiagent Systems
  • Authors: Joseph Halpern and Kevin O'Neill
    
  • Conference version: in Proceedings of the 15th IEEE Computer Security Foundations Workshop, 2002, pp. 32-46 (pdf)
  • Full version: ACM Transactions on Information and System Security 12:2, 2008, pp. 1-47 (TISSEC link)
  • Older, more complete version is archived in CoRR (link)
• Secrecy and Anonymity in Interactive Systems
  • Auther: Kevin O'Neill
    
  • Cornell University Ph.D. Dissertation (pdf)
• Information-Flow Security for Interactive Programs
  • Authors: Kevin O'Neill, Michael Clarkson, and Stephen Chong
    
  • Conference version: to appear, CSFW 2006. (pdf)
  • Full version: Cornell University Technical Report TR2006-2022. (pdf, eCommons@Cornell)
  • Slides from the CSFW talk: (pdf)
• Relative Character-State Space, Amount of Potential Phylogenetic Information, and Heterogeneity of Nucleotide and Amino Acid Characters
  • Authors: Mark Simmons, Timothy Carr, and Kevin O'Neill
    
  • Full version: Molecular Phylogenetics and Evolution, 32, 2004, pp. 913-926
• Anonymity and Information Hiding in Multiagent Systems
  • Authors: Joseph Halpern and Kevin O'Neill
    
  • Conference version: in Proceedings of the 16th IEEE Computer Security Foundations Workshop, 2003, pp. 75-88 (pdf)
  • Full version: Journal of Computer Security 13:3, 2005, pp. 483-514 (pdf)
  • Slides from the CSFW talk: (pdf)
• Stochastic Local Search Methods for Dynamic SAT--an Initial Investigation
  • Authors: Holger Hoos and Kevin O'Neill
  • Workshop version: in AAAI-2000 Workshop "Leveraging Probability and Uncertainty in Computation", 2000, pp. 22-26 (pdf)