Kevin R. O'Neill

According to our database, Kevin R. O'Neill authored at least 4 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

Secrecy in Multiagent Systems.

Joseph Y. Halpern, Kevin R. O'Neill

ACM Trans. Inf. Syst. Secur., 2008

2006

Secrecy and Anonymity in Interactive Systems.

Kevin R. O'Neill

PhD thesis, 2006

Information-Flow Security for Interactive Programs.

Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005

Anonymity and information hiding in multiagent systems.

Joseph Y. Halpern, Kevin R. O'Neill

J. Comput. Secur., 2005