Tahina Ramananandro

Publications

760

Citations

H-Index

2007

Active since

Affiliations

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

Microsoft (United States)

Yale University

Microsoft Research (India)

Microsoft Research (United Kingdom)

Tahina Ramananandro is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, software analysis, and formal verification.

ORCID

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal VerificationFormal MethodsProgram AnalysisVerificationSystem SoftwareComputer EngineeringFormal Specification

Publications per year

2007–2022

Publications

Deep Specifications and Certified Abstraction Layers

Ronghui Gu, Jérémie Koenig, Tahina Ramananandro et al. · 2014 · 149 citations

Engineering, Verification, Software Engineering +21

Verified low-level programming embedded in F*

Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi et al. · Proceedings of the ACM on Programming Languages · 2017 · 98 citations · Full text

Program Checking, Engineering, Compiler Technology +21

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

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

Atop Evercrypt, Cryptographic Primitive, Engineering +19

Certified concurrent abstraction layers

Ronghui Gu, Zhong Shao, Jieung Kim et al. · 2018 · 68 citations · Full text

Engineering, Verification, Computer Architecture +19

End-to-end verification of stack-space bounds for C programs

Quentin Carbonneaux, Jan Hoffmann, Tahina Ramananandro et al. · 2014 · 50 citations

Program Checking, Engineering, Verification +19

Rows per page

1–5 of 22