Thông tin
- 🏛️Nơi công tác: Đại học Quốc gia TP.HCM
- 🆔ORCID: 0009-0007-6617-8505
- ✍️Hồ sơ chưa đầy đủ — bổ sung thông tin
Công bố tiêu biểu
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
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
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
Zenodo (CERN European Organization for Nuclear Research) · 2026 · DOI
Cùng đơn vị — Đại học Quốc gia TP.HCM
Danh sách công bố phía trên được tổng hợp từ cơ sở dữ liệu học thuật mở OpenAlex (giấy phép CC0). Đối chiếu hồ sơ gốc trên OpenAlex ↗
Góp ý / Nhận hồ sơ này
Dong Bui HuuĐại học Quốc gia TP.HCM
Nhận hồ sơ
Hồ sơ gốc lưu tạihocthuat.vn— hai trang hiển thị cùng một cơ sở dữ liệu, xác minh ở đâu cũng đồng bộ.