Logical relations for encryption 1 E Sumii, BC Pierce Journal of Computer Security 11 (4), 521-554, 2003 | 94 | 2003 |

Environmental bisimulations for higher-order languages D Sangiorgi, N Kobayashi, E Sumii ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (1), 1-69, 2011 | 92 | 2011 |

Environmental bisimulations for higher-order languages D Sangiorgi, N Kobayashi, E Sumii 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 293-302, 2007 | 91 | 2007 |

A bisimulation for dynamic sealing E Sumii, BC Pierce Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004 | 72 | 2004 |

A bisimulation for type abstraction and recursion E Sumii, BC Pierce ACM SIGPLAN Notices 40 (1), 63-74, 2005 | 71 | 2005 |

A bisimulation for type abstraction and recursion E Sumii, BC Pierce Journal of the ACM (JACM) 54 (5), 26-es, 2007 | 66 | 2007 |

A bisimulation for dynamic sealing E Sumii, BC Pierce Theoretical Computer Science 375 (1-3), 169-192, 2007 | 66 | 2007 |

An implicitly-typed deadlock-free process calculus N Kobayashi, S Saito, E Sumii International Conference on Concurrency Theory, 489-504, 2000 | 58 | 2000 |

Fail-safe ANSI-C compiler: an approach to making C programs secure progress report Y Oiwa, T Sekiguchi, E Sumii, A Yonezawa International Symposium on Software Security, 133-153, 2002 | 55 | 2002 |

A generalized deadlock-free process calculus E Sumii, N Kobayashi Electronic Notes in Theoretical Computer Science 16 (3), 225-247, 1998 | 48 | 1998 |

A Complete Characterization of Observational Equivalence in Polymorphic *λ*-Calculus with General ReferencesE Sumii International Workshop on Computer Science Logic, 455-469, 2009 | 45 | 2009 |

A hybrid approach to online and offline partial evaluation E Sumii, N Kobayashi Higher-Order and Symbolic Computation 14 (2-3), 101-142, 2001 | 40 | 2001 |

Regular expression types for strings in a text processing language N Tabuchi, E Sumii, A Yonezawa Electronic Notes in Theoretical Computer Science 75, 95-113, 2003 | 38 | 2003 |

From applicative to environmental bisimulation V Koutavas, PB Levy, E Sumii Electronic Notes in Theoretical Computer Science 276, 215-235, 2011 | 36 | 2011 |

Supporting objects in run-time bytecode specialization R Affeldt, H Masuhara, E Sumii, A Yonezawa Proceedings of the ASIAN symposium on Partial evaluation and semantics-based …, 2002 | 33 | 2002 |

Relating cryptography and polymorphism B Pierce, E Sumii Available from the authors, 2000 | 27 | 2000 |

An implementation of transparent migration on standard Scheme E Sumii Proceedings of the Workshop on Scheme and Functional Programming, Technical …, 2000 | 22 | 2000 |

Online-and-offline partial evaluation (extended abstract) a mixed approach E Sumii, N Kobayashi Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and …, 1999 | 17 | 1999 |

Logical bisimulations and functional languages D Sangiorgi, N Kobayashi, E Sumii International Conference on Fundamentals of Software Engineering, 364-379, 2007 | 16 | 2007 |

Sound bisimulations for higher-order distributed process calculus A Piérard, E Sumii International Conference on Foundations of Software Science and …, 2011 | 15 | 2011 |