Andrew Tolmach

23 papers A* 4A 2B 5Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2024 B conf
Defining and Preserving More C Behaviors: Verified Compilation Using a Concrete Memory Model.
ITP
Andrew Tolmach, Chris Chhak, Sean Noble Anderson
2024 J jnl
Pipe-Cleaner: Flexible Fuzzing Using Security Policies.
CoRR
Allison Naaktgeboren, Sean Noble Anderson, Andrew Tolmach, Greg Sullivan
2024 A* conf
SECOMP: Formally Secure Compilation of Compartmentalized C Programs.
CCS
Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach
2024 J jnl
SECOMP: Formally Secure Compilation of Compartmentalized C Programs.
CoRR
Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach
2023 — conf
Eelco Visser: The Oregon Connection.
Eelco Visser Commemorative Symposium
Andrew Tolmach
2023 B conf
Flexible Runtime Security Enforcement with Tagged C.
RV
Sean Noble Anderson, Allison Naaktgeboren, Andrew Tolmach
2023 A conf
Formalizing Stack Safety as a Security Property.
CSF
Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach
2021 J jnl
Security Properties for Stack Safety.
CoRR
Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, Andrew Tolmach
2021 B conf
Towards formally verified compilation of tag-based policy enforcement.
CPP
Chris Chhak, Andrew Tolmach, Sean Noble Anderson
2020 J jnl
Towards Formally Verified Compilation of Tag-Based Policy Enforcement.
CoRR
Chris Chhak, Andrew Tolmach, Sean Noble Anderson
2019 B ed.
10th International Conference on Interactive Theorem Proving, ITP 2019, Portland, OR, USA, September 9-12, 2019
ITP
John Harrison, John O'Leary, Andrew Tolmach
2019 A conf
Scopes and Frames Improve Meta-Interpreter Specialization.
ECOOP
Vlad A. Vergu, Andrew Tolmach, Eelco Visser
2018 J jnl
Intrinsically-typed definitional interpreters for imperative languages.
Proc. ACM Program. Lang.
Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser
2018 A* conf
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.
CCS
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
2018 J jnl
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.
CoRR
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
2017 J jnl
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract).
CoRR
Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach
2016 J jnl
A verified information-flow architecture.
J. Comput. Secur.
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
2015 J jnl
A Verified Information-Flow Architecture.
CoRR
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
2015 A* conf
Micro-Policies: Formally Verified, Tag-Based Security Monitors.
IEEE Symposium on Security and Privacy
Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
2015 J jnl
Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components.
CoRR
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
2014 A* conf
A verified information-flow architecture.
POPL
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
2014 B conf
Suppl: A Flexible Language for Policies.
APLAS
Robert Dockins, Andrew Tolmach
2007 — conf
Writing systems software in a functional language: an experience report.
PLOS@SOSP
Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach