Alley Stoughton
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2008–2022
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ITP | Formalizing Algorithmic Bounds in the Query Model in EasyCrypt. | Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu |
| 2020 | CCS | PLAS'20: 15th Workshop on Programming Languages and Analysis for Security. | Alley Stoughton, Marco Vassena |
| 2019 | CCS | Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. | Jos Bacelar Almeida, Ccile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, Franois Dupressoir, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub |
| 2014 | ECOOP | You Sank My Battleship!: A Case Study in Secure Programming. | Alley Stoughton, Andrew Johnson, Samuel Beller, Karishma Chadha, Dennis Chen, Kenneth Foner, Michael Zhivich |
| 2008 | ICFP | A functional model-view-controller software architecture for command-oriented programs. | Alley Stoughton |
| 2008 | ICFP | Experimenting with formal languages using forlan. | Alley Stoughton |