Muhammad Hassan

| Co-founder @truscova | Researcher at DFKI GmbH

[Rolf Drechsler @Rolf_Drechsler]

#IJCAI2026 - registration for IJCAI-ECAI 2026 is now open—join the global AI community in #Bremen from 15–21 August 2026, with early-bird rates available until 15 June 2026 https://t.co/pRmiLDBcpL

[Rolf Drechsler @Rolf_Drechsler]

Technologie-Roadmaps in erster Fassung öffentlich https://t.co/g8iD52iT7m #HightechAgenda #HTAD @bmftr_bund #KünstlicheIntelligenz #Quantentechnologien #Mikroelektronik

[Muhammad Hassan @mdothassan]

@pashov Ser, please add Bug Hunter (https://t.co/T6z8ewpGe0) to the paid list as well :)

[AGRA Uni Bremen @agra_uni_bremen]

Today at #VTS: Luca Müller will talk about "Automation of Polynomial Formal Verification using Large Language Models"
*
Paper: https://t.co/1d6hdX6FsH
*
#conference #VLSI #test #symposium @Rolf_Drechsler

[Rolf Drechsler @Rolf_Drechsler]

#VTS2026 - Luca Müller presents our paper on "Automation of Polynomial Formal Verification using Large Language Models" at IEEE VLSI Test Symposium 2026; paper is available #online https://t.co/3H46hgZ7AL @agra_uni_bremen @mdothassan #PolyVer #LLMs

[Muhammad Hassan @mdothassan]

@EF_ESP Could you please comment on the deadline?

[Rolf Drechsler @Rolf_Drechsler]

Our paper in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) on "veriSiM: Formal Verification of SPICE Netlists for MAGIC-Based Logic-in-Memory" has been published in the February issue https://t.co/eJYmmFs97O @agra_uni_bremen @mdothassan

[Muhammad Hassan @mdothassan]

@Montyly

[Muhammad Hassan @mdothassan]

@PatrickAlphaC Taking out the fun, duh!

[Muhammad Hassan @mdothassan]

@karpathy But this was well known from the start, or am i missing something?

[Muhammad Hassan @mdothassan]

@archethect @pashov As long as you say "make secure", should be fine ;)

[Rolf Drechsler @Rolf_Drechsler]

#IWSBP2026 - the 17th International Workshop on Boolean Problems will be held in #Bremen, #Germany on September 17-18; paper submission deadline: June 16; for further information see https://t.co/EZDpnd7cVw
@agra_uni_bremen

[Rolf Drechsler @Rolf_Drechsler]

#VTS2026 - IEEE VLSI Test Symposium 2026 program available; including our paper on "Automation of Polynomial Formal Verification using Large Language Models" https://t.co/1BLk4H09RZ @agra_uni_bremen #LLM #PolyVer #verification

[AGRA Uni Bremen @agra_uni_bremen]

Rechnen direkt im Speicher? 🧠💻

In unserem neuen Artikel im Journal of Circuits, Systems and Computers zeigen wir, wie MAGIC NOR in 1T1M Crossbar Arrays den Daten-Flaschenhals sprengt. 🚀

Zum Paper: https://t.co/La9Vucmhgd

#InMemoryComputing #Innovation @Rolf_Drechsler

[Muhammad Hassan @mdothassan]

@Montyly @EthCC @truscova Will do

[Rolf Drechsler @Rolf_Drechsler]

Status Meeting of #BMFTR-funded project DI-ReDesign on "Open-Source-Designwerkzeuge und Bibliotheken für neuartige Transistorentechnologien" in #Bremen https://t.co/u0h335UUlQ @agra_uni_bremen @bmftr_bund #ReDesign @mdothassan

[AGRA Uni Bremen @agra_uni_bremen]

Ready for 2026! ✨
*
Wir wünschen euch einen glänzenden Start und ein fantastisches neues Jahr.
*
#frohesneuesjahr #2026 @Rolf_Drechsler

[truscova @truscova]

🚀We’re excited to share that Truscova has received an Ethereum Foundation (ESP) grant (https://t.co/ueQne22OZe) to build the Public Smart Contract Vulnerability Database (SCVD). 🚀
SCVD’s goal is simple: take vulnerability knowledge that’s scattered across writeups, reports, repos, and formats, and turn it into structured, searchable, reusable security data - with a public schema, normalized records, provenance, and an API that can evolve to support secure write/intake and moderated community submissions.

Why this matters for Ethereum security:
> Faster learning loops: bug patterns become queryable, helping teams catch known failure modes earlier.
> Better tooling: structured data enables detectors, triage, dashboards, and evaluation sets.
> AI-powered security research: a comprehensive vulnerability database becomes high-quality training/benchmark data - unlocking better AI-driven detection, classification, and risk analysis for the ecosystem.

#EthereumFoundation #TRUSCOVA #ESPGrant #SCVD #SecurityResearch #SmartContracts #Web3Security @mdothassan @mnjalil @Rolf_Drechsler

'

[truscova @truscova]

🔐Smart-contract assurance requires reproducible and data-driven tooling. 🧠We are building that tooling EU-based in partnership with the community. 🧠
Bug Hunter integrates static analysis, ML-based ranking, and formal semantic checks to deliver high-signal vulnerability detection. The system’s performance - up to 70% detection with less than 5% noise - has been validated across more than 200 projects producing over 7,000 substantive findings and multiple confirmed security exposures.

Contribute feedback or join the testing cohort: https://t.co/KFeB58NGcF

Secure code from the start.

#FormalVerification #BugBounty #Web3Security #SmartContracts #SecureByDesign #DeFi #BugHunter | @mdothassan @mnjalil @Rolf_Drechsler