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

Research Output

Filter
Paper
2014

Privacy-preserving audit for broker-based health information exchange

Oh, S. E., Chun, J. Y., Jia, L., Garg, D., Gunter, C. A. & Datta, A., 2014, p. 313-320. 8 p.

Research output: Contribution to conferencePaper

2011

Reconstructing Hash Reversal based Proof of Work Schemes

Green, J., Juen, J., Fatemieh, O., Shankesi, R., Jin, D. & Gunter, C. A., Jan 1 2011.

Research output: Contribution to conferencePaper

2010

Tiered incentives for integrity based queuing

Khan, F. & Gunter, C. A., Dec 1 2010.

Research output: Contribution to conferencePaper

2000

Fault origin adjudication

Bhargavan, K., Gunter, C. A. & Obradovic, D., Jan 1 2000, p. 61-71. 11 p.

Research output: Contribution to conferencePaper

Reference model for requirements and specifications

Gunter, C. A., Gunter, E. L., Jackson, M. & Zave, P., Jan 1 2000. 1 p.

Research output: Contribution to conferencePaper

1998

PLAN: A Packet Language for Active Networks

Hicks, M., Kakkar, P., Moore, J. T., Gunter, C. A. & Nettles, S., Jan 1 1998, p. 86-93. 8 p.

Research output: Contribution to conferencePaper

1996

Abstracting dependencies between software configuration items

Gunter, C. A., Jan 1 1996, p. 167-178. 12 p.

Research output: Contribution to conferencePaper

1995

Generalization of exceptions and control in ML-like languages

Gunter, C. A., Remy, D. & Riecke, J. G., Jan 1 1995, p. 12-23. 12 p.

Research output: Contribution to conferencePaper