{"id":12202,"date":"2019-01-02T11:00:55","date_gmt":"2019-01-02T16:00:55","guid":{"rendered":"https:\/\/www.bu.edu\/cs\/?post_type=profile&#038;p=12202"},"modified":"2026-05-07T12:02:06","modified_gmt":"2026-05-07T16:02:06","slug":"alley-stoughton","status":"publish","type":"profile","link":"https:\/\/www.bu.edu\/cs\/profiles\/alley-stoughton\/","title":{"rendered":"Alley Stoughton"},"content":{"rendered":"<p>Alley Stoughton is a Professor Emerita of the Department of Computer Science at Boston University.<\/p>\n<p>She has a background in programming language semantics, having received her doctorate in computer science from the University of Edinburgh in 1987.<\/p>\n<p>Current projects include:<\/p>\n<ul>\n<li>Mechanizing the proof of adaptive, information-theoretic security of cryptographic protocols in the random oracle model (joint work with Mayank Varia);<\/li>\n<li>Mechanizing Universally Composable Security (joint work with Ran Canetti, Assaf Kfoury and Mayank Varia);<\/li>\n<li>A formalization in EasyCrypt of the indifferentiability result for the SHA3 Secure Hash Algorithm standard (joint work with \u200bC\u00e9cile Baritel-Ruet, Gilles Barthe, Fran\u00e7ois Dupressoir, \u200bBenjamin Gr\u00e9goire and \u200bPierre-Yves Strub).<\/li>\n<\/ul>\n<h3><a href=\"https:\/\/alleystoughton.us\/\">Personal Website<\/a><\/h3>\n","protected":false},"author":1690,"template":"","_links":{"self":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile\/12202"}],"collection":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile"}],"about":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/types\/profile"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/users\/1690"}],"version-history":[{"count":9,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile\/12202\/revisions"}],"predecessor-version":[{"id":23305,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile\/12202\/revisions\/23305"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/media?parent=12202"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}