On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining
Luu, Loi, Saha, Ratul, Parameshwaran, Inian, Saxena, Prateek, Hobor, Aquinas
Published in 2015 IEEE 28th Computer Security Foundations Symposium (01.07.2015)
Published in 2015 IEEE 28th Computer Security Foundations Symposium (01.07.2015)
Get full text
Conference Proceeding
Certifying graph-manipulating C programs via localizations within data structures
Wang, Shengyi, Cao, Qinxiang, Mohan, Anshuman, Hobor, Aquinas
Published in Proceedings of ACM on programming languages (01.10.2019)
Published in Proceedings of ACM on programming languages (01.10.2019)
Get full text
Journal Article
Schooling to Exploit Foolish Contracts
Abdelaziz, Tamer, Hobor, Aquinas
Published in 2023 Fifth International Conference on Blockchain Computing and Applications (BCCA) (24.10.2023)
Published in 2023 Fifth International Conference on Blockchain Computing and Applications (BCCA) (24.10.2023)
Get full text
Conference Proceeding
Specifying Compatible Sharing in Data Structures
Sharma, Asankhaya, Hobor, Aquinas, Chin, Wei-Ngan
Published in Formal Methods and Software Engineering (2015)
Published in Formal Methods and Software Engineering (2015)
Get full text
Book Chapter