Mike Stay

According to our database, Mike Stay authored at least 17 papers between 2000 and 2022.

Collaborative distances:

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

2022

VLSM: Validating Labelled State Transition and Message Production Systems.

Vlad Zamfir, Mihai Calancea, Denisa Diaconescu, Brandon M. Moore, Karl Palmskog, Traian-Florin Serbanuta, Michael Stay

CoRR, 2022

2021

Native Type Theory.

Christian Williams, Michael Stay

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

2020

A Differential Meet-in-the-Middle Attack on the Zip cipher.

Michael Stay

IACR Cryptol. ePrint Arch., 2020

2018

Casanova.

Kyle Butt, Derek Sorensen, Michael Stay

CoRR, 2018

2017

Representing operational semantics with enriched Lawvere theories.

Michael Stay, L. G. Meredith

CoRR, 2017

Name-free combinators for concurrency.

Lucius Gregory Meredith, Michael Stay

CoRR, 2017

2016

Logic as a distributive law.

Mike Stay, Lucius Gregory Meredith

CoRR, 2016

2015

Higher category models of the pi-calculus.

Mike Stay, Lucius Gregory Meredith

CoRR, 2015

2013

Bicategorical Semantics for Nondeterministic Computation.

Mike Stay, Jamie Vicary

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Policy as Types.

Lucius Gregory Meredith, Mike Stay, Sophia Drossopoulou

CoRR, 2013

2012

Algorithmic thermodynamics.

John C. Baez, Mike Stay

Math. Struct. Comput. Sci., 2012

2008

Most programs stop quickly or never halt.

Cristian S. Calude, Michael A. Stay

Adv. Appl. Math., 2008

2006

Natural halting probabilities, partial randomness, and zeta functions.

Cristian S. Calude, Michael Stay

Inf. Comput., 2006

2005

Very Simple Chaitin Machines for Concrete AIT.

Michael Stay

Fundam. Informaticae, 2005

2004

Inexpensive Linear-Optical Implementations of Deutsch's Algorithm.

Michael Stay

Bull. EATCS, 2004

2001

ZIP Attacks with Reduced Known Plaintext.

Michael Stay

Proceedings of the Fast Software Encryption, 8th International Workshop, 2001

2000

Improved Cryptanalysis of Rijndael.

Niels Ferguson, John Kelsey, Stefan Lucks, Bruce Schneier, Michael Stay, David A. Wagner, Doug Whiting

Proceedings of the Fast Software Encryption, 7th International Workshop, 2000