Tahina Ramananandro
发表
Nikhil Swamy,
Chris Hawblitzel,
Rustan Leino,
2017,
SNAPL.
Nikhil Swamy,
Cédric Fournet,
Karthikeyan Bhargavan,
2017,
Proc. ACM Program. Lang..
Nikhil Swamy,
Cédric Fournet,
Kenji Maillard,
2018
.
Nikhil Swamy,
Chris Hawblitzel,
Catalin Hritcu,
2018,
ArXiv.
Tahina Ramananandro,
T. Ramananandro,
2012
.
Tahina Ramananandro,
Muthu Manikandan Baskaran,
Richard Lethin,
2016,
2016 IEEE High Performance Extreme Computing Conference (HPEC).
Nikhil Swamy,
Tahina Ramananandro,
Aseem Rastogi,
2020
.
Nikhil Swamy,
Cédric Fournet,
Antoine Delignat-Lavaud,
2019,
USENIX Security Symposium.
Xavier Leroy,
Tahina Ramananandro,
Gabriel Dos Reis,
2012,
POPL '12.
Yi Zhou,
Cédric Fournet,
Bryan Parno,
2020,
2021 IEEE Symposium on Security and Privacy (SP).
Mondex, an electronic purse: specification and refinement checks with the Alloy model-finding method
Tahina Ramananandro,
T. Ramananandro,
2007,
Formal Aspects of Computing.
Zhong Shao,
Tahina Ramananandro,
Jan Hoffmann,
2014,
PLDI.
Zaynah Dargaye,
Tahina Ramananandro,
Jean-Baptiste Tristan,
2007
.
Zhong Shao,
Tahina Ramananandro,
Ronghui Gu,
2018,
PLDI.
Xavier Leroy,
Tahina Ramananandro,
Gabriel Dos Reis,
2011,
POPL '11.
Yu Guo,
Zhong Shao,
Tahina Ramananandro,
2015,
POPL.
Tahina Ramananandro,
Richard Lethin,
Paul Mountcastle,
2016,
CPP.
Nikhil Swamy,
Cédric Fournet,
Catalin Hritcu,
2017,
CPP.
Zhong Shao,
Yuchen Fu,
Tahina Ramananandro,
2015,
CPP.
Nikhil Swamy,
Chris Hawblitzel,
Catalin Hritcu,
2018,
1803.06547.
Nikhil Swamy,
Chris Hawblitzel,
Cédric Fournet,
2020,
2020 IEEE Symposium on Security and Privacy (SP).
Nikhil Swamy,
Tahina Ramananandro,
Aseem Rastogi,
2021,
Artifact Digital Object Group.
Nikhil Swamy,
Tahina Ramananandro,
Aseem Rastogi,
2021,
Proc. ACM Program. Lang..
Srinath T. V. Setty,
Badrish Chandramouli,
Johannes Gehrke,
2021,
SIGMOD Conference.