Nielsen, Eske Hoy
- Formalising Decentralised Exchanges in Coq
2022/03/11 by Eske Hoy Nielsen, Nielsen, Eske Hoy, Danil Annenkov +3 · 1 citation
Business, Management and Accounting · Computer Science · Decision Sciences · #Accounting #Auction Theory and Applications #Audit #Blockchain #Blockchain Technology Applications and Security #Business #Code (set theory) #Computer science #Computer security #Correctness #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FinTech, Crowdfunding, Digital Finance #Finance #Formal methods #Formal verification #Logic in Computer Science (cs.LO) #Mathematical proof #Order (exchange) #Programming language #Proof assistant #Smart contract #Software engineering #cs.CR #cs.LO