Items where Academic/Research unit is "Faculty of Engineering and Physical Sciences > Computing > Formal Methods and Security"

A

Abdel Halim, I, Sharp, J, Schneider, S and Treharne, H (2010) Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP In: 12th International Conference on Formal Engineering Methods, 2010-11-17 - 2010-11-19, Shanghai, China.

Anonymous, Unspecified (2008) Simple and Secure Electronic Voting with Pret a Voter Technical Report. Department of Computing, University of Surrey. (Unpublished)

B

Bismark, D, Heather, JA, Peel, RMA, Schneider, SA, Xia, Z and Ryan, PYA (2009) Experiences Gained from the first Prêt à Voter Implementation In: First International Workshop on Requirements Engineering for e-Voting Systems (RE-VOTE), 2009, 2010-08-31 - 2010-08-31, Atlanta, GA.

Browne, Antony and Pilkington, John (1994) Variable Binding in a Neural Network using a Distributed Representation Proceedings of the IEE Colloquium on Symbolic and Neural Cognitive Engineering . 4.1-4.4.

Bryans, J and Schneider, SA CSP, PVS and a recursive authentication protocol In: DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997-09-03 - ?, Rutgers University.

C

Chaum, D, Ryan, PYA and Schneider, SA (2005) A Practical Voter-Verifiable Election Scheme. In: European Symposium on Research in Computer Security, 2005-09-12 - 2005-09-14, Milan, Italy.

Cohen, Gerard, Encheva, S. and Schaathun, Hans (2002) More on (2,2)-separating systems IEEE Transactions on Information Theory, 48 (9). ISSN 0018-9448

Cohen, Gerard and Schaathun, Hans Georg (2003) New upper bounds on separating codes In: 10th International Conference on Telecommunications, 2003. ICT 2003..

Cohen, Gerard D. and Schaathun, H. (2004) Upper bounds on separating codes IEEE Transactions on Information Theory, 50 (5). ISSN 0018-9448

Culnane, C, Treharne, H and Ho, ATS (2008) Improving mutli-set formatted binary text watermarking using continuous line embedding

Culnane, C, Treharne, H and Ho, ATS (2006) A new multi-set modulation technique for increasing hiding capacity of binary watermark for print and scan processes In: UNSPECIFIED SPRINGER-VERLAG BERLIN, 96 - 110.

Culnane, Chris, Heather, James, Schneider, Steve, Srinivasan, Sriramkrishnan and Xia, Zhe (2010) Trustworthy Voting Systems Technical Report: System Design Technical Report. Department of Computing, University of Surrey. (Unpublished)

D

Delicata, R and Schneider, S (2007) An algebraic approach to the verification of a class of Diffie-Hellman protocols INT J INF SECUR, 6 (2-3). 183 - 196. ISSN 1615-5262

Delicata, R and Schneider, S (2006) A formal approach for reasoning about a class of Diffle-Hellman protocols In: UNSPECIFIED UNSPECIFIED, 34 - 46.

Delicata, Rob and Schneider, Steve A. (2005) Temporal rank functions for forward secrecy 18th IEEE Workshop on Computer Security Foundations, 2005 . pp. 126-139.

Delicata, Robert and Schneider, Steve (2004) Towards the Rank Function Verification of protocols that use Temporary Secrets

Dutertre, B and Schneider, SA Using a PVS embedding of CSP to verify authentication protocols In: 10th International Theorem Proving in Higher Order Logic Conference, 1997 - ?.

E

Evans, N and Schneider, S (2000) Analysing Time Dependent Security Properties in CSP Using PVS. In: European Symposium on Research in Computer Security, 2000-10-04 - 2000-10-06, Toulouse, France.

F

Foulle, S, Schneider, S, Traoré, J and Xia, Z (2007) Threat analysis of a practical voting scheme with receipts In: First International Conference VOTE-ID 2007, 2007-10-04 - 2007-10-05, Bochum, Germany.

G

Gong, Li, Guttman, Joshua, Ryan, Peter and Schneider, Steve A. (2003) Guest Editorial - Overview the <i>IEEE Journal on Selected Areas in Communications</i>, Issue on Design and Analysis Techniques for Security Assurance, 21 . pp. 1-4.

H

Heather, J, Lowe, G and Schneider, S (2003) How to prevent type flaw attacks on security protocols Journal of Computer Security, 11 (2). 217 - 244. ISSN 0926-227X

Heather, J, Lowe, G and Schneider, S (2003) How to Prevent Type Flaw Attacks on Security Protocols. Journal of Computer Security, 11 (2). 217 - 244. ISSN 0926-227X

Heather, J and Schneider, S (2005) A decision procedure for the existence of a rank function Journal of Computer Security, 13 (2). 317 - 344. ISSN 0926-227X

Heather, J and Schneider, S (2005) A decision procedure for the existence of a rank function Journal of Computer Security, 13 (2). 317 - 344. ISSN 0926-227X

Heather, J and Schneider, S (2005) A decision procedure for the existence of a rank function. Journal of Computer Security, 13 (2). 317 - 344. ISSN 0926-227X

Heather, J and Schneider, S (2002) Equal To The Task? In: European Symposium on Research on Computer Security.

Heather, J and Schneider, S (2000) Towards Automatic Verification of Authentication Protocols on an Unbounded Network. CSFW'00 . 132 - 143.

Heather, J., Ryan, P. and Teague, V. (2010) Pretty good democracy for more expressive voting schemes ESORICS 2010 . pp. 405-423.

Heather, JA and Lundin, D (2009) The Append-only Web Bulletin Board Technical Report. Springer-Verlag.

Heather, James (2002) Strand spaces and rank functions:more than distant cousins

Heather, James and Schneider, Steve A. (2011) A formal framework for modelling coercion resistance and receipt freeness Technical Report. Department of Computing, University of Surrey.

Helleseth, Tor and Schaathun, Hans (2004) On the (2-1) Separating Weight of the Kerdock Code IEEE Transactions on Information Theory, 50 (12). pp. 3312-3315. ISSN 0018-9448

Ho, Anthony T. S. (2001) Robust copyright protection of satellite images using a noveldigital image-in-image watermarking algorithm In: IGARSS 2001. Scanning the Present and Resolving the Future. Proceedings. IEEE 2001 International Geoscience and Remote Sensing Symposium (Cat. No.01CH37217).

Ho, Anthony T. S., Puhan, Niladri B., Makur, A., Marziliano, Pina and Guan, Y. L. (2004) Imperceptible data embedding in sharply-contrasted binary images In: ICARCV 2004 8th Control, Automation, Robotics and Vision Conference, 2004..

Ho, Anthony T. S., Puhan, Niladri B., Marziliano, Pina, Makur, Anamitra and Guan, Y. L. (2004) Perception based binary image watermarking

Ho, Anthony T. S., Shen, Jun, Chow, Andrew K. K. and Woon, Jerry (2003) Robust digital image-in-image watermarking algorithm using the fast Hadamard transform

Ho, Anthony T. S., Shen, Jun, Tan, Soon Hie and Kot, Alex C. (2002) Digital image-in-image watermarking for copyright protection of satellite images using the fast Hadamard transform In: IEEE International Geoscience and Remote Sensing Symposium.

Ho, Anthony T. S. and Shu, Feng (2003) A print-and-scan resilient digital watermark for card authentication In: Fourth International Conference on Information, Communications and Signal Processing, 2003 and the Fourth Pacific Rim Conference on Multimedia. Proceedings of the 2003 Joint.

Ho, Anthony T. S. and Shu, Feng (2004) A robust spread-spectrum watermarking method using two-level quantization In: 2004 International Conference on Image Processing, 2004. ICIP '04..

Ho, Anthony T. S., Tham, W. H. and Low, K. S. (2005) Improving classification accuracy in through-wall radar imaging using hybrid prony's and singular value decomposition method

Ho, Anthony T. S., Tham, W. H. and Low, K. S. (2005) Through-wall radar image reconstruction based on time-domain transient signals in the presence of noise

Ho, Anthony T. S., Zhu, Xunzhan and Guan, Yong Liang (2004) Image Content Authentication Using Pinned Sine Transform EURASIP Journal on Advances in Signal Processing, 2004 (14). pp. 2174-2184. ISSN 1687-6172

Ho, Anthony T. S., Zhu, Xunzhan, Guan, Yong Liang and Marziliano, Pina (2004) Slant transform watermarking for textured images

Ho, Anthony T. S., Zhu, Xunzhan and Shen, Jun (2004) Authentication of biomedical images based on zero location watermarking In: ICARCV 2004 8th Control, Automation, Robotics and Vision Conference, 2004..

Ho, Anthony T. S., Zhu, Xunzhan and Tang, Lilian H. (2007) Digital Watermarking Authentication and Restoration for Chinese Calligraphy Images In: 2007 15th International Conference on Digital Signal Processing.

Ho, Anthony T. S., Zhu, Xunzhan and Woon, W. M. (2005) A semi-fragile pinned sine transform watermarking system for content authentication of satellite images In: Proceedings. 2005 IEEE International Geoscience and Remote Sensing Symposium, 2005. IGARSS '05..

Ho, Anthony Tung Shuen, Seumahu, Eliza Steve, Tam, Siu-Chung, Chin, Teck Wei and Lim, Hock Seng (1998) Improving SAR image classification in tropical region through fusion with SPOT data In: IGARSS '98. Sensing and Managing the Environment. 1998 IEEE International Geoscience and Remote Sensing. Symposium Proceedings. (Cat. No.98CH36174).

Ho, Anthony Tung-Shuen, Yu, Tao and Tam, Siu-Chung (1999) Improving vector quantization of satellite images through theapplication of bi-orthogonal wavelets In: IEEE 1999 International Geoscience and Remote Sensing Symposium. IGARSS'99 (Cat. No.99CH36293).

I

Ifill, W, Schneider, S and Treharne, H (2007) Augmenting B with control annotations In: 7th International Conference of B Users, 2007-01-17 - 2007-01-19, Univ Franche Comte, Besancon, FRANCE.

J

Jiang, W, Ho, ATS, Treharne, H and Yun-Qing, S (2011) Local Binary Patterns for Printer Identification based on Texture Analysis Technical Report.

K

Kroustis, Constantinos A and Casey, Matthew C (2008) Combining Heuristics and Q-Learning in an Adaptive Light Seeking Robot Technical Report. Department of Computing, University of Surrey. (Unpublished)

L

Lundin, David and Ryan, Peter Y A Human Readable Paper Verification of Pret a Voter Technical Report. Department of Computing, University of Surrey. (Unpublished)

M

McEwan, AA and Schneider, S (2006) A verified development of hardware using CSP||B In: 4th ACM/IEEE International Conference on Formal Methods and Models for Co-Design, 2006-07-27 - 2006-07-30, Napa Valley, CA.

P

Pankajakshan, V and Ho, ATS (2007) Improving video steganalysis using temporal correlation 2007 THIRD INTERNATIONAL CONFERENCE ON INTELLIGENT INFORMATION HIDING AND MULTIMEDIA SIGNAL PROCESSING, VOL 1, PROCEEDINGS . 287 - 290.

Puhan, NB, Ho, ATS and Sattar, F (2008) Erasable authentication watermarking in binary document images Proceedings of Second International Conference on Innovative Computing, Information and Control . 288 - 288.

Puhan, Niladri D. and Ho, Anthony T. S. (2005) Binary document image watermarking for secure authentication using perceptual modeling In: Proceedings of the Fifth IEEE International Symposium on Signal Processing and Information Technology, 2005..

R

Ryan, P. Y. and Schneider, Steve A. (2001) Process algebra and non-interference Journal of Computer Security, 9 . pp. 75-103.

Ryan, PYA and Schneider, SA (1999) Process Algebra and Non-Interference. In: IEEE Computer Security Foundations Workshop, 1999-06-28 - 1999-06-30, Mordano, Italy.

Ryan, PYA and Schneider, SA (2001) Process Algebra and Non-Interference. Journal of Computer Security, 9 (1/2). 75 - 103. ISSN 0926-227X

S

Schaathun, Hans (2005) The second support weight distribution of the Kasami codes IEEE Transactions on Information Theory, 51 (8). ISSN 0018-9448

Schaathun, Hans Georg (2004) Duality and Support Weight Distributions IEEE Transactions on Information Theory, 50 (5). pp. 862-867. ISSN 0018-9448

Schaathun, Hans Georg (2004) Fighting Three Pirates with Scattering Codes Proceedings of the International Symposium on Information Theory 2004 . p. 203.

Schaathun, Hans Georg (2001) A Lower Bound on the Greedy Weights of Product Codes and Projective Multisets

Schaathun, Hans Georg (2006) On Watermarking/Fingerprinting for Copyright Protection Proceedings of the First International Conference on Innovative Computing, Information and Control (ICICIC '06) . pp. 50-53.

Schaathun, Hans Georg (2000) Projective systems and higher weights In: 2000 IEEE International Symposium on Information Theory (Cat. No.00CH37060).

Schaathun, Hans Georg (2000) The Weight Hierarchy of Product Codes IEEE Transactions on Information Theory, 46 (7). pp. 2648-2651.

Schaathun, Hans Georg and Fernandez, Marcel (2005) Boneh-Shaw Fingerprinting and Soft Decision Decoding In: IEEE Information Theory Workshop, 2005..

Schaathun, HG (2008) On the assumption of equal contributions in fingerprinting IEEE Transactions on Information Forensics and Security, 3 (3). 569 - 572. ISSN 1556-6013

Schaathun, HG and Schaathun, HG (2006) The Boneh-Shaw fingerprinting scheme is better than we thought IEEE Transactions on Information Forensics and Security, 1 (2). 248 - 255. ISSN 1556-6013

Schneider, S (1999) Abstraction and Testing.

Schneider, S (1998) Formal Analysis of a Non-Repudiation Protocol. In: IEEE Computer Security Foundations Workshop, 1998-06-09 - 1998-06-11, Rockport, MA, USA.

Schneider, S (2001) May Testing, Non-interference, and Compositionality. In: The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000), 2000-07-20 - 2000-07-21, Cork, ireland.

Schneider, S (1997) Timewise Refinement for Communicating Processes. Science of Computer Programming, 28 (1). 43 - 90.

Schneider, S (1993) Timewise Refinement for Communicating Processes. In: Mathematical Foundations of Programming Semantics, 1993-04-07 - 1993-04-10.

Schneider, S, Cavalcanti, A, Treharne, H and Woodcock, J (2006) A layered behavioural model of platelets In: 11th IEEE International Conference on Engineering of Complex Computer Systems, 2006-08-15 - 2006-08-17, Stanford, CA.

Schneider, S, Hoang, TS, Robinson, K and Treharne, H (2006) Tank monitoring: a pAMN case study Formal Aspects of Computing, 18 (3). 308 - 328. ISSN 0934-5043

Schneider, S, Llewellyn, M, Culnane, C, Heather, J, Srinivasan, S and Xia, Z (2011) Focus group views on Prêt à Voter 1.0

Schneider, S and Sidiropoulos, A (1996) CSP and Anonymity. In: European Symposium on Research in Computer Security, 1996-09-25 - 1996-09-27, Rome, Italy.

Schneider, S and Treharne, H (2009) Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B In: 7th International Conference on Integrated Formal Methods, 2009-02-16 - 2009-02-19, Dusseldorf, GERMANY.

Schneider, S and Treharne, H (2011) Changing system interfaces consistently: A new refinement strategy for CSP||B Science of Computer Programming, 76 (10). 837 - 860. ISSN 0167-6423

Schneider, S and Treharne, H (2002) Communicating B Machines. Lecture Notes in Computer Science, 2272 . 416 - 435.

Schneider, S and Treharne, H (2005) CSP theorems for communicating B machines FORMAL ASPECTS OF COMPUTING, 17 (4). 390 - 422. ISSN 0934-5043

Schneider, S, Treharne, H and Evans, N (2005) Chunks: Component verification in CSP||B In: 5th International Conference on Integrated Formal Methods, 2005-11-29 - 2005-12-02, Eindhoven, Netherlands.

Schneider, S, Treharne, H, McEwan, A and Ifill, W (2008) Experiments in Translating CSP||B to Handel-C In: Communicating Process Architectures 2008 - WoTUG-31, 2008-09-07 - 2008-09-10, York, UK.

Schneider, SA and Delicata, R (2004) Verifying Security Protocols: An Application of CSP. In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, 2004-07-07 - 2004-07-08, London.

Schneider, SA, Treharne, H and Vajar, B Introducing mobility into CSP||B In: 7th International Workshop on Automated Verification of Critical Systems, 2007-09-10 - 2007-09-12, Oxford, UK.

Schneider, SA, Treharne, H and Wehrheim, H (2011) A CSP Account of Event-B Refinement In: REFINE 2011, 2011-06-20 - 2011-06-20, Limerick.

Schneider, SA, Treharne, HE and Wehrheim, H (2010) A CSP approach to Control in Event-B Integrated Formal Methods/Lecture Notes in Computer Science, 6396 . 260 - 274.

Schneider, Steve and Delicata, Robert (2005) Verifying Security Protocols: An Application of CSP In: UNSPECIFIED UNSPECIFIED, pp. 243-263.

Schneider, Steve, Hoang, Thai Son, Robinson, Ken and Treharne, Helen (2005) Tank monitoring: a pAMN case study Electronic Notes in Theoretical Computer Science, 137 (2). pp. 183-204. ISSN 15710661

Schneider, Steve, Treharne, Helen and Wehrheim, Heike (2011) Stepwise Refinement in Event-B CSP. Part 1: Safety Technical Report. Department of Computing, University of Surrey. (Unpublished)

Schneider, Steve A (2002) Verifying authentication protocol implementations

Schneider, Steve A. (1998) Formal analysis of a non-repudiation protocol Proceedings of the 11th IEEE Computer Security Foundations Workshop . pp. 9-11.

Schneider, Steve A. (1996) Security properties and CSP Proceedings of the 1996 IEEE Symposium on Security and Privacy . pp. 174-187.

Schneider, Steve A. (1998) Verifying authentication protocols in CSP IEEE Transactions on Software Engineering, 24 . pp. 741-758.

Schneider, Steve A. and Treharne, Helen (2004) Verifying controlled components

Schneider, Steve A., Treharne, Helen and Wehrheim, Heike (2011) Bounded Retransmission in Event-B||CSP: A Case Study Department of Computing, University of Surrey. (Unpublished)

Shaikh, SA, Bush, VJ and Schneider, SA (2009) Specifying authentication using signal events in CSP Computers and Security, 28 (5). 310 - 324. ISSN 0167-4048

Sharp, James and Treharne, Helen (2011) CASE Technical Report: Automated Transformations from VHDL to CSP Technical Report. Department of Computing, University of Surrey. (Unpublished)

T

Tam, Siu-Chung, Neo, Wah-Peng, Chua, Hock-Chuan, Ho, Anthony T. S. and Lee, Sing (1998) A novel technique for measuring the pulsewidth of nanosecond laser pulses IEEE Transactions on Instrumentation and Measurement, 47 (4). pp. 997-1000. ISSN 00189456

Tam, Siu-Chung, Tan, Siong-Chai, Neo, Wah-Peng, Foong, Sze-Chern, Chan, Choon-Hao, Ho, Anthony T. S., Chua, Hock-Chuan and Lee, Sing (2001) Fuzzy logic control of a nitrogen laser Optical Engineering, 40 (2). pp. 237-244. ISSN 00913286

Treharne, H and Schneider, S (2000) How to Drive a B Machine. In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, 2000-08-29 - 2000-09-02, York, UK.

Treharne, H, Schneider, S and Bramble, M (2003) Composing Specifications Using Communication. Lecture Notes in Computer Science, 2651 . 58 - 78.

Treharne, Helen, Draper, J. and Schneider, Steve A. (1998) Test case preparation using a prototype

Turner, E, Treharne, H, Schneider, S and Evans, N (2008) Automatic generation of CSP||B skeletons from xUML models In: 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), 2008-09-01 - 2008-09-03, Sabanci Univ, Istanbul, TURKEY.

W

Woon, Wee Meng, Ho, Anthony T. S., Yu, Tao, Tam, Siu Chung, Tan, Siong Chai and Yap, Lian Teck (2000) Achieving high data compression of self-similar satellite imagesusing fractal In: IGARSS 2000. IEEE 2000 International Geoscience and Remote Sensing Symposium. Taking the Pulse of the Planet: The Role of Remote Sensing in Managing the Environment. Proceedings (Cat. No.00CH37120).

X

Xia, Yan and Ho, Anthony T. S. (2000) 3D vector topology model in the Visualization System In: IGARSS 2000. IEEE 2000 International Geoscience and Remote Sensing Symposium. Taking the Pulse of the Planet: The Role of Remote Sensing in Managing the Environment. Proceedings (Cat. No.00CH37120).

Xia, Yan, Ho, Anthony T. S. and Ji, YanWen (2001) A novel wavelet stereo matching method to improve DEM accuracygenerated from SPOT stereo image pairs In: IGARSS 2001. Scanning the Present and Resolving the Future. Proceedings. IEEE 2001 International Geoscience and Remote Sensing Symposium (Cat. No.01CH37217).

Xia, Yan, Ho, Anthony T. S. and Zhang, YuCheng (2000) CIMO - Component Integration MOdel In: Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.

Xia, Z, Culnane, C, Heather, J, Jonker, H, Ryan, P, Schneider, S and Srinivasan, S Versatile Pret a Voter: Handling multiple election methods with a unified interface In: IndoCrypt 2010, 2010-12-12 - 2010-12-15, Hyderabad, India.

Xia, Z, Culnane, C, Heather, JA, Jonker, H, Ryan, PYA, Schneider, SA and Srinivasan, S (2010) Versatile Pret a Voter: Handling Multiple Election Methods with a Unified Interface In: Indocrypt, 2010-12-12 - 2010-12-15, Hyderabad, India.

Xia, Z and Schneider, S A New Receipt-Free E-Voting Scheme Based on Blind Signature In: WOTE: Workshop on Trustworthy Elections, 2006-06-29 - 2006-06-30, Cambridge, UK.

Xia, Z, Schneider, SA, Heather, J, Ryan, PYA, Lundin, D and Howard, P (2007) Pret a Voter: All-in-one In: WOTE: Workshop on Trustworthy Elections, 2007-06-20 - 2007-06-22, Ottawa, Canada.

Xia, Z, Schneider, SA, Heather, J and Traoré, J (2008) Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption. In: USENIX/ACCURATE Electronic Voting Workshop, 2008-07-28 - 2008-07-29, San Jose, USA.

Y

Yeung, WL and Schneider, SA (2003) Design and verification of distributed recovery blocks with CSP FORM METHOD SYST DES, 22 (3). 225 - 248. ISSN 0925-9856

Yeung, WL and Schneider, SA (2005) Formal verification of fault-tolerant software design: the CSP approach MICROPROCESS MICROSY, 29 (5). 197 - 209. ISSN 0141-9331

Yeung, WL and Schneider, SA (2005) Formal verification of fault-tolerant software design: the CSP approach MICROPROCESSORS AND MICROSYSTEMS, 29 (5). 197 - 209. ISSN 0141-9331

Yu, Tao, Ho, Anthony Tung-Shuen and Tam, Siu-Chung (1999) A novel hybrid bi-orthogonal wavelets/ADPCM algorithm for very lowbit rate satellite image compression In: IEEE 1999 International Geoscience and Remote Sensing Symposium. IGARSS'99 (Cat. No.99CH36293).

Z

Zhang, J, Ho, ATS, Qiu, G and Marziliano, P (2007) Robust video watermarking of H.264/AVC IEEE Transactions on Circuits and Systems II: Express Briefs, 54 (2). 205 - 209. ISSN 1057-7130

Zhang, Jing and Ho, Anthony T. S. (2003) An efficient digital image-in-image watermarking algorithm using the integer discrete cosine transform (IntDCT) In: Fourth International Conference on Information, Communications and Signal Processing, 2003 and the Fourth Pacific Rim Conference on Multimedia. Proceedings of the 2003 Joint.

Zhang, Jing and Ho, Anthony T. S. (2005) Efficient RobustWatermarking of Compressed 2-D Grayscale Patterns for H.264/AVC In: 2005 IEEE 7th Workshop on Multimedia Signal Processing.

Zhang, Jing and Ho, Anthony T. S. (2006) Efficient Video Authentication for H.264/AVC In: First International Conference on Innovative Computing, Information and Control - Volume I (ICICIC'06).

Zhang, Jing and Ho, Anthony T. S. (2005) Robust digital image-in-video watermarking for the emerging H.264/AVC standard In: IEEE Workshop on Signal Processing Systems Design and Implementation, 2005..

Zhang, Liyang, Soong, Boon-Hee, Ho, Anthony T. S. and Ong, Jin-Teung (2000) Using RBF algorithm for landcover or clutter classification formobile planning In: VTC2000-Spring. 2000 IEEE 51st Vehicular Technology Conference Proceedings (Cat. No.00CH37026).

Zhao, Xi (2009) Robust and Semi-fragile Watermarking Techniques for Image Content Protection Technical Report. Department of Computing, University of Surrey. (Unpublished)

Zhu, X, Ho, ATS and Marziliano, P (2006) Image authentication and restoration using irregular sampling for traffic enforcement applications In: 1st International Conference on Innovative Computing, Information and Control (ICICIC 2006), 2006-08-30 - 2006-09-01, Beijing, PEOPLES R CHINA.

Zhu, Xunzhan and Ho, Anthony T. S. (2003) A slant transform watermarking for copyright protection of satellite images In: Fourth International Conference on Information, Communications and Signal Processing, 2003 and the Fourth Pacific Rim Conference on Multimedia. Proceedings of the 2003 Joint.