Alley Stoughton

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 9

Top Topics

Security Measures

Software Systems

Theorem Proving

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu
Formalizing Algorithmic Bounds in the Query Model in EasyCrypt. ITP (2022)
Alley Stoughton, Marco Vassena
PLAS'20: 15th Workshop on Programming Languages and Analysis for Security. CCS (2020)
José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub
Machine-Checked Proofs for Cryptographic Standards. IACR Cryptol. ePrint Arch. 2019 (2019)
José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. CCS (2019)
Ran Canetti, Alley Stoughton, Mayank Varia
EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security. IACR Cryptol. ePrint Arch. 2019 (2019)
Ran Canetti, Alley Stoughton, Mayank Varia
EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security. CSF (2019)
Alley Stoughton, Mayank Varia
Mechanizing the Proof of Adaptive, Information-Theoretic Security of Cryptographic Protocols in the Random Oracle Model. CSF (2017)
Jeffrey Hughes, Cassandra Sparks, Alley Stoughton, Rinku Parikh, Albert Reuther, Suresh Jagannathan
Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation. ACM SIGSOFT Softw. Eng. Notes 41 (1) (2016)
Jeffrey Hughes, Cassandra Sparks, Alley Stoughton, Rinku Parikh, Albert Reuther, Suresh Jagannathan
Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation. CoRR (2015)
Alley Stoughton, Andrew Johnson, Samuel Beller, Karishma Chadha, Dennis Chen, Kenneth Foner, Michael Zhivich
You Sank My Battleship!: A Case Study in Secure Programming. PLAS@ECOOP (2014)
Alley Stoughton
A functional model-view-controller software architecture for command-oriented programs. ICFP-WGP (2008)
Alley Stoughton
Experimenting with formal languages using forlan. FDPE@ICFP (2008)