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
1832009
Information flow monitor inlining
A Chudnov, DA Naumann
2010 23rd IEEE Computer Security Foundations Symposium, 200-214, 2010
972010
Tracking information flow in dynamic tree structures
A Russo, A Sabelfeld, A Chudnov
European Symposium on Research in Computer Security, 86-103, 2009
962009
Inlined information flow monitoring for JavaScript
A Chudnov, DA Naumann
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015
582015
Continuous formal verification of Amazon s2n
A Chudnov, N Collins, B Cook, J Dodds, B Huffman, C MacCárthaigh, ...
International Conference on Computer Aided Verification, 430-446, 2018
542018
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
312014
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
82018
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
Inlined Information Flow Monitoring for Web Applications in JavaScript
A Chudnov
Stevens Institute of Technology, 2016
12016
Low-overhead software transformation to enforce information security policies
D Naumann, A Chudnov, A Nogin, P Sylla
US Patent 10,904,291, 2021
2021
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