Omar Chowdhury

62 papers A* 19A 6B 4C 9Journal 13Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Atlas: Enabling Cross-Vendor Authentication for IoT.
CoRR
Sanket Goutam, Omar Chowdhury, Amir Rahmati
2026 — conf
Automatically Tightening Access Control Policies with Restricter.
TACAS (1)
Ka Lok Wu, Christa Jenkins, Scott D. Stoller, Omar Chowdhury
2026 J jnl
Automatically Tightening Access Control Policies with Restricter.
CoRR
Ka Lok Wu, Christa Jenkins, Scott D. Stoller, Omar Chowdhury
2025 A* conf
AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations.
SOSP
Zihao Zhang, Ti Zhou, Christa Jenkins, Omar Chowdhury, Shuai Mu
2025 — conf
On the Performance and Consistency Trade-off of the eSIM M2M Remote Provisioning Protocol.
WISEC
Mitziu Echeverria, AliAkbar Sadeghi, G. M. Tasnim Alam, Omar Chowdhury
2025 J jnl
On the Unnecessary Complexity of Names in X.509 and Their Impact on Implementations.
Proc. ACM Softw. Eng.
Yuteng Sun, Joyanta Debnath, Wenzheng Hong, Omar Chowdhury, Sze Yiu Chau
2025 C ed.
Proceedings of the 30th ACM Symposium on Access Control Models and Technologies, SACMAT 2025, Stony Brook, NY, USA, 10 July 2025
SACMAT
Scott D. Stoller, Omar Chowdhury, Adam J. Lee, Amir Masoumzadeh
2025 A* conf
Saecred: A State-Aware, Over-the-Air Protocol Testing Approach for Discovering Parsing Bugs in SAE Handshake Implementations of COTS Wi-Fi Access Points.
SP
Muhammad Daniyal Pirwani Dar, Robert Lorch, AliAkbar Sadeghi, Vincenzo Sorcigli, Héloïse Gollier, Cesare Tinelli, Mathy Vanhoef, Omar Chowdhury
2025 A* conf
SeQR: A User-Friendly and Secure-by-Design Configurator for Enterprise Wi-Fi.
CHI
S. Mahmudul Hasan, Che Wei Tu, Md. Endadul Hoque, Omar Chowdhury, Sze Yiu Chau
2024 A conf
A Comprehensive, Automated Security Analysis of the Uptane Automotive Over-the-Air Update Framework.
RAID
Robert Lorch, Daniel Larraz, Cesare Tinelli, Omar Chowdhury
2024 A* conf
ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation.
SP
Joyanta Debnath, Christa Jenkins, Yuteng Sun, Sze Yiu Chau, Omar Chowdhury
2024 A* conf
State Machine Mutation-based Testing Framework for Wireless Communication Protocols.
CCS
Syed Md. Mukit Rashid, Tianwei Wu, Kai Tu, Abdullah Al Ishtiaq, Ridwanul Hasan Tanvir, Yilu Dong, Omar Chowdhury, Syed Rafiul Hussain
2024 J jnl
State Machine Mutation-based Testing Framework for Wireless Communication Protocols.
CoRR
Syed Md. Mukit Rashid, Tianwei Wu, Kai Tu, Abdullah Al Ishtiaq, Ridwanul Hasan Tanvir, Yilu Dong, Omar Chowdhury, Syed Rafiul Hussain
2023 B conf
CRV: Automated Cyber-Resiliency Reasoning for System Design Models.
FMCAD
Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli
2023 J jnl
MAVERICK: An App-independent and Platform-agnostic Approach to Enforce Policies in IoT Systems at Runtime.
CoRR
M. Hammad Mazhar, Li Li, Md. Endadul Hoque, Omar Chowdhury
2023 — conf
Maverick: An App-independent and Platform-agnostic Approach to Enforce Policies in IoT Systems at Runtime.
WISEC
M. Hammad Mazhar, Li Li, Md. Endadul Hoque, Omar Chowdhury
2023 — conf
VetIoT: On Vetting IoT Defenses Enforcing Policies at Runtime.
CNS
Akib Jawad Nafis, Omar Chowdhury, Md. Endadul Hoque
2023 J jnl
VetIoT: On Vetting IoT Defenses Enforcing Policies at Runtime.
CoRR
Akib Jawad Nafis, Omar Chowdhury, Md. Endadul Hoque
2022 A conf
Demystifying the presence of cellular network attacks and misbehaviors.
IMC
Mitziu Echeverria, Omar Chowdhury
2022 J jnl
From Theory to Code: Identifying Logical Flaws in Cryptographic Implementations in C/C++.
IEEE Trans. Dependable Secur. Comput.
Sazzadur Rahaman, Haipeng Cai, Omar Chowdhury, Danfeng Yao
2022 C ed.
SACMAT '22: The 27th ACM Symposium on Access Control Models and Technologies, New York, NY, USA, June 8 - 10, 2022
SACMAT
Sven Dietrich, Omar Chowdhury, Daniel Takabi
2021 A* conf
All your Credentials are Belong to Us: On Insecure WPA2-Enterprise Configurations.
CCS
Man Hong Hue, Joyanta Debnath, Kin Man Leung, Li Li, Mohsen Minaei, M. Hammad Mazhar, Kailiang Xian, Md. Endadul Hoque, Omar Chowdhury, Sze Yiu Chau
2021 A* conf
Morpheus: Bringing The (PKCS) One To Meet the Oracle.
CCS
Moosa Yahyazadeh, Sze Yiu Chau, Li Li, Man Hong Hue, Joyanta Debnath, Sheung Chiu Ip, Chun Ngai Li, Md. Endadul Hoque, Omar Chowdhury
2021 A* conf
Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Checker for 4G LTE Cellular Devices.
CCS
Syed Rafiul Hussain, Imtiaz Karim, Abdullah Al Ishtiaq, Omar Chowdhury, Elisa Bertino
2021 A* conf
On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees.
CCS
Joyanta Debnath, Sze Yiu Chau, Omar Chowdhury
2021 A* conf
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification.
NDSS
Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang, M. Fareed Arif, Syed Rafiul Hussain, Omar Chowdhury
2021 J jnl
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification.
CoRR
Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang, M. Fareed Arif, Syed Rafiul Hussain, Omar Chowdhury
2021 C ed.
SACMAT '21: The 26th ACM Symposium on Access Control Models and Technologies, Virtual Event, Spain, June 16-18, 2021.
SACMAT
Jorge Lobo, Roberto Di Pietro, Omar Chowdhury, Hongxin Hu
2021 J jnl
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.
Syst.
Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
2020 J jnl
5G Security and Privacy: A Research Roadmap.
CoRR
Elisa Bertino, Syed Rafiul Hussain, Omar Chowdhury
2020 J jnl
ATFuzzer: Dynamic Analysis Framework of AT Interface for Android Smartphones.
DTRAP
Imtiaz Karim, Fabrizio Cicala, Syed Rafiul Hussain, Omar Chowdhury, Elisa Bertino
2020 B conf
PatrIoT: Policy Assisted Resilient Programmable IoT System.
RV
Moosa Yahyazadeh, Syed Rafiul Hussain, Md. Endadul Hoque, Omar Chowdhury
2020 J jnl
Protecting the 4G and 5G Cellular Paging Protocols against Security and Privacy Attacks.
Proc. Priv. Enhancing Technol.
Ankush Singla, Syed Rafiul Hussain, Omar Chowdhury, Elisa Bertino, Ninghui Li
2020 B conf
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces.
FMCAD
M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, Cesare Tinelli
2020 — conf
When TLS Meets Proxy on Mobile.
ACNS (2)
Joyanta Debnath, Sze Yiu Chau, Omar Chowdhury
2019 A* conf
5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol.
CCS
Syed Rafiul Hussain, Mitziu Echeverria, Imtiaz Karim, Omar Chowdhury, Elisa Bertino
2019 A* conf
Analyzing Semantic Correctness with Symbolic Execution: A Case Study on PKCS#1 v1.5 Signature Verification.
NDSS
Sze Yiu Chau, Moosa Yahyazadeh, Omar Chowdhury, Aniket Kate, Ninghui Li
2019 C conf
Expat: Expectation-based Policy Analysis and Enforcement for Appified Smart-Home Platforms.
SACMAT
Moosa Yahyazadeh, Proyash Podder, Md. Endadul Hoque, Omar Chowdhury
2019 — conf
Insecure connection bootstrapping in cellular networks: the root of all evil.
WiSec
Syed Rafiul Hussain, Mitziu Echeverria, Ankush Singla, Omar Chowdhury, Elisa Bertino
2019 A conf
Opening Pandora's box through ATFuzzer: dynamic analysis of AT interface for Android smartphones.
ACSAC
Imtiaz Karim, Fabrizio Cicala, Syed Rafiul Hussain, Omar Chowdhury, Elisa Bertino
2019 A* conf
Privacy Attacks to the 4G and 5G Cellular Paging Protocols Using Side Channel Information.
NDSS
Syed Rafiul Hussain, Mitziu Echeverria, Omar Chowdhury, Ninghui Li, Elisa Bertino
2018 — conf
Adaptive Deterrence of DNS Cache Poisoning.
SecureComm (2)
Sze Yiu Chau, Omar Chowdhury, Victor E. Gonsalves, Huangyi Ge, Weining Yang, Sonia Fahmy, Ninghui Li
2018 C conf
How Inadequate Specification, Buggy Implementation, and Deficient Platform-Support Hinder Security.
SACMAT
Omar Chowdhury
2018 A* conf
LTEInspector: A Systematic Approach for Adversarial Testing of 4G LTE.
NDSS
Syed Rafiul Hussain, Omar Chowdhury, Shagufta Mehnaz, Elisa Bertino
2018 A conf
Why Johnny Can't Make Money With His Contents: Pitfalls of Designing and Implementing Content Delivery Apps.
ACSAC
Sze Yiu Chau, Bincheng Wang, Jianxiong Wang, Omar Chowdhury, Aniket Kate, Ninghui Li
2017 A conf
Analyzing Operational Behavior of Stateful Protocol Implementations for Detecting Semantic Bugs.
DSN
Md. Endadul Hoque, Omar Chowdhury, Sze Yiu Chau, Cristina Nita-Rotaru, Ninghui Li
2017 A* conf
SymCerts: Practical Symbolic Execution for Exposing Noncompliance in X.509 Certificate Validation Implementations.
IEEE Symposium on Security and Privacy
Sze Yiu Chau, Omar Chowdhury, Md. Endadul Hoque, Huangyi Ge, Aniket Kate, Cristina Nita-Rotaru, Ninghui Li
2016 A* conf
An Empirical Study of Mnemonic Sentence-based Password Generation Strategies.
CCS
Weining Yang, Ninghui Li, Omar Chowdhury, Aiping Xiong, Robert W. Proctor
2016 A* conf
On the Security and Usability of Segment-based Visual Cryptographic Authentication Protocols.
CCS
Tianhao Wang, Huangyi Ge, Omar Chowdhury, Hemanta K. Maji, Ninghui Li
2016 C conf
Tri-Modularization of Firewall Policies.
SACMAT
Haining Chen, Omar Chowdhury, Ninghui Li, Warut Khern-am-nuai, Suresh Chari, Ian M. Molloy, Youngja Park
2015 B conf
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System.
RV
Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman
2015 A* conf
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits.
CCS
Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta
2015 J jnl
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits.
CoRR
Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta
2015 — conf
Towards quantification of firewall policy complexity.
HotSoS
Haining Chen, Omar Chowdhury, Jing Chen, Ninghui Li, Robert W. Proctor
2014 A* conf
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies.
CAV
Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta
2013 C conf
Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule.
SACMAT
Omar Chowdhury, Andreas Gampe, Jianwei Niu, Jeffery von Ronne, Jared Bennatt, Anupam Datta, Limin Jia, William H. Winsborough
2012 C conf
Ensuring authorization privileges for cascading user obligations.
SACMAT
Omar Chowdhury, Murillo Pontual, William H. Winsborough, Ting Yu, Keith Irwin, Jianwei Niu
2012 — conf
On XACML's Adequacy to Specify and to Enforce HIPAA.
HealthSec
Omar Chowdhury, Haining Chen, Jianwei Niu, Ninghui Li, Elisa Bertino
2012 — conf
The privacy in the time of the internet: secrecy vs transparency.
CODASPY
Murillo Pontual, Andreas Gampe, Omar Chowdhury, Bazoumana Kone, Md. Shamim Ashik, William H. Winsborough
2011 C conf
On the management of user obligations.
SACMAT
Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin
2010 — conf
Failure Feedback for User Obligation Systems.
SocialCom/PASSAT
Murillo Pontual, Keith Irwin, Omar Chowdhury, William H. Winsborough, Ting Yu
2010 A conf
Toward practical authorization-dependent user obligation systems.
AsiaCCS
Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin