Validation of Policy Integration Using Alloy. - Manachai Toahchoodee; Indrakshi Ray (ICDCIT, 2005)

A Spatio-temporal Role-Based Access Control Model. - Indrakshi Ray; Manachai Toahchoodee (DBSec, 2007)

On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model. - Manachai Toahchoodee; Indrakshi Ray (DBSec, 2008)

A Spatio-temporal Access Control Model Supporting Delegation for Pervasive Computing Applications. - Indrakshi Ray; Manachai Toahchoodee (TrustBus, 2008)

A Trust-Based Access Control Model for Pervasive Computing Applications. - Manachai Toahchoodee; Ramadan Abdunabi; Indrakshi Ray; Indrajit Ray (DBSec, 2009)

Towards Trustworthy Delegation in Role-Based Access Control Model. - Manachai Toahchoodee; Xing Xie 002; Indrakshi Ray (ISC, 2009)

Ensuring spatio-temporal access control for real-world applications. - Manachai Toahchoodee; Indrakshi Ray; Kyriakos Anastasakis; Geri Georg; Behzad Bordbar (SACMAT, 2009)

Using alloy to analyse a spatio-temporal access control model supporting delegation. - Manachai Toahchoodee; Indrakshi Ray (IET Inf. Secur., 2009)

An aspect-oriented methodology for designing secure applications. - Geri Georg; Indrakshi Ray; Kyriakos Anastasakis; Behzad Bordbar; Manachai Toahchoodee; Siv Hilde Houmb (Inf. Softw. Technol., 2009)

Using Graph Theory to Represent a Spatio-Temporal Role-Based Access Control Model. - Manachai Toahchoodee; Indrakshi Ray; Ross M. McConnell (Int. J. Next Gener. Comput., 2010)

Verification and Trade-Off Analysis of Security Properties in UML System Models. - Geri Georg; Kyriakos Anastasakis; Behzad Bordbar; Siv Hilde Houmb; Indrakshi Ray; Manachai Toahchoodee (IEEE Trans. Software Eng., 2010)

On the formalization and analysis of a spatio-temporal role-based access control model. - Manachai Toahchoodee; Indrakshi Ray (J. Comput. Secur., 2011)

HoVeR: The Holographic Visualizer on Raspberry Pi. - Manachai Toahchoodee (ISCIT, 2015)

ARSA-the pervasive Rescuer Supporting System for the Pre-hospital Emergency Medical Service. - Manachai Toahchoodee (JCSSE, 2017)

On Digital Gardening: A Feral Hypertext in Practice. - Chayapatr Archiwaranguprok; Manachai Toahchoodee (HT, 2024)

Elysia: Optimizing JavaScript Web Framework. - Chayapatr Archiwaranguprok; Kongkeit Khunpanitchot; Phoomparin Mano; Manachai Toahchoodee (SAC, 2024)