Nevin Heintze

Google Publications

Previous Publications

  •  

    A Core Calculus of Dependency

    Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke

    POPL (1999), pp. 147-160

  •  

    Cryptographic Postage Indicia

    J. D. Tygar, Bennet S. Yee, Nevin Heintze

    ASIAN (1996), pp. 378-391