Kevin R. O'Neill

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

Collaborative distances:

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

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

2003

Anonymity and Information Hiding in Multiagent Systems.

Joseph Y. Halpern, Kevin R. O'Neill

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

2002

Secrecy in Multiagent Systems.

Joseph Y. Halpern, Kevin R. O'Neill

Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002