Random Test Data Generation for Java Classes Annotated with JML Specifications. - Yoonsik Cheon; Carlos E. Rubio-Medrano (Software Engineering Research and Practice, 2007)

Architectural Assertions: Checking Architectural Constraints at Run-Time. - Hyotaeg Jung; Carlos E. Rubio-Medrano; W. Eric Wong; Yoonsik Cheon (Software Engineering Research and Practice, 2007)

Supporting secure collaborations with attribute-based access control. - Carlos E. Rubio-Medrano; Clinton D'Souza; Gail-Joon Ahn (CollaborateCom, 2013)

Verifying Access Control Properties with Design by Contract: Framework and Lessons Learned. - Carlos E. Rubio-Medrano; Gail-Joon Ahn; Karsten Sohr (COMPSAC, 2013)

Federated Access Management for Collaborative Network Environments: Framework and Case Study. - Carlos E. Rubio-Medrano; Ziming Zhao 001; Adam Doupé; Gail-Joon Ahn (SACMAT, 2015)

Achieving Security Assurance with Assertion-based Application Construction. - Carlos E. Rubio-Medrano; Gail-Joon Ahn; Karsten Sohr (EAI Endorsed Trans. Collab. Comput., 2015)

Position Paper: Towards a Moving Target Defense Approach for Attribute-based Access Control. - Carlos E. Rubio-Medrano; Josephine Lamp; Marthony Taguinod; Adam Doupé; Ziming Zhao 001; Gail-Joon Ahn (ABAC@CODASPY, 2016)

Federated Access Management for Collaborative Environments. - Carlos E. Rubio-Medrano (2016)

Mutated Policies: Towards Proactive Attribute-based Defenses for Access Control. - Carlos E. Rubio-Medrano; Josephine Lamp; Adam Doupé; Ziming Zhao 001; Gail-Joon Ahn (MTD@CCS, 2017)

OntoEDS: Protecting Energy Delivery Systems by Collaboratively Analyzing Security Requirements. - Josephine Lamp; Carlos E. Rubio-Medrano; Ziming Zhao 001; Gail-Joon Ahn (CIC, 2017)

The Danger of Missing Instructions: A Systematic Analysis of Security Requirements for MCPS. - Josephine Lamp; Carlos E. Rubio-Medrano; Ziming Zhao 001; Gail-Joon Ahn (CHASE, 2018)

EDSGuard: Enforcing Network Security Requirements for Energy Delivery Systems. - Vu Coughlin; Carlos E. Rubio-Medrano; Ziming Zhao 001; Gail-Joon Ahn (SmartGridComm, 2018)

Understanding and Predicting Private Interactions in Underground Forums. - Zhibo Sun; Carlos E. Rubio-Medrano; Ziming Zhao 001; Tiffany Bao; Adam Doupé; Gail-Joon Ahn (CODASPY, 2019)

ExSol: Collaboratively Assessing Cybersecurity Risks for Protecting Energy Delivery Systems. - Josephine Lamp; Carlos E. Rubio-Medrano; Ziming Zhao 001; Gail-Joon Ahn (MSCPES@CPSIoTWeek, 2019)

Towards Effective Verification of Multi-Model Access Control Properties. - Bernhard J. Berger; Christian Maeder; Rodrigue Wete Nguempnang; Karsten Sohr; Carlos E. Rubio-Medrano (SACMAT, 2019)

Effectively Enforcing Authorization Constraints for Emerging Space-Sensitive Technologies. - Carlos E. Rubio-Medrano; Shaishavkumar Jogani; Maria Leitner; Ziming Zhao 001; Gail-Joon Ahn (SACMAT, 2019)

HoneyPLC: A Next-Generation Honeypot for Industrial Control Systems. - Efrén López-Morales; Carlos E. Rubio-Medrano; Adam Doupé; Yan Shoshitaishvili; Ruoyu Wang 001; Tiffany Bao; Gail-Joon Ahn (CCS, 2020)

Proactive Risk Assessment for Preventing Attribute-Forgery Attacks to ABAC Policies. - Carlos E. Rubio-Medrano; Luis Claramunt; Shaishavkumar Jogani; Gail-Joon Ahn (SACMAT, 2020)

Toward Automated Enforcement of Cyber-Physical Security Requirements for Energy Delivery Systems. - Carlos E. Rubio-Medrano; Ziming Zhao 001; Gail-Joon Ahn (TPS-ISA, 2020)

Poster: Preventing Spatial and Privacy Attacks in Mobile Augmented Reality Technologies. - Luis Claramunt; Larissa Pokam Epse; Carlos E. Rubio-Medrano; Jaejong Baek; Gail-Joon Ahn (EuroS&P, 2021)

Poster: DyPolDroid: User-Centered Counter-Policies Against Android Permission-Abuse Attacks. - Matthew Hill; Carlos E. Rubio-Medrano; Luis Claramunt; Jaejong Baek; Gail-Joon Ahn (EuroS&P, 2021)

DyPolDroid: Protecting Users and Organizations from Permission-Abuse Attacks in Android. - Carlos E. Rubio-Medrano; Matthew Hill; Luis M. Claramunt; Jaejong Baek; Gail-Joon Ahn (SKM, 2021)

Having Your Cake and Eating It: An Analysis of Concession-Abuse-as-a-Service. - Zhibo Sun; Adam Oest; Penghui Zhang; Carlos E. Rubio-Medrano; Tiffany Bao; Ruoyu Wang 001; Ziming Zhao 001; Yan Shoshitaishvili; Adam Doupé; Gail-Joon Ahn (USENIX Security Symposium, 2021)

ExSol: Collaboratively Assessing Cybersecurity Risks for Protecting Energy Delivery Systems. - Josephine Lamp; Carlos E. Rubio-Medrano; Ziming Zhao 001; Gail-Joon Ahn (DTRAP, 2021)

"Flawed, but like democracy we don't have a better system": The Experts' Insights on the Peer Review Process of Evaluating Security Papers. - Ananta Soneji; Faris Bugra Kokulu; Carlos E. Rubio-Medrano; Tiffany Bao; Ruoyu Wang 001; Yan Shoshitaishvili; Adam Doupé (SP, 2022)

Poster: No Fly-Zone: Drone Policies for Ensuring Safe Operations in Restricted Areas. - Arturo Gonzalez; Amani Davidson; Carlos E. Rubio-Medrano (MobiHoc, 2023)

No-Fly-Zone: Regulating Drone Fly-Overs Via Government and User-Controlled Authorization Zones. - Abdullah Kamal; Jeremy Vidaurri; Carlos E. Rubio-Medrano (MobiHoc, 2023)

USDOT Tier-1 University Transportation Center for Advancing Cybersecurity Research and Education. - Yunpeng Jack Zhang; Kailai Wang; Lingguang Song; Amaury Lendasse; Houbing Herbert Song; Zhu Han 001; Rakesh M. Verma; Arlei Silva; Carlos E. Rubio-Medrano; Zhixia Richard Li; Guohui Zhang 001 (MOST, 2023)

SpaceMediator: Leveraging Authorization Policies to Prevent Spatial and Privacy Attacks in Mobile Augmented Reality. - Luis Claramunt; Carlos E. Rubio-Medrano; Jaejong Baek; Gail-Joon Ahn (SACMAT, 2023)

DyPolDroid: Protecting Against Permission-Abuse Attacks in Android. - Carlos E. Rubio-Medrano; Pradeep Kumar Duraisamy Soundrapandian; Matthew Hill; Luis Claramunt; Jaejong Baek; Geetha S; Gail-Joon Ahn (Inf. Syst. Frontiers, 2023)

Fly-ABAC: Attribute Based Access Control for the Navigation of Unmanned Aerial Vehicles. - Wynter Japp; Victoria Lee; Sai Avinash Vagicherla; Carlos E. Rubio-Medrano (IEEE Big Data, 2024)

ICSNet: A Hybrid-Interaction Honeynet for Industrial Control Systems. - Luis E. Salazar; Efrén López-Morales; Juan Lozano; Carlos E. Rubio-Medrano; Alvaro A. Cárdenas (CPSIOTSEC@CCS, 2024)

Asserting Frame Properties. - Yoonsik Cheon; Bozhen Liu; Carlos E. Rubio-Medrano (ICSOFT, 2024)

By the Numbers: Towards Standard Evaluation Metrics for Programmable Logic Controllers' Defenses. - Efrén López-Morales; Jacob Hopkins; Alvaro A. Cárdenas; Ali Abbasi 002; Carlos E. Rubio-Medrano (RICSS@CCS, 2024)

SecureCheck: User-Centric and Geolocation-Aware Access Mediation Contracts for Sharing Private Data. - Jacob Hopkins; Carlos E. Rubio-Medrano (SACMAT, 2024)

Circles of Trust: A Voice-Based Authorization Scheme for Securing IoT Smart Homes. - Jennifer Mondragon; Gael Cruz; Dvijesh Shastri; Carlos E. Rubio-Medrano (SACMAT, 2024)

Pairing Human and Artificial Intelligence: Enforcing Access Control Policies with LLMs and Formal Specifications. - Carlos E. Rubio-Medrano; Akash Kotak; Wenlu Wang; Karsten Sohr (SACMAT, 2024)

SoK: Security of Programmable Logic Controllers. - Efrén López-Morales; Ulysse Planta; Carlos E. Rubio-Medrano; Ali Abbasi 002; Alvaro A. Cárdenas (USENIX Security Symposium, 2024)

Ultrafusion: Optimal Fuzzy Fusion in Land-Cover Segmentation Using Multiple Panchromatic Satellite Images. - Hadi Mahdipour; Alireza Sharifi; Mehdi Sookhak; Carlos E. Rubio-Medrano (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024)

PendingMutent: An Authorization Framework for Preventing PendingIntent Attacks in Android-based Mobile Cyber-Physical Systems. - Pradeep Kumar Duraisamy Soundrapandian; Carlos E. Rubio-Medrano; Jaejong Baek; Geetha S (SAT-CPS@CODASPY, 2025)

"It's almost like Frankenstein": Investigating the Complexities of Scientific Collaboration and Privilege Management within Research Computing Infrastructures. - Souradip Nath; Ananta Soneji; Jaejong Baek; Tiffany Bao; Adam Doupé; Carlos E. Rubio-Medrano; Gail-Joon Ahn (SP, 2025)

"I Apologize For Not Understanding Your Policy": Exploring the Specification and Evaluation of User-Managed Access Control Policies by AI Virtual Assistants. - Jennifer Mondragon; Carlos E. Rubio-Medrano; Gael Cruz; Dvijesh Shastri (CoRR, 2025)

HoneySat: A Network-based Satellite Honeypot Framework. - Efrén López-Morales; Ulysse Planta; Gabriele Marra; Carlos González; Jacob Hopkins; Majid Garoosi; Elías Obreque; Carlos E. Rubio-Medrano; Ali Abbasi 002 (CoRR, 2025)