| 2006 | DASC | Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. | Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori |
| 2006 | IRI | Reasoning about dynamics of trust and agent beliefs. | Mehmet A. Orgun, Chuchang Liu |
| 2006 | IRI | Representation and integration of knowledge based on multiple granularity of time using temporal logic. | Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak |
| 2001 | ACISP | An Axiomatic Basis for Reasoning about Trust in PKIs. | Chuchang Liu, Maris A. Ozols, Anthony Cant |
| 2000 | ACISP | The PKI Specification Dilemma: A Formal Solution. | Maris A. Ozols, Marie Henderson, Chuchang Liu, Anthony Cant |
| 2000 | PKC | A State-Based Model for Certificate Management Systems. | Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant |
| 1998 | FlAIRS | A Structural Knowledge-Based Simulation Methodology for Distributed Systems. | Chuchang Liu, Mehmet A. Orgun |
| 1998 | FQAS | Querying Clocked Databases. | Mehmet A. Orgun, Chuchang Liu |
| 1998 | TIME | Embedding a Timing System in TLC. | Chuchang Liu, Mehmet A. Orgun |
| 1997 | TIME | BCTL: A Branching Clock Temporal Logic. | Chuchang Liu, Mehmet A. Orgun |
| 1996 | SAC | Executing specifications of distributed computations with Chronolog(MC). | Chuchang Liu, Mehmet A. Orgun |