People‎ > ‎Staff‎ > ‎

Rigel Gjomemo


I am an Associate Director and program coordinator for the ESP-IGERT program, instructor at the Computer Science Department at UIC. 

Research Interests

My research interests are in computer and mobile security, safe compiler optimization, access control models and description logic and semantic web applied to access control.

I am currently involved in the following projects: 
  • Android application security. This project aims to discover vulnerabilities and defenses in the Android applications ecosystem.
  • Crowd Sourced Formal Verification. This project is part of a larger effort to safely improve compiler optimization techniques by transforming formal verification problems into online games.



From Verification to Optimizations
Rigel Gjomemo, Kedar S. Namjoshi, Phu H. Phung, V.N. Venkatakrishnan, and Lenore D. Zuck. 
16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI).

Digital Check Forgery Attacks on Client Check 
Truncation Systems
Rigel Gjomemo, Hafiz Malik, Nilesh Sumb, V.N. Venkatakrishnan, Rashid Ansari. 
18th International Conference On Financial Cryptography and Data Security (FC' 2014).
(Acceptance Rate 18.8%). (paper)

Countering fraud in remote check deposit (
Patent Application
Venkat Venkatakrishnan, Rashid Ansari, Rigel Gjomemo, Hafiz Malik, Nilesh Sumb (2014)

Location-Bases Access Control Using Semantic Web Technologies (Book Chapter)
Rigel Gjomemo and Isabel F. Cruz. Geospatial Semantics, eds. Naveen Ashish and Amith Sheth, Springer Series Geospatial Semantics and the Semantic Web, Volume 12, 2011.

An Interoperation Framework for Secure Collaboration Among Organizations. 
Isabel F. Cruz, Rigel Gjomemo, and Greg Jarzab. 3rd ACM SIGSPATIAL International Workshop on Security and Privacy in GIS and LBS (SPRINGL 2010), San Jose, CA, November 2010.

A Constraint and Attribute Based Security Framework for Dynamic Role Assignment in Collaborative Environments. 
Isabel F. Cruz, Rigel Gjomemo, Benjamin Lin, and Mirko Orsini. CollaborateCom, Springer, pages 322-339, 2008.

A Location Aware Role and Attribute Based Access Control System (Demo Paper). 
Isabel F. Cruz, Rigel Gjomemo, Benjamin Lin, and Mirko Orsini. 16th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM GIS), pages 527-528, 2008.

Secure Mediator for Integrating Multiple Level Access Control Policies. 
Isabel F. Cruz, Rigel Gjomemo, and Mirko Orsini. 12th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, XML Security Track, ed. Ernesto Damiani, Zagreb, Croatia, Springer, pages 354-362, 2008.