WE SECURE YOUR
SMART CONTRACTS


We leverage Formal Verification and other leading technologies to
ensure security of your smart contracts.

SERVICES

We offer services to secure your smart contracts with leading technologies.



Security Advisory


Truscova becomes your world-class smart contract security consultant



Smart Contract Security Audit

A comprehensive security assessment of your smart contracts to identify vulnerabilities and recommend ways to fix them.



Trainings


Truscova provides Solidity trainings with focus on secure smart contract development


NEWS & UPDATE

Get the latest updates from Truscova in our News section! Discover insights on smart contract security, web3 trends, and company announcements, ensuring you stay informed on the fast-paced world of blockchain technology and our innovative auditing services.

ALL NEWS
ALL BLOGS
FACTS

Truscova is a dynamic start-up company with more than 100 years of combined learning technology experience bringing together established Verification and Testing experts, computer scientists, business specialists, machine learning experts and design technologists.

100% proofed





Team of Professors, PhDs, security and ML professionals




Several patents



20000+ Google scholar citations




Won several awards



35+ Published books




ACM Distinguished members and IEEE fellows
MEET OUR KEY EXECUTIVES

Truscova comes with 30+ years of academic research and hundreds of academic publications which pioneered the area of Formal Verification. The team combines academic leadership, industrial strength and Blockchain expertise.




Dr.
Muhammad Hassan

CEO | Co-founder

Twitter LinkedIn

He is our lead security auditor. Ph.D. in Computer Science from University of Bremen and M.Sc. from RWTH Aachen. He is an expert in formal verification, security validation, and compiler construction. He has extensive experience in secure systems development. Dr. Hassan is the winner of 2018 DVCon Europe best paper award.



Dr.
Muhammad Naiman Jalil

Co-founder

Twitter LinkedIn

Naiman is our analytics and business expert. He has a Ph.D. from RSM, Erasmus University, Rotterdam in operations research applications. He has designed algorithms that power intelligent systems for various business applications. He was also Head of Data Science at a mobility service provider. At Truscova, he helps tech. team improve verification and auditing tools and also looks after company’s business side.


Prof. Dr.
Rolf Drechsler

Co-founder

Twitter LinkedIn

Director of the Cyber-Physical Systems Group at the German Research Center for Artificial Intelligence (DFKI), Full Professor and Chair of Computer Architecture Research Group at the University of Bremen. Leading figure in research fields such as formal verification, testing, quantum computing, and security. He did pioneering work on binary decision ...diagrams, which form the basis for formal verification. Prof. Drechsler and his group have developed many ground-breaking techniques for verification and testing. He has received several awards and holds multiple patents. He is an ACM Distinguished Member and an IEEE Fellow.
Areas of EXPERTISE

Over the years, we have developed and employed advanced verification and testing methods for complex systems.

Formal verification techniques


Dynamic analysis


Constrained random and fuzz testing


Metamorphic testing


Advanced coverage metrics


Static analysis


Ready To Take
The Next Step?

Contact Us

Contact

Truscova GmbH
Bremen | Germany
E-Mail

Social Media



©2022 | Imprint & Privacy Policy