scispace - formally typeset
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.