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
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
152013
Single image haze removal from image enhancement perspective for real-time vision-based systems
D Ngo, S Lee, QH Nguyen, TM Ngo, GD Lee, B Kang
Sensors 20 (18), 5170, 2020
142020
Effective verification of confidentiality for multi-threaded programs
TM Ngo, M Stoelinga, M Huisman
Journal of computer security 22 (2), 269-300, 2014
142014
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
MT Ngo
92014
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
Confidentiality and integrity for IoT/mobile networks
T Minh
Recent Trends in Communication Networks, 2019
22019
Scheduler-related confidentiality for multi-threaded programs
M Huisman, TM Ngo
9th International Workshop on Security Issues in Concurrency (SecCo), 2011
22011
Visibility Restoration: A Systematic Review and Meta-Analysis
D Ngo, S Lee, TM Ngo, GD Lee, B Kang
Sensors 21 (8), 2625, 2021
12021
Measurement of current magnitude for home appliances using smart e-meter
T Trung-Tin, P Xuan-Trung, N Minh-Tri, JW Kim
Proceedings of KIIT Conference, 279-283, 2015
12015
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), 161-168, 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
The system can't perform the operation now. Try again later.
Articles 1–17