Omar Haider Chowdhury
Omar Haider Chowdhury
Assistant Professor at University of Iowa
Verified email at uiowa.edu - Homepage
Title
Cited by
Cited by
Year
LTEInspector: A systematic approach for adversarial testing of 4G LTE
S Hussain, O Chowdhury, S Mehnaz, E Bertino
Network and Distributed Systems Security (NDSS) Symposium 2018, 2018
542018
A case study on runtime monitoring of an autonomous research vehicle (ARV) system
A Kane, O Chowdhury, A Datta, P Koopman
Runtime Verification, 102-117, 2015
362015
Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule
O Chowdhury, A Gampe, J Niu, J von Ronne, J Bennatt, A Datta, L Jia, ...
Proceedings of the 18th ACM symposium on Access control models and …, 2013
322013
On the management of user obligations
M Pontual, O Chowdhury, WH Winsborough, T Yu, K Irwin
Proceedings of the 16th ACM symposium on Access control models and …, 2011
212011
SymCerts: Practical symbolic execution for exposing noncompliance in X. 509 certificate validation implementations
SY Chau, O Chowdhury, E Hoque, H Ge, A Kate, C Nita-Rotaru, N Li
2017 IEEE Symposium on Security and Privacy (SP), 503-520, 2017
192017
An empirical study of mnemonic sentence-based password generation strategies
W Yang, N Li, O Chowdhury, A Xiong, RW Proctor
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
192016
Temporal mode-checking for runtime monitoring of privacy policies
O Chowdhury, L Jia, D Garg, A Datta
International Conference on Computer Aided Verification, 131-149, 2014
152014
Privacy Attacks to the 4G and 5G Cellular Paging Protocols Using Side Channel Information.
SR Hussain, M Echeverria, O Chowdhury, N Li, E Bertino
NDSS, 2019
142019
Toward practical authorization-dependent user obligation systems
M Pontual, O Chowdhury, WH Winsborough, T Yu, K Irwin
Proceedings of the 5th ACM Symposium on Information, Computer and …, 2010
122010
On XACML's Adequacy to Specify and to Enforce HIPAA.
O Chowdhury, H Chen, J Niu, N Li, E Bertino
HealthSec, 2012
92012
Insecure connection bootstrapping in cellular networks: the root of all evil
SR Hussain, M Echeverria, A Singla, O Chowdhury, E Bertino
Proceedings of the 12th Conference on Security and Privacy in Wireless and …, 2019
62019
Towards practical privacy policy enforcement
WH Winsborough, J Von Ronne, O Chowdhury, J Niu, MS Ashik
Department of Computer Science, University of Texas at San Antonio, 2011
62011
Towards quantification of firewall policy complexity
H Chen, O Chowdhury, J Chen, N Li, R Proctor
Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, 1-2, 2015
52015
Ensuring authorization privileges for cascading user obligations
O Chowdhury, M Pontual, WH Winsborough, T Yu, K Irwin, J Niu
Proceedings of the 17th ACM symposium on Access Control Models and …, 2012
32012
The privacy in the time of the internet: Secrecy vs transparency
M Pontual, A Gampe, O Chowdhury, B Kone, MS Ashik, WH Winsborough
Proceedings of the second ACM conference on Data and Application Security …, 2012
32012
Expat: Expectation-based policy analysis and enforcement for appified smart-home platforms
M Yahyazadeh, P Podder, E Hoque, O Chowdhury
Proceedings of the 24th ACM Symposium on Access Control Models and …, 2019
22019
Analyzing Semantic Correctness with Symbolic Execution: A Case Study on PKCS# 1 v1. 5 Signature Verification.
SY Chau, M Yahyazadeh, O Chowdhury, A Kate, N Li
NDSS, 2019
22019
Failure feedback for user obligation systems
M Pontual, K Irwin, O Chowdhury, WH Winsborough, T Yu
2010 IEEE Second International Conference on Social Computing, 713-720, 2010
22010
Protecting the 4G and 5G Cellular Paging Protocols against Security and Privacy Attacks
A Singla, SR Hussain, O Chowdhury, E Bertino, N Li
Proceedings on Privacy Enhancing Technologies 2020 (1), 126-142, 2020
12020
5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol
SR Hussain, M Echeverria, I Karim, O Chowdhury, E Bertino
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20