Andrey Chudnov

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 3

Top Topics

Information Flows

Relational Operators

Object Oriented Databases

Abstract Interpretation

Top Venues

IEEE Symposium on Security and Privacy Workshops

Publications

Andrey Chudnov, David A. Naumann
Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies. CSF (2018)
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
Continuous Formal Verification of Amazon s2n. CAV (2) (2018)
Julian Sexton, Andrey Chudnov, David A. Naumann
Spartan Jester: End-to-End Information Flow Control for Hybrid Android Applications. IEEE Symposium on Security and Privacy Workshops (2017)
Andrey Chudnov, David A. Naumann
Inlined Information Flow Monitoring for JavaScript. CCS (2015)
Andrey Chudnov, George Kuan, David A. Naumann
Information Flow Monitoring as Abstract Interpretation for Relational Logic. CSF (2014)
Andrey Chudnov, David A. Naumann
Information Flow Monitor Inlining. CSF (2010)
Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov
Tracking Information Flow in Dynamic Tree Structures. ESORICS (2009)
Phu H. Phung, David Sands, Andrey Chudnov
Lightweight self-protecting JavaScript. AsiaCCS (2009)