Tahina Ramananandro - Concepedia

Author

Tahina Ramananandro

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

Also Known As

Green, Harrison, Ramananandro, Tahina, Tahina Ramananandro

Publications

874

Citations

H-Index

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numérique Microsoft (United States)Yale University Microsoft Research (India)Microsoft Research (United Kingdom)

About

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.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	19	693
2	Computer Science	14	19	693
3	Computer Engineering	11	11	520
4	Systems Engineering	3	3	230
5	Data Science	1	1	12

Tahina Ramananandro

Publications

760

Citations

H-Index

Page 1

	Year	Citations
Deep Specifications and Certified Abstraction Layers Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	2014	149
Verified low-level programming embedded in F* Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Proceedings of the ACM on Programming Languages Program CheckingEngineeringCompiler TechnologyVerificationComputer-aided Verification	2017	98
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Atop EvercryptCryptographic PrimitiveEngineeringInformation SecurityVerification	2020	75
Certified concurrent abstraction layers Ronghui Gu, Zhong Shao, Jieung Kim, EngineeringVerificationComputer ArchitectureConcurrent SystemSoftware Analysis	2018	68
End-to-end verification of stack-space bounds for C programs Quentin Carbonneaux, Jan Hoffmann, Tahina Ramananandro, Program CheckingEngineeringVerificationComputer-aided VerificationSoftware Engineering	2014	50
<i>Mondex</i> , an electronic purse: specification and refinement checks with the <i>Alloy</i> model-finding method Tahina Ramananandro Formal Aspects of Computing	2007	38
Deep Specifications and Certified Abstraction Layers Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, ACM SIGPLAN Notices EngineeringVerificationComputer ArchitectureSoftware EngineeringSoftware Analysis	2015	33
A unified Coq framework for verifying C programs with floating-point computations Tahina Ramananandro, P.D. Mountcastle, Benoît Meister, Program CheckingEngineeringVerificationComputer ArchitectureComputer-aided Verification	2016	24
A monadic framework for relational verification: applied to information security, program equivalence, and optimizations Niklas Grimm, Kenji Maillard, Cédric Fournet, Monadic FrameworkProgram CheckingEngineeringInformation SecurityVerification	2018	22
EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Cryptographic PrimitiveEngineeringInformation SecurityInformation ForensicsCryptographic Protocol	2019	22

Page 1