Towards Differentiated Utilization of Attribute Mutability for Access Control in Ubiquitous Computing. - Christos Grompanopoulos; Ioannis Mavridis (Panhellenic Conference on Informatics, 2010)

Challenging issues of UCON in modern computing environments. - Christos Grompanopoulos; Ioannis Mavridis (BCI, 2012)

Towards Use-Based Usage Control. - Christos Grompanopoulos; Ioannis Mavridis (SEC, 2012)

A Use-Based Approach for Enhancing UCON. - Christos Grompanopoulos; Antonios Gouglidis; Ioannis Mavridis (STM, 2012)

Specification and verification of an attribute-based usage control approach for open and dynamic computing environments - Christos Grompanopoulos (2014)

Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+. - Antonios Gouglidis; Christos Grompanopoulos; Anastasia Mavridou (MeTRiD@ETAPS, 2018)

Specifying and verifying usage control models and policies in TLA+. - Christos Grompanopoulos; Antonios Gouglidis; Anastasia Mavridou (Int. J. Softw. Tools Technol. Transf., 2021)