default search action
Omar Chowdhury
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c40]Robert Lorch, Daniel Larraz, Cesare Tinelli, Omar Chowdhury:
A Comprehensive, Automated Security Analysis of the Uptane Automotive Over-the-Air Update Framework. RAID 2024: 594-612 - [c39]Joyanta Debnath, Christa Jenkins, Yuteng Sun, Sze Yiu Chau, Omar Chowdhury:
ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation. SP 2024: 1462-1480 - [i6]Syed Md. Mukit Rashid, Tianwei Wu, Kai Tu, Abdullah Al Ishtiaq, Ridwanul Hasan Tanvir, Yilu Dong, Omar Chowdhury, Syed Rafiul Hussain:
State Machine Mutation-based Testing Framework for Wireless Communication Protocols. CoRR abs/2409.02905 (2024) - 2023
- [c38]Akib Jawad Nafis, Omar Chowdhury, Md. Endadul Hoque:
VetIoT: On Vetting IoT Defenses Enforcing Policies at Runtime. CNS 2023: 1-9 - [c37]Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli:
CRV: Automated Cyber-Resiliency Reasoning for System Design Models. FMCAD 2023: 209-220 - [c36]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: 73-84 - [i5]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 abs/2302.01452 (2023) - [i4]Akib Jawad Nafis, Omar Chowdhury, Md. Endadul Hoque:
VetIoT: On Vetting IoT Defenses Enforcing Policies at Runtime. CoRR abs/2308.12417 (2023) - 2022
- [j3]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): 3790-3803 (2022) - [c35]Mitziu Echeverria, Omar Chowdhury:
Demystifying the presence of cellular network attacks and misbehaviors. IMC 2022: 742-743 - [e2]Sven Dietrich, Omar Chowdhury, Daniel Takabi:
SACMAT '22: The 27th ACM Symposium on Access Control Models and Technologies, New York, NY, USA, June 8 - 10, 2022. ACM 2022, ISBN 978-1-4503-9357-7 [contents] - 2021
- [j2]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): 18 (2021) - [c34]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: 1082-1099 - [c33]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: 1100-1117 - [c32]Joyanta Debnath, Sze Yiu Chau, Omar Chowdhury:
On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees. CCS 2021: 1388-1404 - [c31]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: 2474-2496 - [c30]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 - [e1]Jorge Lobo, Roberto Di Pietro, Omar Chowdhury, Hongxin Hu:
SACMAT '21: The 26th ACM Symposium on Access Control Models and Technologies, Virtual Event, Spain, June 16-18, 2021. ACM 2021, ISBN 978-1-4503-8365-3 [contents] - [i3]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 abs/2101.00328 (2021) - 2020
- [j1]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): 126-142 (2020) - [c29]Joyanta Debnath, Sze Yiu Chau, Omar Chowdhury:
When TLS Meets Proxy on Mobile. ACNS (2) 2020: 387-407 - [c28]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: 93-103 - [c27]Moosa Yahyazadeh, Syed Rafiul Hussain, Md. Endadul Hoque, Omar Chowdhury:
PatrIoT: Policy Assisted Resilient Programmable IoT System. RV 2020: 151-171 - [i2]Elisa Bertino, Syed Rafiul Hussain, Omar Chowdhury:
5G Security and Privacy: A Research Roadmap. CoRR abs/2003.13604 (2020)
2010 – 2019
- 2019
- [c26]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: 529-543 - [c25]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: 669-684 - [c24]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 - [c23]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 - [c22]Moosa Yahyazadeh, Proyash Podder, Md. Endadul Hoque, Omar Chowdhury:
Expat: Expectation-based Policy Analysis and Enforcement for Appified Smart-Home Platforms. SACMAT 2019: 61-72 - [c21]Syed Rafiul Hussain, Mitziu Echeverria, Ankush Singla, Omar Chowdhury, Elisa Bertino:
Insecure connection bootstrapping in cellular networks: the root of all evil. WiSec 2019: 1-11 - 2018
- [c20]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: 236-251 - [c19]Syed Rafiul Hussain, Omar Chowdhury, Shagufta Mehnaz, Elisa Bertino:
LTEInspector: A Systematic Approach for Adversarial Testing of 4G LTE. NDSS 2018 - [c18]Omar Chowdhury:
How Inadequate Specification, Buggy Implementation, and Deficient Platform-Support Hinder Security. SACMAT 2018: 221 - [c17]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: 171-191 - 2017
- [c16]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: 627-638 - [c15]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: 503-520 - 2016
- [c14]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: 603-615 - [c13]Weining Yang, Ninghui Li, Omar Chowdhury, Aiping Xiong, Robert W. Proctor:
An Empirical Study of Mnemonic Sentence-based Password Generation Strategies. CCS 2016: 1216-1229 - [c12]Haining Chen, Omar Chowdhury, Ninghui Li, Warut Khern-am-nuai, Suresh Chari, Ian M. Molloy, Youngja Park:
Tri-Modularization of Firewall Policies. SACMAT 2016: 37-48 - 2015
- [c11]Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta:
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. CCS 2015: 1130-1143 - [c10]Haining Chen, Omar Chowdhury, Jing Chen, Ninghui Li, Robert W. Proctor:
Towards quantification of firewall policy complexity. HotSoS 2015: 18:1-18:2 - [c9]Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman:
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System. RV 2015: 102-117 - [i1]Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta:
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. CoRR abs/1508.02448 (2015) - 2014
- [c8]Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta:
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies. CAV 2014: 131-149 - 2013
- [c7]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: 3-14 - 2012
- [c6]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: 133-140 - [c5]Omar Chowdhury, Murillo Pontual, William H. Winsborough, Ting Yu, Keith Irwin, Jianwei Niu:
Ensuring authorization privileges for cascading user obligations. SACMAT 2012: 33-44 - [c4]Omar Chowdhury, Haining Chen, Jianwei Niu, Ninghui Li, Elisa Bertino:
On XACML's Adequacy to Specify and to Enforce HIPAA. HealthSec 2012 - 2011
- [c3]Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin:
On the management of user obligations. SACMAT 2011: 175-184 - 2010
- [c2]Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin:
Toward practical authorization-dependent user obligation systems. AsiaCCS 2010: 180-191 - [c1]Murillo Pontual, Keith Irwin, Omar Chowdhury, William H. Winsborough, Ting Yu:
Failure Feedback for User Obligation Systems. SocialCom/PASSAT 2010: 713-720
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-17 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint