Lightweight self-protecting JavaScript. - Phu H. Phung; David Sands 001; Andrey Chudnov (AsiaCCS, 2009)

Tracking Information Flow in Dynamic Tree Structures. - Alejandro Russo; Andrei Sabelfeld; Andrey Chudnov (ESORICS, 2009)

Information Flow Monitor Inlining. - Andrey Chudnov; David A. Naumann (CSF, 2010)

Information Flow Monitoring as Abstract Interpretation for Relational Logic. - Andrey Chudnov; George Kuan; David A. Naumann (CSF, 2014)

Inlined Information Flow Monitoring for JavaScript. - Andrey Chudnov; David A. Naumann (CCS, 2015)

Spartan Jester: End-to-End Information Flow Control for Hybrid Android Applications. - Julian Sexton; Andrey Chudnov; David A. Naumann (IEEE Symposium on Security and Privacy Workshops, 2017)

Continuous Formal Verification of Amazon s2n. - Andrey Chudnov; Nathan Collins; Byron Cook; Joey Dodds; Brian Huffman; Colm MacCárthaigh; Stephen Magill; Eric Mertens; Eric Mullen; Serdar Tasiran; Aaron Tomb; Eddy Westbrook (CAV (2), 2018)

Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies. - Andrey Chudnov; David A. Naumann (CSF, 2018)