Ngo Minh Tri
Ngo Minh Tri
The University of Danang - University of Science and Technology
Verified email at dut.udn.vn
Title
Cited by
Cited by
Year
Scheduler-specific confidentiality for multi-threaded programs and its logic-based verification
M Huisman, TM Ngo
International Conference on Formal Verification of Object-Oriented Software …, 2011
182011
Softening behavior of quasi-brittle material under full thermo-mechanical coupling condition: Theoretical formulation and finite element implementation
M Ngo, D Brancherie, A Ibrahimbegovic
Computer Methods in Applied Mechanics and Engineering 281, 1-28, 2014
132014
Effective verification of confidentiality for multi-threaded programs
TM Ngo, M Stoelinga, M Huisman
Journal of computer security 22 (2), 269-300, 2014
132014
Confidentiality for probabilistic multi-threaded programs and its verification
TM Ngo, M Stoelinga, M Huisman
International Symposium on Engineering Secure Software and Systems, 107-122, 2013
132013
Quantitative security analysis for multi-threaded programs
TM Ngo, M Huisman
arXiv preprint arXiv:1306.2693, 2013
102013
Qualitative and quantitative information flow analysis for multi-threaded programs
TM Ngo
University of Twente, 2013
82013
Quantitative security analysis for programs with low input and noisy output
TM Ngo, M Huisman
International Symposium on Engineering Secure Software and Systems, 77-94, 2014
62014
Complexity and information flow analysis for multi-threaded programs
TM Ngo, M Huisman
The European Physical Journal Special Topics 226 (10), 2375-2392, 2017
52017
New upper bounds on the separating redundancy of linear block codes
NM Tri, JH Weber, KAS Abdel-Ghaffar
Proc. Thirtieth Symposium on Information Theory in the Benelux, 209-216, 2009
52009
Programmable enforcement framework of information flow policies.
M Ngo, F Massacci
ICTCS, 197-211, 2014
22014
Scheduler-related confidentiality for multi-threaded programs
M Huisman, TM Ngo
9th International Workshop on Security Issues in Concurrency (SecCo), 2011
22011
Confidentiality and Integrity for IoT/Mobile Networks
TN Minh
Recent Trends in Communication Networks, 2019
12019
Secure Information Flow for IoT Applications
TM Ngo, V Nguyen-Duy-Nhat
REV Journal on Electronics and Communications 9 (3-4), 2020
2020
The Optimal MMSE Transceiver Design for IoT-oriented Cognitive Radio Systems
NDN Vien, T Ngo Minh, T Vu Van
Journal of Advances in Computer Engineering and Technology 5 (3), 149-158, 2019
2019
A Tool to Compute the Leakage of Multi-threaded Programs
TM Ngo, QT Duong
Modern Approaches for Intelligent Information and Database Systems, 527-537, 2018
2018
Security check for multi-threaded programs
TM Ngo, T Van Nguyen
2016 IEEE Sixth International Conference on Communications and Electronics …, 2016
2016
Verification of Confidentiality of Multi-threaded Programs
NM Tri
The system can't perform the operation now. Try again later.
Articles 1–17