Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores

por Tran, Duong Dinh, Wai Mon, Thet, Ogata, Kazuhiro
Publicado 2023

Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version

por Tran, Duong Dinh, Do, Canh Minh, Escobar, Santiago, Ogata, Kazuhiro
Publicado 2023

The bee genus Anthidiellum in Vietnam: descriptions of five new species and the first male of Anthidiellumcoronum (Hymenoptera, Megachilidae)

por Tran, Ngat Thi, Engel, Michael S., Nguyen, Cuong Quang, Tran, Duong Dinh, Nguyen, Lien Thi Phuong
Publicado 2023