Prof. Joshua Ellul

Prof. Joshua Ellul

Prof. Joshua Ellul

  B.Sc. I.T.(Hons)(Melit.), M.Sc.(Kent), Ph.D.(Soton)

Associate Professor

Level 1, Block B
Room 41
ICT Building
University of Malta
Msida
  +356 2340 3551
__Biography
  • Blockchain
  • Smart Contracts
  • Virtual Machines
  • Technology Regulation
  • AI Regulation
  • The Internet of Things

CHIRTOACA, D., ELLUL, J. and AZZOPARDI, G., 2020. A framework for creating deployable smart contracts for non-fungible tokens on the Ethereum blockchain, International Conference on Decentralized Applications and Infrastructures (DAPPS) 2020, IEEE.

FARRUGIA, S., ELLUL, J. and AZZOPARDI, G., 2020. Detection of illicit accounts over the Ethereum blockchain. Expert Systems with Applications, 150, pp. 113318.

AHRENDT, W., BUBEL, R., ELLUL, J., PACE, G.J., PARDO, R., REBISCOUL, V. and SCHNEIDER, G., 2019. Verification of Smart Contract Business Logic, International Conference on Fundamentals of Software Engineering 2019, Springer, Cham, pp. 228-243.

ELLUL, J., GAUCI, I. and PACE, G.J., 2019. The Truth in the Myth of the Lawyer-Programmer Chimera. DLT Malta: Thoughts from the Blockchain Island.

ELLUL, J. and PACE, G., 2019. Invited Paper: Blockchain and the Common Good Reimagined. arXiv preprint arXiv:1910.14415, .

ELLUL, J. and PACE, G., 2019. Towards A Unified Programming Model for Blockchain Smart Contract dApp Systems, 2019 38th International Symposium on Reliable Distributed Systems Workshops (SRDSW) 2019, IEEE, pp. 55-56.

MIZZI, A., ELLUL, J. and PACE, G.J., 2019. Porthos: Macroprogramming blockchain systems, 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS) 2019, IEEE, pp. 1-5.

ABADI, F.A., ELLUL, J. and AZZOPARDI, G., 2018. The Blockchain of Things, Beyond Bitcoin: A Systematic Review.

AZZOPARDI, S., ELLUL, J. and PACE, G.J., 2018. Monitoring smart contracts: CONTRACTLARVA and open challenges beyond, International Conference on Runtime Verification 2018, Springer, pp. 113-137.

COLOMBO, C., ELLUL, J. and PACE, G.J., 2018. Contracts over smart contracts: Recovering from violations dynamically, International Symposium on Leveraging Applications of Formal Methods 2018, Springer, pp. 300-315.

ELLUL, J. and PACE, G.J., 2018. AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things, 1st International Workshop on Blockchains and Smart Contracts (BSC) 2018.

ELLUL, J. and PACE, G.J., 2018. Runtime verification of ethereum smart contracts, 2018 14th European Dependable Computing Conference (EDCC) 2018, IEEE, pp. 158-163.

MIZZI, A., ELLUL, J. and PACE, G., 2018. D'Artagnan: An Embedded DSL Framework for Distributed Embedded Systems, Proceedings of the Real World Domain Specific Languages Workshop 2018 2018, ACM, pp. 2.

MIZZI, A., ELLUL, J. and PACE, G.J., 2018. Macroprogramming the Blockchain of Things.

REIJERS, N., ELLUL, J. and SHIH, C., 2018. Making sensor node virtual machines work for real-world applications. IEEE Embedded Systems Letters, .

LEGUESSE, Y., VELLA, M.J. and ELLUL, J., 2017. AndroNeo: Hardening Android Malware Sandboxes by Predicting Evasion Heuristics, 1th WISTP International Conference on Information Security Theory and Practice 2017 2017.

ELLUL, J., 2012. Run-time compilation techniques for wireless sensor networks, University of Southampton.

ELLUL, J., LO, B. and YANG, G., 2011. The BSNOS platform: a body sensor networks targeted operating system and toolset, The fifth international conference on sensor technologies and applications (SENSORCOMM 2011) 2011, pp. 381-386.

ELLUL, J. and MARTINEZ, K., 2010. A Few Bytes are Worth a Thousand Words: Run-Time Compilation of High Level Scripts in Sensor Networks, Distributed Computing Systems Workshops (ICDCSW), 2010 IEEE 30th International Conference on 2010, IEEE, pp. 161-170.

ELLUL, J. and MARTINEZ, K., 2010. Run-time compilation of bytecode in sensor networks, Sensor Technologies and Applications (SENSORCOMM), 2010 Fourth International Conference on 2010, IEEE, pp. 133-138.

ELLUL, J. and MARTINEZ, K., 2010. Run-time compilation of bytecode in wireless sensor networks, Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks 2010, ACM, pp. 422-423.

  • CIS5225 - Digital Health Systems
  • CPS2008 - Operating Systems and Systems Programming 2
  • DLT5002 - Research Methods
  • DLT5003 - Introduction to Blockchain, DLTs and Cryptocurrencies
  • DLT5141 - Introduction to DLT Architecture and Decentralised Applications
  • DLT5301 - DLT Cybersecurity, Auditing and Sandbox Considerations
  • DLT5401 - Smart Contract and dApp Programming
  • ICT3009 - Blockchain and Smart Contracts
  • ICT5101 - Internet of Things
__Other

https://www.um.edu.mt/_templates/staffprofiles/