Muhammad Hassan
@mdothassan
Followers
113
Following
443
Media
12
Statuses
415
https://t.co/RQsySpJSQg | Co-founder @truscova | Researcher at DFKI GmbH
Germany
Joined December 2011
RT @truscova: Smart contract security isn’t just a feature - it’s responsibility 🚀. That’s why we built Bug Hunter 🔍 an AI-powered code re….
0
3
0
RT @truscova: Smart-contract developers wanted!🚨.We’re beta-testing Bug Hunter - an automated Solidity code reviewer to triage vulns before….
0
2
0
Oversized clickable area on sign-up page.When creating a new account, the “Use phone instead” link has a much larger clickable area than expected. Hovering anywhere around the email input switches the cursor, and clicking unintentionally triggers the link.
6
0
8
RT @truscova: 🚨 Beta testers wanted!. Bug Hunter = automated Solidity review tool for:.⚠️ Access control issues.⚠️ Reentrancy risks.⚠️ Unsa….
0
3
0
RT @truscova: DeFi moves fast. Security must move faster. ⚡️. Meet Bug Hunter — AI-powered code review:. 🔍 Up to 100× faster reviews . 💰 Lo….
0
3
0
RT @truscova: 🚨Calling all smart-contract security pros!.We’re opening beta for Bug Hunter-an automated Solidity review tool to flag vulns….
0
3
0
@NethermindEth @AgentLISA_ai @AlmanaxAI At we believe “secure” starts with “valid.” No shortcuts. Security tools should be trustworthy. That starts by making sure the code you’re testing is… well, actually code. Curious how Bug Hunter does it differently? Test us. 🐛🔍.
0
0
0
@NethermindEth @AgentLISA_ai @AlmanaxAI No npx hardhat compile, no forge build, no check that the code even makes sense. 🤨.Isn’t compiling the bare minimum before you try to prove a contract secure? If the code doesn’t compile, what exactly are we analyzing, vibes?.
0
0
0
While benchmarking Bug Hunter (, I briefly tested a few well-known smart contract audit tools, AuditAgent (@NethermindEth), @AgentLISA_ai , @AlmanaxAI, etc. What surprised me? They start analyzing your code without compiling it.🤨.
2
0
0
RT @Rolf_Drechsler: #COINS2025 - presentation at IEEE International Conference on Omni-layer Intelligent Systems (#COINS) on "Prompt. Verif….
0
2
0
RT @Rolf_Drechsler: #COINS2025 - today presenting our paper "Prompt. Verify. Repeat. LLMs in the Hardware Verification Cycle" at the IEEE I….
0
2
0
RT @truscova: Test your code before attackers do with our free Beta version at:. 🔗 . #SmartContractSecurity #Et….
0
3
0
RT @Rolf_Drechsler: We're thrilled to share that our SEMANTIC BUG HUNTER project is advancing with support from the European Regional Dev….
0
3
0
RT @Rolf_Drechsler: Many interesting discussions at the Startup Summit #Bremen 2025 @mdothassan @mnjalil #security….
0
2
0
RT @Rolf_Drechsler: Meet us today: #Truscova is excited to be a part of the upcoming #Startup Summit Bremen 2025 @m….
0
2
0
RT @Rolf_Drechsler: #Truscova is excited to be a part of the upcoming Startup Summit Bremen 2025 @mdothassan @mnjal….
truscova.com
TCV | Startup Summit Bremen 2025
0
2
0
RT @Rolf_Drechsler: We are hiring at #truscova - apply now: Front-End Developer #verification #security #blockchai….
0
2
0
RT @Rolf_Drechsler: Stablecoins and Smart Contracts: The New Era of Secure Digital Currency #truscova @mdothassan….
0
2
0
RT @Rolf_Drechsler: ERC20 Tokens: Don't Gamble with Security, Use Invariants to Ensure Safe and Reliable Tokens #tr….
0
2
0
RT @Rolf_Drechsler: Security Audits 101: How to Find and Choose the Right Auditor for your Smart Contract #truscova….
0
2
0