Update: I have defended my PhD thesis and am no longer maintaining this website. Send me an email at firstname@cs.auckland.ac.nz if you want to get in touch with me and/or to know my current coordinates.


Research Interests:

+ Mobile code security (Control-flow obfuscation using opaque predicates, code tamperproofing)

+ Static program analysis (Points-to analysis, reaching definitions, data-/control-flow analysis, static program slicing, and refactoring)

+ Distributed computing (Distributed predicate detection, mobile agents security, and shared state monitoring)

Selected Refereed Publications and Research Reports:

18. "Remote software protection by orthogonal client replacement" with Mariano Ceccato, Mila Dalla Preda and Paolo Tonella. In proceedings of the 24th Annual ACM Symposium on Applied Computing 2009 (ACM SAC 2009), sponsored by The ACM Special Interest Group on Applied Computing. March 09-12, 2009. Honolulu, Hawaii, USA. ACM Press.

17. "Slicing Obfuscations: Design, Correctness, and Evaluation" with Stephen Drape and Clark Thomborson. In proceedings of the Seventh ACM Workshop on Digital Rights Management (ACM-DRM 2007) (Part of the Fourteenth ACM Conference on Computer and Communications Security (ACM-CCS 2007)). October 29 - November 2, 2007. Alexandria, VA, USA. ACM Press. (Winner of the Best Student Published Paper award from the Computer Science Department and a Microsoft Scholarship from ACM)

16. "Metrics-based Evaluation of Slicing Obfuscations" with Stephen Drape and Clark Thomborson. In proceedings of the Third International Symposium on Information Assurance and Security (IAS 2007). August 29-31, 2007. Manchester, United Kingdom. IEEE Computer Society.

15. "Specifying Imperative Data Obfuscations" with Stephen Drape and Clark Thomborson. In proceedings of the Tenth Information Security Conference (ISC 2007). October 9-12, 2007. Valparaiso, Chile. Springer-Verlag.

14. "Slicing Aided Design of Obfuscating Transforms" with Stephen Drape and Clark Thomborson. In proceedings of the IEEE/ACIS Conference (ICIS 2007). Melbourne, Australia. July 11-13, 2007. IEEE Computer Society.

13. "Design and Evaluation of Slicing Obfuscations" with Stephen Drape. Centre for Discrete Mathematics and Theoretical Computer Science (CDMTCS) Technical Report #311, 49 pp, June 2007, Department of Computer Science, The University of Auckland, New Zealand.

12. "Interpreting Opacity in the Context of Information-hiding and Obfuscation in Distributed Systems" with Clark Thomborson. In proceedings of the IEEE TENCON 2006 conference. Hong Kong, China. November 14-17, 2006. IEEE Computer Society.

11. "On Evaluating Obfuscatory Strength of Alias-based Transforms using Static Analysis" with Antoine Monsifrot and Clark Thomborson. In the proceedings of ADCOM 2006 conference. Mangalore India. December 21-24, 2006. IEEE Computer Society.

10. "A Survey of Control-flow Obfuscations" with Clark Thomborson and Stephen Drape. In the proceedings of the International Conference on Information Systems Security (ICISS 2006), Kolkata, India. December 17-21, 2006. Springer-Verlag Heidelberg.

9. "Manufacturing Opaque Predicates in Distributed Systems for Code Obfuscation" with Clark Thomborson. In Twenty-Ninth Australasian Computer Science Conference. January 15-19, 2006. Hobart, TAS, Australia. ACM International Conference Proceeding Series; Vol. 171 , eds. V. Estivill-Castro and G. Dobbie, ACM Press.

8. "Securing Mobile Agents Control Flow Using Opaque Predicates" with Clark Thomborson. In proceedings of the Workshop on Intelligent Information Hiding and Multimedia Signal Processing (IIHMSP 2005), Melbourne, VIC, Australia. Springer-Verlag Heidelberg. September 14-16, 2005.

7. "On the Use of Opaque Predicates in Mobile Agent Code Obfuscation" with Clark Thomborson. In proceedings of the IEEE Conference on Intelligence and Security Informatics (ISI 2005), Atlanta, GA, USA. May 15-19, 2005.

6. "On-the-Fly Agent-Based Distributed Shared State Monitoring" with Trong Khiem Tran, Eslam Al Maghayreh, Hon Fung Li, and Dhrubajyoti Goswami. In proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2004), Las Vegas, NV, USA. June 21-24, 2004.

5. "Methodologies for detection of unstable predicates in distributed systems". COMP7231 Research Report. Concordia University. Montreal, QC, Canada. April 2004.

4. "A Survey on Structured Management of Parallel Computation". COMP7241 Research Report. Concordia University. Montreal, QC, Canada. March 2004.

3. "Fault-Tolerance in Mobile Agent Systems" with Trong Khiem Tran. COMP6281 Research Report. Concordia University. Montreal, QC, Canada. December 2003.

2. "A Proposal for Improvement in the Service-Level Security Architecture of Bluetooth" with Subhansu Bandopadhyay, Samidh Chatterjee, and Santanu Chattopadhyay. In proceedings of the IEEE Technical Conference on Convergent Technologies for the Asia Pacific. Indian Institute of Science, Bangalore, India, October 14-17, 2003. IEEE Computer Society.

1. "Security Challenges in Ubiquitous Computing" B.Tech. dissertation. Supervised by Prof. Subhansu Bandopadhyay. Department of Computer Science and Engineering, University of Calcutta. Calcutta, India. July 2003. 350pp. Scored 96%

Professional Honours:

+ In the Program Committee of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), Beijing, China. September 2008 .

+ In the Program Committee of the Pacific-Asia Conference on Intelligence and Security Informatics (PAISI 2008), Taipei, Taiwan. June 2008. Springer-Verlag.

+ Reviewer for ACM-CHI 2008 (26th ACM Computer-Human Interaction Conference), Sponsored by ACM-SIGCHI, Florence, Italy, April 2008.

+ Session Chair for the "Data Communications and Networking" session in IEEE TENCON 2006 conference, Hong Kong. November 14-17, 2006. IEEE Computer Society.

+ In the Program Committee of the Pacific-Asia Conference on Intelligence and Security Informatics (PAISI 2007), Chengdu, China. April 2007. Springer-Verlag.

+ Served in the Program Committee of the Intelligence and Security Informatics Workshop of Pacific Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2006). Singapore. April 9-12, 2006. Springer-Verlag.

+ Served in the capacity of a referee for the IEEE Conference on Intelligence and Security Informatics (ISI 2005). Atlanta, GA, USA. May 15-19, 2005. IEEE Computer Society.

+ Member of the New Zealand Chapter of the Association for Computing Machinery (ACM) and the Institute of Electrical and Electronics Engineers (IEEE).