| Lightweight self-protecting JavaScript PH Phung, D Sands, A Chudnov Proceedings of the 4th International Symposium on Information, Computer, and …, 2009 | 197 | 2009 |
| Information flow monitor inlining A Chudnov, DA Naumann 2010 23rd IEEE Computer Security Foundations Symposium, 200-214, 2010 | 102 | 2010 |
| Tracking information flow in dynamic tree structures A Russo, A Sabelfeld, A Chudnov Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009 | 101 | 2009 |
| Continuous formal verification of Amazon s2n A Chudnov, N Collins, B Cook, J Dodds, B Huffman, C MacCárthaigh, ... Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 74 | 2018 |
| Inlined information flow monitoring for JavaScript A Chudnov, DA Naumann Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015 | 67 | 2015 |
| Information flow monitoring as abstract interpretation for relational logic A Chudnov, G Kuan, DA Naumann 2014 IEEE 27th Computer Security Foundations Symposium, 48-62, 2014 | 33 | 2014 |
| Assuming you know: Epistemic semantics of relational annotations for expressive flow policies A Chudnov, DA Naumann 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 189-203, 2018 | 10 | 2018 |
| Spartan Jester: end-to-end information flow control for hybrid Android applications J Sexton, A Chudnov, DA Naumann 2017 IEEE Security and Privacy Workshops (SPW), 157-162, 2017 | 6 | 2017 |
| Low-overhead software transformation to enforce information security policies D Naumann, A Chudnov, A Nogin, P Sylla US Patent 10,904,291, 2021 | 4 | 2021 |
| Inlined Information Flow Monitoring for Web Applications in JavaScript A Chudnov Stevens Institute of Technology, 2016 | 1 | 2016 |
| Inlined Information Flow Monitoring for Web Applications in JavaScript Dissertation A Chudnov | | 2017 |
David A. NaumannProfessor of Computer Science, Stevens Institute of TechnologyVerified email at cs.stevens.edu
