Alley Stoughton
发表
Alley Stoughton,
2008,
FDPE '08.
Alley Stoughton,
Douglas Stott Parker,
Gerald J. Popek,
1981,
Berkeley Workshop.
Alley Stoughton,
2012
.
Alley Stoughton,
Kenneth Foner,
Michael Zhivich,
2014,
PLAS@ECOOP.
Alley Stoughton,
2008,
WGP '08.
Alley Stoughton,
1981,
1981 IEEE Symposium on Security and Privacy.
Alley Stoughton,
2001,
Scottish Functional Programming Workshop.
Alley Stoughton,
Douglas Stott Parker,
Gerald J. Popek,
1983,
IEEE Transactions on Software Engineering.
Ran Canetti,
Alley Stoughton,
Mayank Varia,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Alley Stoughton,
Alley Stoughton,
1990,
Mathematical Foundations of Programming Semantics.
Suresh Jagannathan,
Alley Stoughton,
Albert Reuther,
2016,
ACM SIGSOFT Softw. Eng. Notes.
Pierre-Yves Strub,
Alley Stoughton,
Manuel Barbosa,
2019,
CCS.
Alley Stoughton,
2020
.
Alley Stoughton,
1991,
Theor. Comput. Sci..
Pierre-Yves Strub,
Alley Stoughton,
Manuel Barbosa,
2019,
IACR Cryptol. ePrint Arch..
Alley Stoughton,
Achim Jung,
Alley Stoughton,
1993,
TLCA.
Alley Stoughton,
Christian Haack,
Joe B. Wells,
2002,
AMAST.
Suresh Jagannathan,
Alley Stoughton,
Albert Reuther,
2015
.
Alley Stoughton,
1993,
MFPS.
Alley Stoughton,
Marco Vassena,
2020,
CCS.
Alley Stoughton,
Alley Stoughton,
1988,
Theor. Comput. Sci..
Alley Stoughton,
Alley Stoughton,
1986,
Research Notes in Theoretical Computer Science.
Alley Stoughton,
Alley Stoughton,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Alley Stoughton,
Mayank Varia,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Alley Stoughton,
1997,
Electron. Notes Theor. Comput. Sci..