Wenbo Mao

From MaRDI portal
Person:240110

Available identifiers

zbMath Open mao.wenboMaRDI QIDQ240110

List of research outcomes





PublicationDate of PublicationType
An automated proof technique for finite-state machine equivalence2024-04-29Paper
On strengthening authentication protocols to foil cryptanalysis2021-12-20Paper
Designing secure key exchange protocols2021-12-20Paper
https://portal.mardi4nfdi.de/entity/Q29569482017-01-20Paper
Applied Cryptography and Network Security2005-06-13Paper
https://portal.mardi4nfdi.de/entity/Q47364462004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q44720752004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44484252004-02-18Paper
https://portal.mardi4nfdi.de/entity/Q44185372003-08-10Paper
https://portal.mardi4nfdi.de/entity/Q44185282003-08-10Paper
https://portal.mardi4nfdi.de/entity/Q47860242002-12-12Paper
https://portal.mardi4nfdi.de/entity/Q45015052002-08-14Paper
https://portal.mardi4nfdi.de/entity/Q42508092002-06-02Paper
Verifiable partial escrow of integer factors.2002-04-15Paper
https://portal.mardi4nfdi.de/entity/Q49347302000-02-01Paper
https://portal.mardi4nfdi.de/entity/Q42492681999-10-06Paper
https://portal.mardi4nfdi.de/entity/Q43736531998-01-21Paper
https://portal.mardi4nfdi.de/entity/Q38400791998-01-01Paper
https://portal.mardi4nfdi.de/entity/Q43417881997-06-18Paper

Research outcomes over time

This page was built for person: Wenbo Mao

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:240110&oldid=7839133"
Powered by MediaWiki