Omar Chowdhury

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 34

Top Topics

Dynamic Analysis

Privacy Policies

Symbolic Execution

Top Venues

Publications

M. Hammad Mazhar, Li Li, Md. Endadul Hoque, Omar Chowdhury
MAVERICK: An App-independent and Platform-agnostic Approach to Enforce Policies in IoT Systems at Runtime. CoRR (2023)
Akib Jawad Nafis, Omar Chowdhury, Md. Endadul Hoque
VetIoT: On Vetting IoT Defenses Enforcing Policies at Runtime. CNS (2023)
M. Hammad Mazhar, Li Li, Md. Endadul Hoque, Omar Chowdhury
Maverick: An App-independent and Platform-agnostic Approach to Enforce Policies in IoT Systems at Runtime. WISEC (2023)
Akib Jawad Nafis, Omar Chowdhury, Md. Endadul Hoque
VetIoT: On Vetting IoT Defenses Enforcing Policies at Runtime. CoRR (2023)
Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli
CRV: Automated Cyber-Resiliency Reasoning for System Design Models. FMCAD (2023)
Mitziu Echeverria, Omar Chowdhury
Demystifying the presence of cellular network attacks and misbehaviors. IMC (2022)
Sazzadur Rahaman, Haipeng Cai, Omar Chowdhury, Danfeng Yao
From Theory to Code: Identifying Logical Flaws in Cryptographic Implementations in C/C++. IEEE Trans. Dependable Secur. Comput. 19 (6) (2022)
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
All your Credentials are Belong to Us: On Insecure WPA2-Enterprise Configurations. CCS (2021)
Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang, M. Fareed Arif, Syed Rafiul Hussain, Omar Chowdhury
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification. CoRR (2021)
Moosa Yahyazadeh, Sze Yiu Chau, Li Li, Man Hong Hue, Joyanta Debnath, Sheung Chiu Ip, Chun Ngai Li, Md. Endadul Hoque, Omar Chowdhury
Morpheus: Bringing The (PKCS) One To Meet the Oracle. CCS (2021)
Syed Rafiul Hussain, Imtiaz Karim, Abdullah Al Ishtiaq, Omar Chowdhury, Elisa Bertino
Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Checker for 4G LTE Cellular Devices. CCS (2021)
Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang, M. Fareed Arif, Syed Rafiul Hussain, Omar Chowdhury
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification. NDSS (2021)
Joyanta Debnath, Sze Yiu Chau, Omar Chowdhury
On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees. CCS (2021)
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
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Syst. 9 (1) (2021)
M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, Cesare Tinelli
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. FMCAD (2020)
Elisa Bertino, Syed Rafiul Hussain, Omar Chowdhury
5G Security and Privacy: A Research Roadmap. CoRR (2020)
Moosa Yahyazadeh, Syed Rafiul Hussain, Md. Endadul Hoque, Omar Chowdhury
PatrIoT: Policy Assisted Resilient Programmable IoT System. RV (2020)
Ankush Singla, Syed Rafiul Hussain, Omar Chowdhury, Elisa Bertino, Ninghui Li
Protecting the 4G and 5G Cellular Paging Protocols against Security and Privacy Attacks. Proc. Priv. Enhancing Technol. 2020 (1) (2020)
Joyanta Debnath, Sze Yiu Chau, Omar Chowdhury
When TLS Meets Proxy on Mobile. ACNS (2) (2020)
Syed Rafiul Hussain, Mitziu Echeverria, Ankush Singla, Omar Chowdhury, Elisa Bertino
Insecure connection bootstrapping in cellular networks: the root of all evil. WiSec (2019)
Moosa Yahyazadeh, Proyash Podder, Md. Endadul Hoque, Omar Chowdhury
Expat: Expectation-based Policy Analysis and Enforcement for Appified Smart-Home Platforms. SACMAT (2019)
Syed Rafiul Hussain, Mitziu Echeverria, Omar Chowdhury, Ninghui Li, Elisa Bertino
Privacy Attacks to the 4G and 5G Cellular Paging Protocols Using Side Channel Information. NDSS (2019)
Imtiaz Karim, Fabrizio Cicala, Syed Rafiul Hussain, Omar Chowdhury, Elisa Bertino
Opening Pandora's box through ATFuzzer: dynamic analysis of AT interface for Android smartphones. ACSAC (2019)
Syed Rafiul Hussain, Mitziu Echeverria, Imtiaz Karim, Omar Chowdhury, Elisa Bertino
5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol. CCS (2019)
Sze Yiu Chau, Moosa Yahyazadeh, Omar Chowdhury, Aniket Kate, Ninghui Li
Analyzing Semantic Correctness with Symbolic Execution: A Case Study on PKCS#1 v1.5 Signature Verification. NDSS (2019)
Sze Yiu Chau, Omar Chowdhury, Victor E. Gonsalves, Huangyi Ge, Weining Yang, Sonia Fahmy, Ninghui Li
Adaptive Deterrence of DNS Cache Poisoning. SecureComm (2) (2018)
Sze Yiu Chau, Bincheng Wang, Jianxiong Wang, Omar Chowdhury, Aniket Kate, Ninghui Li
Why Johnny Can't Make Money With His Contents: Pitfalls of Designing and Implementing Content Delivery Apps. ACSAC (2018)
Omar Chowdhury
How Inadequate Specification, Buggy Implementation, and Deficient Platform-Support Hinder Security. SACMAT (2018)
Syed Rafiul Hussain, Omar Chowdhury, Shagufta Mehnaz, Elisa Bertino
LTEInspector: A Systematic Approach for Adversarial Testing of 4G LTE. NDSS (2018)
Sze Yiu Chau, Omar Chowdhury, Md. Endadul Hoque, Huangyi Ge, Aniket Kate, Cristina Nita-Rotaru, Ninghui Li
SymCerts: Practical Symbolic Execution for Exposing Noncompliance in X.509 Certificate Validation Implementations. IEEE Symposium on Security and Privacy (2017)
Md. Endadul Hoque, Omar Chowdhury, Sze Yiu Chau, Cristina Nita-Rotaru, Ninghui Li
Analyzing Operational Behavior of Stateful Protocol Implementations for Detecting Semantic Bugs. DSN (2017)
Weining Yang, Ninghui Li, Omar Chowdhury, Aiping Xiong, Robert W. Proctor
An Empirical Study of Mnemonic Sentence-based Password Generation Strategies. CCS (2016)
Haining Chen, Omar Chowdhury, Ninghui Li, Warut Khern-am-nuai, Suresh Chari, Ian M. Molloy, Youngja Park
Tri-Modularization of Firewall Policies. SACMAT (2016)
Tianhao Wang, Huangyi Ge, Omar Chowdhury, Hemanta K. Maji, Ninghui Li
On the Security and Usability of Segment-based Visual Cryptographic Authentication Protocols. CCS (2016)
Haining Chen, Omar Chowdhury, Jing Chen, Ninghui Li, Robert W. Proctor
Towards quantification of firewall policy complexity. HotSoS (2015)
Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. CCS (2015)
Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. CoRR (2015)
Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System. RV (2015)
Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies. CAV (2014)
Omar Chowdhury, Andreas Gampe, Jianwei Niu, Jeffery von Ronne, Jared Bennatt, Anupam Datta, Limin Jia, William H. Winsborough
Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule. SACMAT (2013)
Omar Chowdhury, Murillo Pontual, William H. Winsborough, Ting Yu, Keith Irwin, Jianwei Niu
Ensuring authorization privileges for cascading user obligations. SACMAT (2012)
Omar Chowdhury, Haining Chen, Jianwei Niu, Ninghui Li, Elisa Bertino
On XACML's Adequacy to Specify and to Enforce HIPAA. HealthSec (2012)
Murillo Pontual, Andreas Gampe, Omar Chowdhury, Bazoumana Kone, Md. Shamim Ashik, William H. Winsborough
The privacy in the time of the internet: secrecy vs transparency. CODASPY (2012)
Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin
On the management of user obligations. SACMAT (2011)
Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin
Toward practical authorization-dependent user obligation systems. AsiaCCS (2010)
Murillo Pontual, Keith Irwin, Omar Chowdhury, William H. Winsborough, Ting Yu
Failure Feedback for User Obligation Systems. SocialCom/PASSAT (2010)