FESK.COMYour global study desk
Email us
Home › Scholar › Dong Bui Huu
COMPILEDopen profilenot managed by this scholar
D

Dong Bui Huu

Researcher Profile 4/10
Vietnam National University Ho Chi Minh City
3 publications
This is my profile

Information

Featured publications

NIPoK-SE Formal Verification Artifact and Reproducibility Package: ProVerif, CryptoVerif, and EasyCrypt Models, Implementation, Deployment Manifests, Benchmark Harnesses, and Raw Measurement Data
Open MIND · 2026 · DOI
NIPoK-SE Formal Verification Artifact and Reproducibility Package: ProVerif, CryptoVerif, and EasyCrypt Models, Implementation, Deployment Manifests, Benchmark Harnesses, and Raw Measurement Data
Zenodo (CERN European Organization for Nuclear Research) · 2026 · DOI
NIPoK-SE Formal Verification Artifact: ProVerif, CryptoVerif, and EasyCrypt Models with Reproduction Scripts
Zenodo (CERN European Organization for Nuclear Research) · 2026 · DOI

Same institution — Vietnam National University Ho Chi Minh City

N
Nguyen Hong Nhat
Biology
H
Hung Tran
Physics
V
Viet-Nhat Thai
Information Technology
K
Kim Qui Tran
Pharmacy
B
Bao Ngoc Thi Le
Information Technology
M
Minh Khai Tran
History
Verify at: ORCID Find works on Google Scholar ↗ Search Google ↗
The publication list above is compiled from the open academic database OpenAlex (CC0 licence). Compare with the source record on OpenAlex ↗

Suggest / Claim this profile

  
Profile aggregated from public sources. We respect scholars' rights to edit and remove information — all requests are processed promptly.
Dong Bui HuuVietnam National University Ho Chi Minh City
Claim
Original profile stored athocthuat.vn— two pages display the same database, verification syncs everywhere.