Minh Ngo

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 7

Top Topics

Database Language

Statistical Relational Learning

Information Flow

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

Publications

Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo
An Algebra of Alignment for Relational Verification. Proc. ACM Program. Lang. 7 (POPL) (2023)
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo
An algebra of alignment for relational verification. CoRR (2022)
Minh Ngo, David A. Naumann, Tamara Rezk
Type-Based Declassification for Free. ICFEM (2020)
Minh Ngo, David A. Naumann, Tamara Rezk
Typed-based Relaxed Noninterference for Free. CoRR (2019)
David A. Naumann, Minh Ngo
Whither Specifications as Programs. UTP (2019)
Minh Ngo, Frank Piessens, Tamara Rezk
Impossibility of Precise and Sound Termination-Sensitive Security Enforcements. IEEE Symposium on Security and Privacy (2018)
Minh Ngo, Nataliia Bielova, Cormac Flanagan, Tamara Rezk, Alejandro Russo, Thomas Schmitz
A Better Facet of Dynamic Information Flow Control. WWW (Companion Volume) (2018)
Minh Ngo, Fabio Massacci, Dimiter Milushev, Frank Piessens
Runtime Enforcement of Security Policies on Black Box Reactive Programs. POPL (2015)
Minh Ngo, Fabio Massacci
Programmable enforcement framework of information flow policies. ICTCS (2014)
Minh Ngo, Fabio Massacci, Olga Gadyatskaya
MAP-REDUCE Runtime Enforcement of Information Flow Policies CoRR (2013)