Concepedia

Aymeric Fromherz

AF

Statistics

Publications

5

Citations

172

H-Index

5

Active since

2019

Affiliations

Carnegie Mellon University(Current)

Microsoft (United States)

Institut national de recherche en sciences et technologies du numérique

Microsoft Research (United Kingdom)

Microsoft Research (India)

Aymeric Fromherz is an author at Carnegie Mellon University specializing in computing, computer science, and programming languages.

Publications per year

2019–2021

5

Publications

5

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz et al. · 2020 · 75 citations · Full text

Computing, Computer Engineering, Computer Science +17

A verified, efficient embedding of a verifiable assembly language

Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel et al. · Proceedings of the ACM on Programming Languages · 2019 · 35 citations · Full text

Computing, Computer Engineering, Computer Science +13

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs

Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz et al. · Proceedings of the ACM on Programming Languages · 2020 · 26 citations · Full text

Computing, Computer Science, Formal Methods +16

HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)

Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko et al. · 2020 · 19 citations · Full text

Computing, Computer Engineering, Computer Science +17

Steel: proof-oriented programming in a dependently typed concurrent separation logic

Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy et al. · Proceedings of the ACM on Programming Languages · 2021 · 17 citations · Full text

Computing, Computer Science, Formal Methods +16

1–5 of 5