Sixuan Dang

According to our database, Sixuan Dang authored at least 7 papers between 2020 and 2024.

Collaborative distances:

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

2024

CtChecker: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming (Artifact).

Quan Zhou, Sixuan Dang, Danfeng Zhang

Dagstuhl Artifacts Ser., 2024

{CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming.

Quan Zhou, Sixuan Dang, Danfeng Zhang

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2022

Dynamic incentive mechanism design for regulation-aware systems.

Sixuan Dang, Sheng Cao, Jingwei Li, Xiaosong Zhang

Int. J. Intell. Syst., 2022

A Behavior-Aware Scheme for Personalized Credit Computing.

Sixuan Dang, Sheng Cao

Proceedings of the 25th IEEE International Conference on Computer Supported Cooperative Work in Design, 2022

2021

A blockchain-based access control and intrusion detection framework for satellite communication systems.

Sheng Cao, Sixuan Dang, Yuan Zhang, Wei Wang, Nan Cheng

Comput. Commun., 2021

Regulation-as-a-Service: Model Checking for Decision-Making Behaviors in Price-Sensitive Service Systems.

Sixuan Dang, Sheng Cao

Proceedings of the IEEE International Conference on Services Computing, 2021

2020

An Electric Vehicle Charging Reservation Approach Based on Blockchain.

Sheng Cao, Sixuan Dang, Xiaojiang Du, Mohsen Guizani, Xiaosong Zhang, Xiaoming Huang

Proceedings of the IEEE Global Communications Conference, 2020