Jianwei Niu - RankMe

58 papers A* 6A 6B 4C 14Journal 8Unranked 20

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