Xiang Fu

According to our database, Xiang Fu authored at least 34 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards zero knowledge argument for double discrete logarithm with constant cost.

Diya Krishnan, Xiang Fu

Theor. Comput. Sci., 2024

IZPR: Instant Zero Knowledge Proof of Reserve.

Trevor Conley, Nilsso Diaz, Diego Espada, Alvin Kuruvilla, Stenton Mayne, Xiang Fu

Proceedings of the Financial Cryptography and Data Security. FC 2024 International Workshops, 2024

2020

ZeroAUDIT.

Aman Luthra, James Cavanaugh, Hugo Renzzo Oclese, Rina M. Hirsch, Xiang Fu

Proceedings of the ACSAC '20: Annual Computer Security Applications Conference, 2020

2016

On detecting environment sensitivity using slicing.

Xiang Fu

Theor. Comput. Sci., 2016

LINK-REPORT: Outcome Analysis of Informal Learning at Scale.

Xiang Fu, Tyler Befferman, M. David Burghardt

Proceedings of the Third ACM Conference on Learning @ Scale, 2016

2015

WISEngineering: Achieving Scalability and Extensibility in Massive Online Learning.

Xiang Fu, Tyler Befferman, Jennie Chiu, M. David Burghardt

Proceedings of the Web Information Systems Engineering - WISE 2015, 2015

2013

Simple linear string constraints.

Xiang Fu, Michael C. Powell, Michael Bantegui, Chung-Chih Li

Formal Aspects Comput., 2013

2010

Relational Constraint Driven Test Case Synthesis for Web Applications

Xiang Fu

Proceedings of the Proceedings Fourth International Workshop on Testing, 2010

Conformance Verification of Privacy Policies.

Xiang Fu

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

BAUT: A Bayesian Driven Tutoring System.

Song Tan, Kai Qian, Xiang Fu, Prabir Bhattacharya

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

2009

A Tool for Choreography Analysis Using Collaboration Diagrams.

Tevfik Bultan, Chris Ferguson, Xiang Fu

Proceedings of the IEEE International Conference on Web Services, 2009

2008

Specification of realizable service conversations using collaboration diagrams.

Tevfik Bultan, Xiang Fu

Serv. Oriented Comput. Appl., 2008

Choreography Modeling and Analysis with Collaboration Diagrams.

Tevfik Bultan, Xiang Fu

IEEE Data Eng. Bull., 2008

APOGEE: automated project grading and instant feedback system for web based computing.

Xiang Fu, Boris Peltsverger, Kai Qian, Lixin Tao, Jigang Liu

Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

SAFELI: SQL injection scanner using symbolic execution.

Xiang Fu, Kai Qian

Proceedings of the 2008 Workshop on Testing, 2008

The automated web application testing (AWAT) system.

Mate' Sztipanovits, Kai Qian, Xiang Fu

Proceedings of the 46th Annual Southeast Regional Conference, 2008

Race condition in Ajax-based web application.

Therese J. Albert, Kai Qian, Xiang Fu

Proceedings of the 46th Annual Southeast Regional Conference, 2008

2007

Towards a Theory of Web Service Choreographies.

Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

An Analysis Tool for Execution of BPEL Services.

Ariane Gravel, Xiang Fu, Jianwen Su

Proceedings of the 9th IEEE International Conference on E-Commerce Technology (CEC 2007) / 4th IEEE International Conference on Enterprise Computing, 2007

Analyzing Conversations: Realizability, Synchronizability, and Verification.

Tevfik Bultan, Xiang Fu, Jianwen Su

Proceedings of the Test and Analysis of Web Services, 2007

A Static Analysis Framework For Detecting SQL Injection Vulnerabilities.

Xiang Fu, Xin Lu, Boris Peltsverger, Shijun Chen, Kai Qian, Lixin Tao

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Analyzing Conversations of Web Services.

Tevfik Bultan, Jianwen Su, Xiang Fu

IEEE Internet Comput., 2006

2005

Synchronizability of Conversations among Web Services.

Xiang Fu, Tevfik Bultan, Jianwen Su

IEEE Trans. Software Eng., 2005

Realizability of Conversation Protocols with Message Contents.

Xiang Fu, Tevfik Bultan, Jianwen Su

Int. J. Web Serv. Res., 2005

Design for verification for asynchronously communicating Web services.

Aysu Betin-Can, Tevfik Bultan, Xiang Fu

Proceedings of the 14th international conference on World Wide Web, 2005

Web Service Interactions: Analysis and Design.

Jianwen Su, Tevfik Bultan, Xiang Fu

Proceedings of the ICWS 2005 Second International Workshop on Semantic and Dynamic Web Processes, 2005

2004

Conversation protocols: a formalism for specification and verification of reactive electronic services.

Xiang Fu, Tevfik Bultan, Jianwen Su

Theor. Comput. Sci., 2004

Analysis of interacting BPEL web services.

Xiang Fu, Tevfik Bultan, Jianwen Su

Proceedings of the 13th international conference on World Wide Web, 2004

Model checking XML manipulating software.

Xiang Fu, Tevfik Bultan, Jianwen Su

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

WSAT: A Tool for Formal Analysis of Web Services.

Xiang Fu, Tevfik Bultan, Jianwen Su

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Tools for Automated Verification of Web Services.

Tevfik Bultan, Xiang Fu, Jianwen Su

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

Conversation specification: a new approach to design and analysis of e-service composition.

Tevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su

Proceedings of the Twelfth International World Wide Web Conference, 2003

2002

Formal Verification of e-Services and Workflows.

Xiang Fu, Tevfik Bultan, Jianwen Su

Proceedings of the Web Services, 2002

2001

Verification of Vortex Workflows.

Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001