Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Duc-Than Nguyen
Observed name:
Than Duc Nguyen
Institution:
University of Illinois Chicago
Observed institutions:
Vietnam National University Ho Chi Minh City,
Ho Chi Minh City University of Science,
University of Illinois Chicago
ORCID:
0000-0002-6810-897X
Observed ORCID:
0000-0002-6810-897X
OpenAlex ID:
A5084531719
Compass: strong and compositional library specifications in relaxed memory separation logic
2022
·
Hoang-Hai Dang
, Jaehwang Jung
, et al.
·
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
·
29
PDF
Attacks on Low Private Exponent RSA: An Experimental Study
2013
·
Thuc D. Nguyen
, Than Duc Nguyen
, et al.
·
International Conference on Computational Science and Its Applications
·
6
Compositional Verification of Concurrent C Programs with Search Structure Templates
2024
·
Duc-Than Nguyen
, Lennart Beringer
, et al.
·
ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
·
3
Efficient Privacy Preserving Data Audit in Cloud
2015
·
Hai-Van Dang
, Thai-Son Tran
, et al.
·
Advances in intelligent systems and computing
·
1
A Formal Interface for Concurrent Search Structure Templates
2026
·
Duc-Than Nguyen
, William Mansky
·
Lecture notes in computer science
Show more works
View as search
Works count:
5
Citation count:
39
H-index:
3
I10-index:
1
Year
Topic
Type
