Sixuan Dang

Orcid: 0000-0002-3241-9530

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

{CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2022
Dynamic incentive mechanism design for regulation-aware systems.
Int. J. Intell. Syst., 2022

A Behavior-Aware Scheme for Personalized Credit Computing.
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.
Comput. Commun., 2021

Regulation-as-a-Service: Model Checking for Decision-Making Behaviors in Price-Sensitive Service Systems.
Proceedings of the IEEE International Conference on Services Computing, 2021

2020
An Electric Vehicle Charging Reservation Approach Based on Blockchain.
Proceedings of the IEEE Global Communications Conference, 2020


  Loading...