Andrew Tolmach

Portland State University — United States

Computer Science · Physical Sciences

22h-index1.6kcitations76works0.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(41), Security and Verification in Computing(26), Parallel Computing and Optimization Techniques(24), Formal Methods in Verification(17), Advanced Malware Detection Techniques(16)

Publications76 total

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
2024· 1 citedOpen Access
Pipe-Cleaner: Flexible Fuzzing Using Security Policies
arXiv (Cornell University)·2024Open Access
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
arXiv (Cornell University)·2024Open Access
Formalizing Stack Safety as a Security Property
2023· 3 citedOpen Access
Flexible Runtime Security Enforcement with Tagged C
Lecture notes in computer science·2023· 1 cited
Security Properties for Stack Safety.
arXiv (Cornell University)·2021Open Access
Formalizing Stack Safety as a Security Property
arXiv (Cornell University)·2021Open Access
Towards formally verified compilation of tag-based policy enforcement
2021Open Access
Scopes and Frames Improve Meta-Interpreter Specialization
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2019Open Access
When Good Components Go Bad
2018· 31 citedOpen Access
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
arXiv (Cornell University)·2018· 9 citedOpen Access
Intrinsically-Typed Definitional Interpreters for Imperative Languages
Symposium on Principles of Programming Languages·2018· 7 cited
Intrinsically-typed definitional interpreters for imperative languages
Proceedings of the ACM on Programming Languages·2017· 43 citedOpen Access
Formally Secure Compilation of Unsafe Low-Level Components (Extended\n Abstract)
arXiv (Cornell University)·2017Open Access
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract)
arXiv (Cornell University)·2017· 1 citedOpen Access
A verified information-flow architecture
Journal of Computer Security·2016· 14 cited
A constraint language for static semantic analysis based on scope graphs
2016· 4 citedOpen Access
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2016Open Access
Scopes Describe Frames : A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)
European Conference on Object-Oriented Programming·2016
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2016· 9 citedOpen Access
page 1 of 4Next →

Frequent Co-authors

Eelco Visser(9), Arthur Azevedo de Amorim(9), Cătălin Hriţcu(9), Benjamin C. Pierce(9), Sergio Antoy(6), Pierre Néron(5), Thomas Hallgren(4), Mark P. Jones(4), Rebekah Leslie(4), Andrew W. Appel(4), Guido Wachsmuth(4), Simon Peyton Jones(3), Nathan Collins(3), André DeHon(3), Delphine Demange(3), David Pichardie(3), Randy Pollack(3), Casper Bach Poulsen(3), Roberto Blanco(3), Ana Nora Evans(3)