Alley Stoughton

13 papers A* 2A 2B 1Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2022 B conf
Formalizing Algorithmic Bounds in the Query Model in EasyCrypt.
ITP
Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu
2020 A* conf
PLAS'20: 15th Workshop on Programming Languages and Analysis for Security.
CCS
Alley Stoughton, Marco Vassena
2020 — ed.
PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020
PLAS@CCS
Alley Stoughton, Marco Vassena
2019 A conf
EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security.
CSF
Ran Canetti, Alley Stoughton, Mayank Varia
2019 J jnl
EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security.
IACR Cryptol. ePrint Arch.
Ran Canetti, Alley Stoughton, Mayank Varia
2019 J jnl
Machine-Checked Proofs for Cryptographic Standards.
IACR Cryptol. ePrint Arch.
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
2019 A* conf
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3.
CCS
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
2017 A conf
Mechanizing the Proof of Adaptive, Information-Theoretic Security of Cryptographic Protocols in the Random Oracle Model.
CSF
Alley Stoughton, Mayank Varia
2016 J jnl
Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation.
ACM SIGSOFT Softw. Eng. Notes
Jeffrey Hughes, Cassandra Sparks, Alley Stoughton, Rinku Parikh, Albert Reuther, Suresh Jagannathan
2015 J jnl
Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation.
CoRR
Jeffrey Hughes, Cassandra Sparks, Alley Stoughton, Rinku Parikh, Albert Reuther, Suresh Jagannathan
2014 — conf
You Sank My Battleship!: A Case Study in Secure Programming.
PLAS@ECOOP
Alley Stoughton, Andrew Johnson, Samuel Beller, Karishma Chadha, Dennis Chen, Kenneth Foner, Michael Zhivich
2008 — conf
A functional model-view-controller software architecture for command-oriented programs.
ICFP-WGP
Alley Stoughton
2008 — conf
Experimenting with formal languages using forlan.
FDPE@ICFP
Alley Stoughton