X
Xiaofeng Ma
Researcher at Tongji University
Publications - 6
Citations - 133
Xiaofeng Ma is an academic researcher from Tongji University. The author has contributed to research in topics: Business process & Formal verification. The author has an hindex of 4, co-authored 6 publications receiving 61 citations.
Papers
More filters
Journal ArticleDOI
An Optimized Consortium Blockchain for Medical Information Sharing
TL;DR: A new business process and a blockchain-based platform for medical information sharing that exploits the advantages of blockchain in medical information recording and sharing and proposes a new consensus algorithm and a universal anonymous sharing model to improve the efficiency and security of medical informationsharing between users.
Journal ArticleDOI
MBFT: A New Consensus Algorithm for Consortium Blockchain
TL;DR: This paper proposes a new type of consensus algorithm: mixed Byzantine fault tolerance (MBFT), which functionally partitions the nodes that participate in the consensus process and improves the scalability and efficiency without sacrificing security.
Proceedings ArticleDOI
A Blockchain Application for Medical Information Sharing
TL;DR: A new business process and a novel architecture for medical information sharing based on blockchain are proposed, exploiting the advantage of blockchain in recording transactions so that the value of information can be fully utilized.
Journal ArticleDOI
A Handshake Protocol With Unbalanced Cost for Wireless Updating
TL;DR: An improved ECDH-based handshake protocol is designed for the SDF wireless updating scheme, namely, the unbalanced OpenFunction handshake protocol, which is much lightweight than the TLS handshake protocol and SSL handshake protocol.
Book ChapterDOI
Formal Verification of Smart Contracts from the Perspective of Concurrency
TL;DR: The results show the potential advantage of using CSP and FDR tool to check the vulnerability in smart contracts especially from the perspective of concurrency, and adopt the CSP theory to formally model concurrent programs.