Andrey Chudnov

According to our database, Andrey Chudnov authored at least 8 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies.

Andrey Chudnov, David A. Naumann

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

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

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Spartan Jester: End-to-End Information Flow Control for Hybrid Android Applications.

Julian Sexton, Andrey Chudnov, David A. Naumann

Proceedings of the 2017 IEEE Security and Privacy Workshops, 2017

2015

Inlined Information Flow Monitoring for JavaScript.

Andrey Chudnov, David A. Naumann

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Information Flow Monitoring as Abstract Interpretation for Relational Logic.

Andrey Chudnov, George Kuan, David A. Naumann

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2010

Information Flow Monitor Inlining.

Andrey Chudnov, David A. Naumann

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009

Tracking Information Flow in Dynamic Tree Structures.

Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov

Proceedings of the Computer Security, 2009

Lightweight self-protecting JavaScript.

Phu H. Phung, David Sands, Andrey Chudnov

Proceedings of the 2009 ACM Symposium on Information, 2009