Minh Ngo

13 papers A* 2C 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Visual-Information-Based Forwarding Mechanism Incorporating Travel-Route-Aware Design in NDN-Based VANETs.
IEEE Access
Minh Ngo, Satoshi Ohzahata, Ryo Yamamoto
2025 J jnl
ZCLS: A Lifecycle Strategy for Efficient ZK-Rollup Circuit Optimization in Circom.
IEEE Access
Khoa Tan Vo, Minh Ngo, Thu Nguyen, Thu-Thuy Ta, Mong-Thy Nguyen-Thi, Hong-Tri Nguyen, Tu-Anh Nguyen-Hoang
2023 J jnl
An Algebra of Alignment for Relational Verification.
Proc. ACM Program. Lang.
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo
2022 J jnl
An algebra of alignment for relational verification.
CoRR
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo
2020 C conf
Type-Based Declassification for Free.
ICFEM
Minh Ngo, David A. Naumann, Tamara Rezk
2019 J jnl
Typed-based Relaxed Noninterference for Free.
CoRR
Minh Ngo, David A. Naumann, Tamara Rezk
2019 — conf
Whither Specifications as Programs.
UTP
David A. Naumann, Minh Ngo
2018 — conf
A Better Facet of Dynamic Information Flow Control.
WWW (Companion Volume)
Minh Ngo, Nataliia Bielova, Cormac Flanagan, Tamara Rezk, Alejandro Russo, Thomas Schmitz
2018 A* conf
Impossibility of Precise and Sound Termination-Sensitive Security Enforcements.
IEEE Symposium on Security and Privacy
Minh Ngo, Frank Piessens, Tamara Rezk
2015 A* conf
Runtime Enforcement of Security Policies on Black Box Reactive Programs.
POPL
Minh Ngo, Fabio Massacci, Dimiter Milushev, Frank Piessens
2014 — conf
Programmable enforcement framework of information flow policies.
ICTCS
Minh Ngo, Fabio Massacci
2013 J jnl
MAP-REDUCE Runtime Enforcement of Information Flow Policies
CoRR
Minh Ngo, Fabio Massacci, Olga Gadyatskaya
2009 — ch.
Program Mining Augmented with Empirical Properties.
Encyclopedia of Data Warehousing and Mining
Minh Ngo