Shuang Wu
Ph.D. started in: 2018
Expected year of graduation: 2022
COINS consortium member: Norwegian University of Science and Technology
Supervised by: Kristian Gjøsteen
Links: 
Research area: Cryptography
Project title: Trust and Transparency in Digital Society Through Blockchain Technology
Project description: My study field is the cryptographic foundations behind blockchain technology. Analyse the security properties of crypto protocols in the blockchain using automatic prover and other methods.
Publications:
- shuang wu, Kristian Gjøsteen, Colin Alexander Boyd (2020). A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract
- Shuang Wu, Øyvind Mikkelsen, Shazia Nusrat Aslam (2019). Soil-water influences on trace elements and organic matter in Arctic
Courses attended:
- IMT6002 COINS Winter School (NTNU), 3 ECTS, 2019
Events attended with COINS funding:
- COINS Finse winter school, Finse, Norway, 2019
- 1st International Summer School on Security & Privacy for Blockchains and Distributed Ledger Technologies, Vienna, Austria, 2019
- Asiacrypt 2019, Kobe, Japan, 2019
