Public key for Ethan L. Miller (elm@cs.ucsc.edu) -----BEGIN PGP PUBLIC KEY BLOCK----- Version: GnuPG v1.4.7 (Darwin) mQGiBDhe1hARBAD8+DWaoZiXz2xczQJPgCkT0jf3QjjGJu3v/N36fRgnd/NfjL1Y OhImRgVCF9UOFosWQYEZ5vqLNFIo1TaoxlSC1mRkrrqkNailpRNBwW7tsLVbjFAu Ms9DG5RoraAGWc+oWZXJPXZKjg+1Kv3RQd04bZLQBWyGYFAW2yej2m+UfwCg/2j2 7T4KSp3wAUQ4OIxDEs7x0FsEALfxydHKYwvWZW/WO5Z+VmJgxzm2DCRaxC1OuPpv K8JYqnKEFkx6OjVKvQ7iZprq1XSp5sjh5gyUWAG/YxHjQEdKhYCNBBwxSwuP8tJs V4JhwpvIZTZiq82vQEpoWtpR8aC60dpVrojlCmxWFn/6SC4S/CQ8dnHTgtF36POC MfwnA/9ZzjHUNHmhuQQdPCD4VIyXu3HShysBWwz6aE32p+qHtgI0th8wh7VQdqwm mvddrMHvelgP2jh34adm2/x4Z+FwN9HYnX8+pl2KbBYdxmd1h0dF09GoG2xzraJ/ CHDJn08hqxRmJZdnTjinU6rlaygCyEYvjkOfelj4nflCGkbecbQhRXRoYW4gTC4g TWlsbGVyIDxlbG1AY3MudWNzYy5lZHU+iGUEExECACUCGwMECwcDAgMVAgMDFgIB Ah4BAheAAhkBBQJHuDjMBQkROpYyAAoJEC6/EnOm7WoJiHoAoJyt1cIyjmYMnXoJ 3VbLv8L8PFvOAJ93zKTWkXaUihpWUvnMDFFay9vMtbQiRXRoYW4gTC4gTWlsbGVy IDxlbG1AY3NlLnVjc2MuZWR1PohiBBMRAgAiAhsDBAsHAwIDFQIDAxYCAQIeAQIX gAUCR7g40AUJETqWMgAKCRAuvxJzpu1qCRS7AKD+WbsbS3pizM0salhA8FdFbOFe BQCfXEK2Ekl86mP5flOMYMq5c1sMpYS0IkV0aGFuIEwuIE1pbGxlciA8ZWxtQHNv ZS51Y3NjLmVkdT6IYgQTEQIAIgIbAwQLBwMCAxUCAwMWAgECHgECF4AFAke4ONAF CRE6ljIACgkQLr8Sc6btagliVQCbBGsX5OuEniA6dIfY9Bn6FLDUPaIAnAhp0VEn Ut323fE6DtjbwUYvRHZ6tCNFdGhhbiBMLiBNaWxsZXIgPGVsbUBjc2VlLnVtYmMu ZWR1PohiBBMRAgAiAhsDBAsHAwIDFQIDAxYCAQIeAQIXgAUCR7g40AUJETqWMgAK CRAuvxJzpu1qCewpAJ9WXC+VI4sazkJkTrpAIxTXiReHgQCeNcG9A7/BxxtR45fY VB+gUB7C1sS0J0V0aGFuIEwuIE1pbGxlciA8ZXRoYW5taWxsZXJAeWFob28uY29t PohiBBMRAgAiAhsDBAsHAwIDFQIDAxYCAQIeAQIXgAUCR7g40AUJETqWMgAKCRAu vxJzpu1qCS6mAKDgkPYHbZJYb/uNwUp0Uk9iMeYgZACdEbRxlGCeqkrZE3ctgrK8 /R2pj160HUV0aGFuIEwuIE1pbGxlciA8ZWxtQGFjbS5vcmc+iGIEExECACICGwME CwcDAgMVAgMDFgIBAh4BAheABQJD4UNjBQkNY6DQAAoJEC6/EnOm7WoJJRYAn1Sr RpUEUIpdudZTCI/T6nhI7vmXAJ9pWtvNhfKIJZu5U1HzH8eImNUCHIhiBBMRAgAi AhsDBAsHAwIDFQIDAxYCAQIeAQIXgAUCR7g40AUJETqWMgAKCRAuvxJzpu1qCT1m AJ49FqW/h4irwepkqxBcup4Opgo7VACZAa6bw6qS+nHWEu48nHoSaNChGMK0HUV0 aGFuIEwuIE1pbGxlciA8ZWxtQG1hYy5jb20+iGIEExECACICGwMECwcDAgMVAgMD FgIBAh4BAheABQJHuDjQBQkROpYyAAoJEC6/EnOm7WoJx0IAoKdR7hmea9TWq5Oq l+OQGGd4xsMIAJ9Y56guNnqPybXPT319oWPN2pYBYLQjRXRoYW4gTC4gTWlsbGVy IDxlbG1AY2F0cy51Y3NjLmVkdT6IYgQTEQIAIgIbAwQLBwMCAxUCAwMWAgECHgEC F4AFAke4ONAFCRE6ljIACgkQLr8Sc6btagneGQCfaGDr42sJuplQ0mWWkwoWy5HO 5oAAnRxsjVvYJO2hTDJwTrSz1edC8ZlPtCVFdGhhbiBMLiBNaWxsZXIgPGVsbUBl dGhhbm1pbGxlci5jb20+iGIEExECACICGwMECwcDAgMVAgMDFgIBAh4BAheABQJH uDjQBQkROpYyAAoJEC6/EnOm7WoJxq8AoKfySQ9Ee1ShNco11iGrp7IRxufHAJ0U nSHr9ZD9QcwurVOjH7lpGa4llLQMRXRoYW4gTWlsbGVyiGIEExECACICGwMECwcD AgMVAgMDFgIBAh4BAheABQJHuDjQBQkROpYyAAoJEC6/EnOm7WoJYRcAn3q4q3ff Hexy5YQhpNn4plRn6XrnAJ4tsnKMaVAAslnNNn6+1oRz32gbybQPRXRoYW4gTC4g TWlsbGVyiGIEExECACICGwMECwcDAgMVAgMDFgIBAh4BAheABQJHuDjQBQkROpYy AAoJEC6/EnOm7WoJlxMAn0mfUFm31L9jakubyjnSO6b03qhYAKCwYZ1wwwuvG2zN AeRJt5s5aDGSy7QeRXRoYW4gTC4gTWlsbGVyIDxlbG1AdWNzYy5lZHU+iGQEExEC ACQCGwMGCwkIBwMCAxUCAwMWAgECHgECF4AFAke4ONAFCRE6ljIACgkQLr8Sc6bt agmd8wCdH5XmjHr+fjxMenBlE+i+kmTr17QAn0a7+ipM6pst6LHaEi0Kwwd4h+NQ tCZFdGhhbiBMLiBNaWxsZXIgPGVsbUBhbHVtbmkuYnJvd24uZWR1PohkBBMRAgAk AhsDBgsJCAcDAgMVAgMDFgIBAh4BAheABQJHuDjQBQkROpYyAAoJEC6/EnOm7WoJ ypAAoPKvaQovNZofI5pQ7pFKAeubppyVAJ4oEa9FC8+L9fIWeQuPvsdz1wLfP7kE DQQ4XtYQEBAA+RigfloGYXpDkJXcBWyHhuxh7M1FHw7Y4KN5xsncegus5D/jRpS2 MEpT13wCFkiAtRXlKZmpnwd00//jocWWIE6YZbjYDe4QXau2FxxR2FDKIldDKb6V 6FYrOHhcC9v4TE3V46pGzPvOF+gqnRRh44SpT9GDhKh5tu+Pp0NGCMbMHXdXJDhK 4sTw6I4TZ5dOkhNh9tvrJQ4X/faY98h8ebByHTh1+/bBc8SDESYrQ2DD4+jWCv2h KCYLrqmus2UPogBTAaB81qujEh76DyrOH3SET8rzF/OkQOnX0ne2Qi0CNsEmy2he nXyYCQqNfi3t5F159dSST5sYjvwqp0t8MvZCV7cIfwgXcqK61qlC8wXo+VMROU+2 8W65Szgg2gGnVqMU6Y9AVfPQB8bLQ6mUrfdMZIZJ+AyDvWXpF9Sh01D49Vlf3HZS Tz09jdvOmeFXklnN/biudE/F/Ha8g8VHMGHOfMlm/xX5u/2RXscBqtNbno2gpXI6 1Brwv0YAWCvl9Ij9WE5J280gtJ3kkQc2azNsOA1FHQ98iLMcfFstjvbzySPAQ/Cl WxiNjrtVjLhdONM0/XwXV0OjHRhs3jMhLLUq/zzhsSlAGBGNfISnCnLWhsQDGcgH KXrKlQzZlp+r0ApQmwJG0wg9ZqRdQZ+cfL2JSyIZJrqrol7DVes91hcAAgIQALaV ewOBoc7U4iqpkmxXuNVsh+e1J0nc4eZ0ZWvNStr9kj6fcPSW+BGEp4uYhghYfSBE ox0QRbAC1rJUSbwIuNmVwEmJF0a9sSGLYMQ/RRyO3UQZrNqbiBISJndfHis2HoOw uHqi3dMFUvvNoc7gd46OZIND7LZdcEl5l+HwP7Ejk2DFazxfLDS/mmQahFQpSRo/ Y5DxmjUF6gOMHdKALl2SbwRxT1FlSgMThkgOmx98CdCh/lhYkZrxhAL+bJPWCnlB z/IrA2WiY8biCsGd7+KL5uQn9s9srKkcRiNCOu8/7uz/vfH5VrFt359bviTw7oxQ 86Vrd0P81/45JCKYCJjVEg3y7il2BW/Oup5M/vDaqoIlLzaVRFyQ2SKnv6xdKA/B 8bUjgoZapzhVwvd77cRtPq9T2xtmqUxWOgokYVIL7o91fGT9FEEuXt7itq8ozZeL eM0kO5XP1Qcz7jZNBBQnW1ZuEm06WdANoniXgyxcMeZ7aByG/eFfuvV+evKI+rnK 7BF5V2NXtJTajlwocV+vJinLm19dI2eaY93menWEKmkQ0N8ztl8Mzj8UB01o09wu lF3xKxtRqxbZ2Bqidax551zZepABW20r4NhvqGwzVWmqwwOEwRnyG3YzPcPvk589 TLjYmkRWwWwa85o5SgvVtupxHU+/pE1h9hGOhU5CiEYEGBECAAYFAjhe1hAACgkQ Lr8Sc6btaglwRACeOvKglnNRQ22iNQ0+lxeUzuu0q2kAnilskZ0uOHo4V29dRPU9 kM/09t+7 =LxRK -----END PGP PUBLIC KEY BLOCK-----