UCLA Secure Unix. - Gerald J. Popek; Mark Kampe; Charles S. Kline; Allen Stoughton; Michael Urban; Evelyn Walton (MARK, 1979)

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 (Berkeley Workshop, 1981)

Access Flow: A Protection Model which Integrates Access Control and Information Flow. - Allen Stoughton (S&P, 1981)

Testing the INRIA Ada formal definition: the USC-ISI formal semantics project. - Vittal Kini; David F. Martin; Allen Stoughton (AdaTEC Conference on Ada, 1982)

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)

Fully abstract models of programming languages. - Allen Stoughton (1986)

Fully abstract models of programming languages. - Allen Stoughton (Pitman, 1988)

Substitution Revisited. - Allen Stoughton (Theor. Comput. Sci., 1988)

Equationally Fully Abstract Models of PCF. - Allen Stoughton (Mathematical Foundations of Programming Semantics, 1989)

Parallel PCF Has a Unique Extensional Model - Allen Stoughton (LICS, 1991)

Interdefinability of Parallel Operations in PCF. - Allen Stoughton (Theor. Comput. Sci., 1991)

Mechanizing Logical Relations. - Allen Stoughton (MFPS, 1993)

Studying the Fully Abstract Model of PCF within its Continuous Function Model. - Achim Jung; Allen Stoughton (TLCA, 1993)

An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees. - Allen Stoughton (HOOTS, 1997)

Infinite Pretty-printing in eXene. - Allen Stoughton (Scottish Functional Programming Workshop, 2001)

Fully Automatic Adaptation of Software Components Based on Semantic Specifications. - Christian Haack; Brian Howard 001; Allen Stoughton; Joe B. Wells (AMAST, 2002)

A functional model-view-controller software architecture for command-oriented programs. - Alley Stoughton (ICFP-WGP, 2008)

Experimenting with formal languages using forlan. - Alley Stoughton (FDPE@ICFP, 2008)

You Sank My Battleship!: A Case Study in Secure Programming. - Alley Stoughton; Andrew Johnson 005; Samuel Beller; Karishma Chadha; Dennis Chen; Kenneth Foner; Michael Zhivich (PLAS@ECOOP, 2014)

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)

Mechanizing the Proof of Adaptive, Information-Theoretic Security of Cryptographic Protocols in the Random Oracle Model. - Alley Stoughton; Mayank Varia (CSF, 2017)

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 004; Alley Stoughton; Pierre-Yves Strub (CCS, 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 004; Alley Stoughton; Pierre-Yves Strub (IACR Cryptol. ePrint Arch., 2019)

EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security. - Ran Canetti; Alley Stoughton; Mayank Varia (IACR Cryptol. ePrint Arch., 2019)

PLAS'20: 15th Workshop on Programming Languages and Analysis for Security. - Alley Stoughton; Marco Vassena (CCS, 2020)

Formalizing Algorithmic Bounds in the Query Model in EasyCrypt. - Alley Stoughton; Carol Chen; Marco Gaboardi; Weihao Qu (ITP, 2022)