Jianwei Niu

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 24

Top Topics

Natural Language

Personal Information

Privacy Policies

Top Venues

Publications

Rebecca Schroeder, Jianwei Niu, Ashwin Malshe, Sue Hum, Siobhan Flemming, Ian Thacker
Enabling Widespread Engagement in DS and AI: The Generation AI Curriculum Initiative for Community Colleges. SIGCSE (2) (2024)
Xueling Zhang, John Heaps, Rocky Slavin, Jianwei Niu, Travis D. Breaux, Xiaoyin Wang
DAISY: Dynamic-Analysis-Induced Source Discovery for Sensitive Data. ACM Trans. Softw. Eng. Methodol. 32 (4) (2023)
Kevin Baldor, Xiaoyin Wang, Jianwei Niu
Thorium: A Language for Bounded Verification of Dynamic Reactive Objects. REBLS@SPLASH (2023)
John Heaps, Ram Krishnan, Yufei Huang, Jianwei Niu, Ravi S. Sandhu
Access Control Policy Generation from User Stories Using Machine Learning. DBSec (2021)
Jonathan Shahen, Jianwei Niu, Mahesh Tripunitara
Cree: A Performant Tool for Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies. IEEE Trans. Dependable Secur. Comput. 18 (5) (2021)
Xueling Zhang, Xiaoyin Wang, Rocky Slavin, Jianwei Niu
ConDySTA: Context-Aware Dynamic Supplement to Static Taint Analysis. IEEE Symposium on Security and Privacy (2021)
Mitra Bokaei Hosseini, John Heaps, Rocky Slavin, Jianwei Niu, Travis D. Breaux
Ambiguity and Generality in Natural Language Privacy Policies. RE (2021)
Mitra Bokaei Hosseini, Travis D. Breaux, Rocky Slavin, Jianwei Niu, Xiaoyin Wang
Analyzing privacy policies through syntax-driven semantic analysis of information types. Inf. Softw. Technol. 138 (2021)
Mitra Bokaei Hosseini, Rocky Slavin, Travis D. Breaux, Xiaoyin Wang, Jianwei Niu
Disambiguating Requirements Through Syntax-Driven Semantic Analysis of Information Types. REFSQ (2020)
Xueling Zhang, Xiaoyin Wang, Rocky Slavin, Travis D. Breaux, Jianwei Niu
How does misconfiguration of analytic services compromise mobile privacy? ICSE (2020)
John Heaps, Xueling Zhang, Xiaoyin Wang, Travis D. Breaux, Jianwei Niu
Toward a reliability measurement framework automated using deep learning. HotSoS (2019)
John Heaps, Xiaoyin Wang, Travis D. Breaux, Jianwei Niu
Toward Detection of Access Control Models from Source Code via Word Embedding. SACMAT (2019)
Xueling Zhang, Rocky Slavin, Xiaoyin Wang, Jianwei Niu
Privacy Assurance for Android Augmented Reality Apps. PRDC (2019)
Xue Qin, Robert Neuhaus, Diego Gonzales, Xiaoyin Wang, Travis D. Breaux, Jianwei Niu
Taming web views in the detection of Android privacy leaks. HotSoS (2019)
Xiaoyin Wang, Xue Qin, Mitra Bokaei Hosseini, Rocky Slavin, Travis D. Breaux, Jianwei Niu
GUILeak: tracing privacy policy claims on user input data for Android applications. ICSE (2018)
Mitra Bokaei Hosseini, Travis D. Breaux, Jianwei Niu
Inferring Ontology Fragments from Semantic Role Typing of Lexical Variants. REFSQ (2018)
Mitra Bokaei Hosseini, Xue Qin, Jianwei Niu
Extracting Information Types from Android Layout Code Using Sequence to Sequence Learning. AAAI Workshops (2018)
Claiborne Johnson, Thomas MacGahan, John Heaps, Kevin Baldor, Jeffery von Ronne, Jianwei Niu
Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures. SACMAT (2017)
Thomas MacGahan, Claiborne Johnson, Armando Rodriguez, Jeffery von Ronne, Jianwei Niu
Provable Enforcement of HIPAA-Compliant Release of Medical Records Using the History Aware Programming Language. SACMAT (2017)
Mitra Bokaei Hosseini, Sudarshan Wadkar, Travis D. Breaux, Jianwei Niu
Lexical Similarity of Information Type Hypernyms, Meronyms and Synonyms in Privacy Policies. AAAI Fall Symposia (2016)
Rocky Slavin, Xiaoyin Wang, Mitra Bokaei Hosseini, James Hester, Ram Krishnan, Jaspreet Bhatia, Travis D. Breaux, Jianwei Niu
Toward a framework for detecting privacy policy violations in android application code. ICSE (2016)
Rocky Slavin, Xiaoyin Wang, Mitra Bokaei Hosseini, James Hester, Ram Krishnan, Jaspreet Bhatia, Travis D. Breaux, Jianwei Niu
PVDetector: a detector of privacy-policy violations for Android apps. MOBILESoft (2016)
Jianwei Niu, Yier Jin, Adam J. Lee, Ravi S. Sandhu, Wenyuan Xu, Xiaoguang Zhang
Panel Security and Privacy in the Age of Internet of Things: Opportunities and Challenges. SACMAT (2016)
Hui Shen, Ram Krishnan, Rocky Slavin, Jianwei Niu
Sequence Diagram Aided Privacy Policy Specification. IEEE Trans. Dependable Secur. Comput. 13 (3) (2016)
Jonathan Shahen, Jianwei Niu, Mahesh V. Tripunitara
Mohawk+T: Efficient Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies. SACMAT (2015)
Rocky Slavin, Jean-Michel Lehker, Jianwei Niu, Travis D. Breaux
Managing security requirements patterns using feature diagram hierarchies. RE (2014)
Jianwei Niu, Mark Reith, William H. Winsborough
Formal verification of security properties in trust management policy. J. Comput. Secur. 22 (1) (2014)
Ashwini Rao, Hanan Hibshi, Travis D. Breaux, Jean-Michel Lehker, Jianwei Niu
Less is more?: investigating the role of examples in security studies using analogical transfer. HotSoS (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)
Hui Shen, Mark Robinson, Jianwei Niu
Formal Analysis of Sequence Diagram with Combined Fragments. ICSOFT (2012)
Kevin Baldor, Jianwei Niu
Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic. RV (2012)
Wanying Zhao, Jianwei Niu, William H. Winsborough
Refinement-based design of a group-centric secure information sharing model. CODASPY (2012)
Rocky Slavin, Hui Shen, Jianwei Niu
Characterizations and boundaries of security requirements patterns. RePa (2012)
Ram Krishnan, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough
Group-Centric Secure Information-Sharing Models for Isolated Groups. ACM Trans. Inf. Syst. Secur. 14 (3) (2011)
Mark Robinson, Jianwei Niu, Macneil Shonle
GitBAC: Flexible access control for non-modular concerns. ASE (2011)
Qing Yi, Jianwei Niu, Anitha R. Marneni
Collective Specification and Verification of Behavior Models and Object-oriented Implementations. ICSOFT (2) (2011)
Ravi S. Sandhu, Ram Krishnan, Jianwei Niu, William H. Winsborough
Group-Centric Models for Secure and Agile Information Sharing. MMM-ACNS (2010)
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu
Deconstructing the semantics of big-step modelling languages. Requir. Eng. 15 (2) (2010)
Ram Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough
Towards a framework for group-centric secure collaboration. CollaborateCom (2009)
Mark Reith, Jianwei Niu, William H. Winsborough
Toward practical analysis for trust management policy. AsiaCCS (2009)
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu
Semantic Criteria for Choosing a Language for Big-Step Models. RE (2009)
Ram Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough
Foundations for group-centric secure information sharing models. SACMAT (2009)
Ram Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough
A conceptual framework for Group-Centric secure information sharing. AsiaCCS (2009)
Hui Shen, Aliya Virani, Jianwei Niu
Formalize UML 2 Sequence Diagrams. HASE (2008)
Ram Krishnan, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough
Stale-safe security properties for group-based secure information sharing. FMSE (2008)
Timothy W. Finin, Anupam Joshi, Lalana Kagal, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough, Bhavani M. Thuraisingham
. SACMAT (2008)
Tim Finin, Anupam Joshi, Lalana Kagal, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough, Bhavani M. Thuraisingham
Role Based Access Control and OWL. OWLED (Spring) (2008)
Mark Reith, Jianwei Niu, William H. Winsborough
Role-based trust management security policy analysis and correction environment (RT-SPACE). ICSE Companion (2008)
Mark Reith, Jianwei Niu, William H. Winsborough
Engineering Trust Management into Software Models. MiSE@ICSE (2007)
Mark Reith, Jianwei Niu, William H. Winsborough
Apply Model Checking to Security Analysis in Trust Management. ICDE Workshops (2007)
Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu
Mapping Template Semantics to SMV. ASE (2004)
Jianwei Niu, Joanne M. Atlee, Nancy A. Day
Understanding and Comparing Model-Based Specification Notations. RE (2003)
Jianwei Niu, Joanne M. Atlee, Nancy A. Day
Template Semantics for Model-Based Notations. IEEE Trans. Software Eng. 29 (10) (2003)
Jianwei Niu, Joanne M. Atlee, Nancy A. Day
Composable semantics for model-based notations. SIGSOFT FSE (2002)