Projects

• Prof. Ron van der Meyden and Prof. Michael Maher (ADFA) are conducting a project ``Can SAFE contracts be smart?'' on smart contract implementations of legal contracts that are used in startup financing.
  
  
• Prof. Ron van der Meyden is collaborating with Prof. Joseph Halpern (Cornell) on verification and synthesis of fault tolerant consensus protocols, with funding from DST (Australia) and AFOSR (US).
  
  
• Prof. Ron van der Meyden and Prof. Michael Maher (ADFA) are developing Lex Leibniz, a high level smart contract language designed to facilitate verification of smart contract correctness and security.
  
  
• The group of Prof. Joe Dong (EE&T) is developing a blockchain based trading model for microgrid to allow owners (prosumers) to trade energy.
  
  

Past Projects

• UNSW partnered with Libra Australia, a consortium with the aim of operating an Australian node of the Libra cryptocurrency. (This project is dormant since Libra (now Diem) is presently focused on developing a USD stablecoin.)
  
  
• Unify Rewards was a trial conducted at UNSW of a customer loyalty program that rewards shoppers with loyalty points convertible to the Ethereum cryptocurrency. A number of UNSW staff (Salil Kanhere, Eric Lim, Ron van der Meyden) cooperated on research concerning this program.
  
  
• CSE students Kelvin Chak Fung Li and Yan Chi Ku, conducted an honours thesis project on Software Licensing with Smart Contracts on the Blockchain, under the supervision of Ron van der Meyden.
  
  
• CSE Students Adam Smallhorn, Allan Allaf, Many Tue Truong, conducted an honours thesis project on the Implementation of a Lightweight Scalable Blockchain for IoT, supervised by Salil Kanhere.
  
  
• Related ativity in Fintech regulation