Generalised Proof-Theory for Multi-Agent Autoepistemic Reasoning. - Yongyuth Permpoontanalarp; John Yuejun Jiang (ICMAS, 1995)

On Multi-Agent Autoepistemic Reasoning. - Yongyuth Permpoontanalarp; John Yuejun Jiang (WOCFAI, 1995)

A Unified Methodology for Verification and Synthesis of Firewall Configurations. - Yongyuth Permpoontanalarp; Chaiwat Rujimethabhas (ICICS, 2001)

Practical Reasoning about Accountability in Electronic Commerce Protocols. - Supakorn Kungpisdan; Yongyuth Permpoontanalarp (ICISC, 2001)

A graph theoretic model for hardware-based firewalls. - Yongyuth Permpoontanalarp; Chaiwat Rujimethabhas (ICON, 2001)

Multi-dimensional Hash Chain For Sealed-Bid Auction. - Navapot Prakobpol; Yongyuth Permpoontanalarp (WISA, 2003)

A Graph-based Methodology for Analyzing IP Spoofing Attack. - Voravud Santiraveewan; Yongyuth Permpoontanalarp (AINA (2), 2004)

Dynamic Undeniable Fair Certified Email with DDoS Protection. - Yongyuth Permpoontanalarp; Jatupoom Kanokkanjanapong (AINA, 2008)

Security Analysis of Micali's Fair Contract Signing Protocol by Using Coloured Petri Nets. - Panupong Sornkhom; Yongyuth Permpoontanalarp (SNPD, 2008)

Security analysis of Micali's fair contract signing protocol by using Coloured Petri Nets : Multi-session case. - Panupong Sornkhom; Yongyuth Permpoontanalarp (IPDPS, 2009)

On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols. - Yongyuth Permpoontanalarp (FMOODS/FORTE, 2010)

On-the-Fly Trace Generation Approach to the Security Analysis of the TMN Protocol with Homomorphic Property: A Petri Nets-Based Method. - Yongyuth Permpoontanalarp; Apichai Changkhanak (IEICE Trans. Inf. Syst., 2012)

On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method. - Yongyuth Permpoontanalarp; Panupong Sornkhom (Fundam. Informaticae, 2014)