Mike Stay
Mike Stay
Google and University of Aukland
Verified email at google.com - Homepage
TitleCited byYear
Improved cryptanalysis of Rijndael
N Ferguson, J Kelsey, S Lucks, B Schneier, M Stay, D Wagner, D Whiting
International Workshop on Fast Software Encryption, 213-230, 2000
5452000
Physics, topology, logic and computation: a Rosetta Stone
J Baez, M Stay
New structures for physics, 95-172, 2010
2322010
Safe active content in sanitized JavaScript
MS Miller, M Samuel, B Laurie, I Awad, M Stay
Google, Inc., Tech. Rep, 2008
1582008
Most programs stop quickly or never halt
CS Calude, MA Stay
Advances in Applied Mathematics 40 (3), 295-308, 2008
672008
Natural halting probabilities, partial randomness, and zeta functions
CS Calude, MA Stay
Information and Computation 204 (11), 1718-1739, 2006
522006
From Heisenberg to Gödel via Chaitin
CS Calude, MA Stay
arXiv preprint quant-ph/0402197, 2004
472004
The Twofish team’s final comments on AES Selection
B Schneier, J Kelsey, D Whiting, D Wagner, C Hall, N Ferguson, T Kohno, ...
AES round 2 (1), 1-13, 2000
462000
Algorithmic thermodynamics
J Baez, M Stay
Mathematical Structures in Computer Science 22 (5), 771-787, 2012
412012
Compact closed bicategories
M Stay
Theory Appl. Categ 31 (26), 755-798, 2016
402016
From Heisenberg to Gödel via Chaitin
CS Calude, MA Stay
International Journal of Theoretical Physics 46 (8), 2013-2025, 2007
21*2007
ZIP attacks with reduced known plaintext
M Stay
International Workshop on Fast Software Encryption, 125-134, 2001
172001
Caja: Safe active content in sanitized JavaScript, 2008
MS Miller, M Samuel, B Laurie, I Awad, M Stay
Google white paper, 2009
142009
Bicategorical semantics for nondeterministic computation
M Stay, J Vicary
Electronic Notes in Theoretical Computer Science 298, 367-382, 2013
112013
Caja: Safe active content in sanitized JavaScript. Google
MS Miller, M Samuel, B Laurie, I Awad, M Stay
Inc., Tech. Rep, 2008
102008
Improved Cryptanalysis of Rijndael. FSE 2000, LNCS 1978
N Ferguson, J Kelsey, S Lucks, B Schneier, M Stay, D Wagner, D Whiting
Springer-Verlag, 2001
102001
Higher category models of the pi-calculus
M Stay, LG Meredith
arXiv preprint arXiv:1504.04311, 2015
82015
Caja: Safe active content in sanitized JavaScript.(June 2008)
MS Miller, M Samuel, B Laurie, I Awad, M Stay
72008
Very simple Chaitin machines for concrete AIT
M Stay
Fundamenta Informaticae 68 (3), 231-247, 2005
72005
Caja: Safe active content in sanitized javascript (January 2008)
MS Miller, M Samuel, B Laurie, I Awad, M Stay
7
Caja: Safe active content in sanitized javascript, May 2008
MS Miller, M Samuel, B Laurie, I Awad, M Stay
7
The system can't perform the operation now. Try again later.
Articles 1–20