Xiang Fu

42 papers A* 4A 7B 2C 1Journal 12Unranked 15
YearRankTypeTitle / Venue / Authors
2025 J jnl
Mitigating Ponzi schemes by zero-knowledge auditing.
Inf. Secur. J. A Glob. Perspect.
Aman Luthra, James Cavanaugh, Hugo Renzzo Olcese, Michael Raymond, Reina Eustache, Rina M. Hirsch, Xiang Fu
2024 — conf
IZPR: Instant Zero Knowledge Proof of Reserve.
FC Workshops
Trevor Conley, Nilsso Diaz, Diego Espada, Alvin Kuruvilla, Stenton Mayne, Xiang Fu
2024 J jnl
Towards zero knowledge argument for double discrete logarithm with constant cost.
Theor. Comput. Sci.
Diya Krishnan, Xiang Fu
2023 — conf
Efficient Zero Knowledge for Regular Language.
SecureComm (1)
Michael Raymond, Gillian Evers, Jan Ponti, Diya Krishnan, Xiang Fu
2023 J jnl
Efficient Zero Knowledge for Regular Language.
IACR Cryptol. ePrint Arch.
Michael Raymond, Gillian Evers, Jan Ponti, Diya Krishnan, Xiang Fu
2020 A conf
ZeroAUDIT.
ACSAC
Aman Luthra, James Cavanaugh, Hugo Renzzo Olcese, Rina M. Hirsch, Xiang Fu
2016 B conf
LINK-REPORT: Outcome Analysis of Informal Learning at Scale.
L@S
Xiang Fu, Tyler Befferman, M. David Burghardt
2016 J jnl
On detecting environment sensitivity using slicing.
Theor. Comput. Sci.
Xiang Fu
2015 — conf
WISEngineering: Achieving Scalability and Extensibility in Massive Online Learning.
WISE (1)
Xiang Fu, Tyler Befferman, Jennie Chiu, M. David Burghardt
2013 A ed.
Service-Oriented Computing - 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings
ICSOC
Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu
2013 J jnl
Simple linear string constraints.
Formal Aspects Comput.
Xiang Fu, Michael C. Powell, Michael Bantegui, Chung-Chih Li
2011 J jnl
APOGEE: a tool for automated grading programming projects.
J. Comput. Sci. Coll.
Xiang Fu, Mike Powell, Michael Bantegui, Boris Peltsverger, Rustico David, Lei Wang
2010 — conf
BAUT: A Bayesian Driven Tutoring System.
ITNG
Song Tan, Kai Qian, Xiang Fu, Prabir Bhattacharya
2010 — conf
Conformance Verification of Privacy Policies.
WS-FM
Xiang Fu
2010 — conf
Relational Constraint Driven Test Case Synthesis for Web Applications
TAV-WEB
Xiang Fu
2009 A conf
A Tool for Choreography Analysis Using Collaboration Diagrams.
ICWS
Tevfik Bultan, Chris Ferguson, Xiang Fu
2008 A conf
APOGEE: automated project grading and instant feedback system for web based computing.
SIGCSE
Xiang Fu, Boris Peltsverger, Kai Qian, Lixin Tao, Jigang Liu
2008 J jnl
Choreography Modeling and Analysis with Collaboration Diagrams.
IEEE Data Eng. Bull.
Tevfik Bultan, Xiang Fu
2008 — conf
Race condition in Ajax-based web application.
ACM Southeast Regional Conference
Therese J. Albert, Kai Qian, Xiang Fu
2008 — conf
SAFELI: SQL injection scanner using symbolic execution.
TAV-WEB
Xiang Fu, Kai Qian
2008 J jnl
Specification of realizable service conversations using collaboration diagrams.
Serv. Oriented Comput. Appl.
Tevfik Bultan, Xiang Fu
2008 — conf
The automated web application testing (AWAT) system.
ACM Southeast Regional Conference
Mate' Sztipanovits, Kai Qian, Xiang Fu
2007 — conf
A Static Analysis Framework For Detecting SQL Injection Vulnerabilities.
COMPSAC (1)
Xiang Fu, Xin Lu, Boris Peltsverger, Shijun Chen, Kai Qian, Lixin Tao
2007 — conf
An Analysis Tool for Execution of BPEL Services.
CEC/EEE
Ariane Gravel, Xiang Fu, Jianwen Su
2007 — ch.
Analyzing Conversations: Realizability, Synchronizability, and Verification.
Test and Analysis of Web Services
Tevfik Bultan, Xiang Fu, Jianwen Su
2007 — conf
Specification of Realizable Service Conversations Using Collaboration Diagrams.
SOCA
Tevfik Bultan, Xiang Fu
2007 — conf
Towards a Theory of Web Service Choreographies.
WS-FM
Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao
2006 J jnl
Analyzing Conversations of Web Services.
IEEE Internet Comput.
Tevfik Bultan, Jianwen Su, Xiang Fu
2005 A* conf
Design for verification for asynchronously communicating Web services.
WWW
Aysu Betin-Can, Tevfik Bultan, Xiang Fu
2005 J jnl
Realizability of Conversation Protocols with Message Contents.
Int. J. Web Serv. Res.
Xiang Fu, Tevfik Bultan, Jianwen Su
2005 J jnl
Synchronizability of Conversations among Web Services.
IEEE Trans. Software Eng.
Xiang Fu, Tevfik Bultan, Jianwen Su
2005 — conf
Web Service Interactions: Analysis and Design.
SDWP@ICWS
Jianwen Su, Tevfik Bultan, Xiang Fu
2004 A* conf
Analysis of interacting BPEL web services.
WWW
Xiang Fu, Tevfik Bultan, Jianwen Su
2004 J jnl
Conversation protocols: a formalism for specification and verification of reactive electronic services.
Theor. Comput. Sci.
Xiang Fu, Tevfik Bultan, Jianwen Su
2004 A conf
Model checking XML manipulating software.
ISSTA
Xiang Fu, Tevfik Bultan, Jianwen Su
2004 A conf
Realizability of Conversation Protocols With Message Contents.
ICWS
Xiang Fu, Tevfik Bultan, Jianwen Su
2004 B conf
Tools for Automated Verification of Web Services.
ATVA
Tevfik Bultan, Xiang Fu, Jianwen Su
2004 A* conf
WSAT: A Tool for Formal Analysis of Web Services.
CAV
Xiang Fu, Tevfik Bultan, Jianwen Su
2003 C conf
Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services.
CIAA
Xiang Fu, Tevfik Bultan, Jianwen Su
2003 A* conf
Conversation specification: a new approach to design and analysis of e-service composition.
WWW
Tevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su
2002 — conf
Formal Verification of e-Services and Workflows.
WES
Xiang Fu, Tevfik Bultan, Jianwen Su
2001 A conf
Verification of Vortex Workflows.
TACAS
Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su