Dedaub's mission is to lead in automation-assisted software analyses and audits, for the secure development of smart contracts on blockchain platforms


Neville Grech


Been: Athens, Malta, Bristol, Southampton.

Done: Top security research (including an OOPSLA '18 distinguished paper). Gaming and Fintech software development expertise. Blockchain policy advisor for Malta.

Yannis Smaragdakis


Been: Athens, Massachusetts, Oregon, Atlanta, Seattle, Austin.

Done: Professor, author, 20-yr world-leading research expertise, several industry and open-source contributions. Program analysis, systems, security.


©2019 by Dedaub.