School of Computer Science and Engineering The University of New South Wales Sydney 2052, Australia
Research Areas
Research Topics:
Security Engineering
Formal Methods
Concurrent Real-Time and Distributed Systems
Publications
A confidential and DoS-resistant multi-hop code dissemination protocol for Wireless Sensor Networks H Tan, D Ostry, J Zic, S Jha, Proceedings of the 2nd ACM Conference on Wireless Network Security, WiSec`09, . , 2009
Predicate Transformer Refinement As A Basis For Interactive Component Design W Qiu, J Zic, Proceedings of 4rd International Symposium on Software Technology 99 (ISFST' 99), . Software Engineering Association (Japan), Tokyo, Japan, 1999, pp. 310 - 313
![[PHOTO: John Zic]](https://my.cse.unsw.edu.au/staffPhotos/johnz.jpg)
