(untitled)
Karthikeyan Bhargavan(State Key Laboratory of Cryptology), Jean-Karim Zinzindohoué(State Key Laboratory of Cryptology), Laure Thompson(Microsoft Research (United Kingdom)), Rustan Leino(Microsoft Research (United Kingdom)), Barry Bond(Microsoft Research (United Kingdom)), Nikhil Swamy(Hemwati Nandan Bahuguna Garhwal University), Jianyang Pan(State Key Laboratory of Cryptology), Bryan Parno(Carnegie Mellon University), Jonathan Protzenko(Microsoft Research (United Kingdom)), Samin Ishtiaq(Microsoft Research (United Kingdom)), Jay Lorch(Microsoft (United States)), Markulf Kohlweiss(University of Edinburgh), Tahina Ramananandro(Microsoft Research (United Kingdom)), Kenji Maillard(State Key Laboratory of Cryptology), Santiago Zanella-Béguelin(Microsoft (United Kingdom)), Peng Wang(Singapore University of Technology and Design), Aseem Rastogi(Microsoft Research (India)), Cătălin Hriţcu(State Key Laboratory of Cryptology), Cédric Fournet(Microsoft Research (United Kingdom)), Ashay Rane(Microsoft Research (United Kingdom)), Antoine Delignat-Lavaud(Microsoft Research (United Kingdom)), Chris Hawblitzel(Microsoft Research (United Kingdom))
Cited by 43
Related Papers
Flicker
|Unknown|2008|646
Megakaryocytic Leukemia 1 Bridges Epigenetic Activation of NADPH Oxidase in Macrophages to Cardiac Ischemia-Reperfusion Injury
|Circulation|2018|102
A data-adaptive and dynamic segmentation index for whole matching on time series
|Proceedings of the VLDB Endowment|2013|99
Finding semantics in time series
|Unknown|2011|79
Susceptibility of Extended-Spectrum-β-Lactamase-Producing Enterobacteriaceae According to the New CLSI Breakpoints
|Journal of Clinical Microbiology|2011|60