Neville Grech


Been: Malta, Athens, Bristol, Southampton.

Done: World-leading young blockchain security researcher. My work in this area has been recently highlighted by Communications of the ACM and ACM SIGPLAN.


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.

Our Mission

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