Patents/Inventors

Gabor Madl

San Jose, CAUS1 patent

2 Patents

US118952232024
Cross-chain Validation
International Business Machines Corporation
0 cites
US115871892023
Formal Verification of Smart Contracts
International Business Machines Corporation
0 cites