FESK.COMYour global study desk
Email us
Home › Scholar › Thang Trinh Cao
COMPILEDopen profilenot managed by this scholar
T

Thang Trinh Cao

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

X
Xuan-Duong Pham
Metallurgy
T
Trong Hieu Le
Psychology
L
Le Thuy Thuy Khanh
Psychology
T
Tien-Dat Thai
Chemistry
T
Tam Vo
Agriculture
N
Nguyen Manh Truong Giang
Mathematics
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.
Thang Trinh CaoVietnam National University Ho Chi Minh City
Claim
Original profile stored athocthuat.vn— two pages display the same database, verification syncs everywhere.