If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference article
2016

Plausible deniability for privacy-preserving data synthesis

Bindschaedler, V., Shokri, R. & Gunter, C. A., 2016, In : Proceedings of the VLDB Endowment. 10, 5, p. 481-492 12 p.

Research output: Contribution to journalConference article

2005

A formal privacy system and its application to location based services

Gunter, C. A., May, M. J. & Stubblebine, S. G., Sep 14 2005, In : Lecture Notes in Computer Science. 3424, p. 256-282 27 p.

Research output: Contribution to journalConference article

2004

Fair coalitions for power-aware routing in wireless networks

Guha, R. K., Gunter, C. A. & Sarkar, S., Dec 1 2004, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 3271-3276 6 p., ThB03.1.

Research output: Contribution to journalConference article

The consistency of task-based authorization constraints in workflow systems

Tan, K., Crampton, J. & Gunter, C., Oct 18 2004, In : Proceedings of the Computer Security Foundations Workshop. 17, p. 155-169 15 p.

Research output: Contribution to journalConference article

2002

Requirements for a practical network event recognition language

Bhargavan, K. & Gunter, C. A., Dec 2002, In : Electronic Notes in Theoretical Computer Science. 70, 4, p. 1-20 20 p.

Research output: Contribution to journalConference article

2001

What packets may come: Automata for network monitoring

Bhargavan, K., Chandra, S., McCann, P. J. & Gunter, C., May 14 2001, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 206-219 14 p.

Research output: Contribution to journalConference article

2000

Generalized certificate revocation

Gunter, C. A. & Jim, T., Dec 3 2000, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 316-329 14 p.

Research output: Contribution to journalConference article

1999

Specifying the PLAN network programming langauge

Kakkar, P., Hicks, M., Moore, J. & Gunter, C. A., Dec 1 1999, In : Electronic Notes in Theoretical Computer Science. 26, p. 87-104 18 p.

Research output: Contribution to journalConference article

1990