Sean Noble Anderson

According to our database, Sean Noble Anderson authored at least 7 papers between 2021 and 2024.

Collaborative distances:

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

2024

Foundational Verification of Smart Contracts through Verified Compilation.

Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria A Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao

CoRR, 2024

Defining and Preserving More C Behaviors: Verified Compilation Using a Concrete Memory Model.

Andrew Tolmach, Chris Chhak, Sean Noble Anderson

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor.

Zhenyang Dai, Shuang Liu, Vilhelm Sjöberg, Xupeng Li, Yu Chen, Wenhao Wang, Yuekai Jia, Sean Noble Anderson, Laila Elbeheiry, Shubham Sondhi, Yu Zhang, Zhaozhong Ni, Shoumeng Yan, Ronghui Gu, Zhengyu He

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Flexible Runtime Security Enforcement with Tagged C.

Sean Noble Anderson, Allison Naaktgeboren, Andrew Tolmach

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Formalizing Stack Safety as a Security Property.

Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2021

Security Properties for Stack Safety.

Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, Andrew Tolmach

CoRR, 2021

Towards formally verified compilation of tag-based policy enforcement.

Chris Chhak, Andrew Tolmach, Sean Noble Anderson

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021