Andrew Tolmach

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 16

Top Topics

Information Flows

Extended Abstract

Policy Enforcement

Xquery Full Text

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

Eelco Visser Commemorative Symposium

Publications

Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach
SECOMP: Formally Secure Compilation of Compartmentalized C Programs. CoRR (2024)
Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach
Formalizing Stack Safety as a Security Property. CSF (2023)
Sean Anderson, Allison Naaktgeboren, Andrew Tolmach
Flexible Runtime Security Enforcement with Tagged C. RV (2023)
Andrew Tolmach
Eelco Visser: The Oregon Connection. Eelco Visser Commemorative Symposium (2023)
Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, Andrew Tolmach
Security Properties for Stack Safety. CoRR (2021)
C. H. R. Chhak, Andrew Tolmach, Sean Anderson
Towards formally verified compilation of tag-based policy enforcement. CPP (2021)
C. H. R. Chhak, Andrew Tolmach, Sean Anderson
Towards Formally Verified Compilation of Tag-Based Policy Enforcement. CoRR (2020)
Vlad A. Vergu, Andrew Tolmach, Eelco Visser
Scopes and Frames Improve Meta-Interpreter Specialization. ECOOP (2019)
Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser
Intrinsically-typed definitional interpreters for imperative languages. Proc. ACM Program. Lang. 2 (POPL) (2018)
Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CCS (2018)
Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Arthur Azevedo de Amorim, Ana Nora Evans, Carmine Abate, Roberto Blanco, Théo Laurent, Benjamin C. Pierce, Andrew Tolmach
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CoRR (2018)
Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract). CoRR (2017)
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
A verified information-flow architecture. J. Comput. Secur. 24 (6) (2016)
Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
Micro-Policies: Formally Verified, Tag-Based Security Monitors. IEEE Symposium on Security and Privacy (2015)
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
A Verified Information-Flow Architecture. CoRR (2015)
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components. CoRR (2015)
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
A verified information-flow architecture. POPL (2014)
Robert Dockins, Andrew Tolmach
Suppl: A Flexible Language for Policies. APLAS (2014)
Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach
Writing systems software in a functional language: an experience report. PLOS@SOSP (2007)