Follow
Andrey Chudnov
Andrey Chudnov
D. E. Shaw & Co, L.P.
Verified email at chudnov.com
Title
Cited by
Cited by
Year
Lightweight self-protecting JavaScript
PH Phung, D Sands, A Chudnov
Proceedings of the 4th International Symposium on Information, Computer, and …, 2009
1942009
Information flow monitor inlining
A Chudnov, DA Naumann
2010 23rd IEEE Computer Security Foundations Symposium, 200-214, 2010
1022010
Tracking information flow in dynamic tree structures
A Russo, A Sabelfeld, A Chudnov
Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009
1012009
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
712018
Inlined information flow monitoring for JavaScript
A Chudnov, DA Naumann
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015
672015
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
332014
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
102018
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
62017
Low-overhead software transformation to enforce information security policies
D Naumann, A Chudnov, A Nogin, P Sylla
US Patent 10,904,291, 2021
42021
Inlined Information Flow Monitoring for Web Applications in JavaScript
A Chudnov
Stevens Institute of Technology, 2016
12016
Inlined Information Flow Monitoring for Web Applications in JavaScript Dissertation
A Chudnov
2017
The system can't perform the operation now. Try again later.
Articles 1–11