Alley Stoughton

According to our database, Alley Stoughton authored at least 26 papers between 1979 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Formalizing Algorithmic Bounds in the Query Model in EasyCrypt.

Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2020

PLAS'20: 15th Workshop on Programming Languages and Analysis for Security.

Alley Stoughton, Marco Vassena

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security.

Ran Canetti, Alley Stoughton, Mayank Varia

IACR Cryptol. ePrint Arch., 2019

Machine-Checked Proofs for Cryptographic Standards.

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

IACR Cryptol. ePrint Arch., 2019

Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3.

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

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2017

Mechanizing the Proof of Adaptive, Information-Theoretic Security of Cryptographic Protocols in the Random Oracle Model.

Alley Stoughton, Mayank Varia

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

Building Resource Adaptive Software Systems (BRASS): Objectives and System Evaluation.

Jeffrey Hughes, Cassandra Sparks, Alley Stoughton, Rinku Parikh, Albert Reuther, Suresh Jagannathan

ACM SIGSOFT Softw. Eng. Notes, 2016

2014

You Sank My Battleship!: A Case Study in Secure Programming.

Alley Stoughton, Andrew Johnson, Samuel Beller, Karishma Chadha, Dennis Chen, Kenneth Foner, Michael Zhivich

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014

2008

Experimenting with formal languages using forlan.

Alley Stoughton

Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

A functional model-view-controller software architecture for command-oriented programs.

Alley Stoughton

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2008

2002

Fully Automatic Adaptation of Software Components Based on Semantic Specifications.

Christian Haack, Brian Howard, Allen Stoughton, Joe B. Wells

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Infinite Pretty-printing in eXene.

Allen Stoughton

Proceedings of the Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), 2001

1997

An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees.

Allen Stoughton

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

1993

Studying the Fully Abstract Model of PCF within its Continuous Function Model.

Achim Jung, Allen Stoughton

Proceedings of the Typed Lambda Calculi and Applications, 1993

Mechanizing Logical Relations.

Allen Stoughton

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1991

Interdefinability of Parallel Operations in PCF.

Allen Stoughton

Theor. Comput. Sci., 1991

Parallel PCF Has a Unique Extensional Model

Allen Stoughton

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

1989

Equationally Fully Abstract Models of PCF.

Allen Stoughton

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

1988

Substitution Revisited.

Allen Stoughton

Theor. Comput. Sci., 1988

Fully abstract models of programming languages.

Allen Stoughton

Research Notes in Theoretical Computer Science, Pitman, ISBN: 978-0-273-08788-5, 1988

1986

Fully abstract models of programming languages.

Allen Stoughton

PhD thesis, 1986

1983

Detection of Mutual Inconsistency in Distributed Systems.

Douglas Stott Parker Jr., Gerald J. Popek, Gerard Rudisin, Allen Stoughton, Bruce J. Walker, Evelyn Walton, Johanna M. Chow, David A. Edwards, Stephen Kiser, Charles S. Kline

IEEE Trans. Software Eng., 1983

1982

Testing the INRIA Ada formal definition: the USC-ISI formal semantics project.

Vittal Kini, David F. Martin, Allen Stoughton

Proceedings of the AdaTEC Conference on Ada, 1982

1981

Access Flow: A Protection Model which Integrates Access Control and Information Flow.

Allen Stoughton

Proceedings of the 1981 IEEE Symposium on Security and Privacy, 1981

Detection of Mutual Inconsitency in Distributed Systems.

Douglas Stott Parker Jr., Gerald J. Popek, Gerard Rudisin, Allen Stoughton, Bruce J. Walker, Evelyn Walton, Johanna M. Chow, David A. Edwards, Stephen Kiser, Charles S. Kline

Proceedings of the Fifth Berkeley Workshop on Distributed Data Management and Computer Networks, 1981

1979

UCLA Secure Unix.

Gerald J. Popek, Mark Kampe, Charles S. Kline, Allen Stoughton, Michael Urban, Evelyn Walton

Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979