Michael Stay

14 papers A* 2Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2022 J jnl
VLSM: Validating Labelled State Transition and Message Production Systems.
CoRR
Vlad Zamfir, Mihai Calancea, Denisa Diaconescu, Brandon M. Moore, Karl Palmskog, Traian-Florin Serbanuta, Michael Stay
2021 — conf
Native Type Theory.
ACT
Christian Williams, Michael Stay
2020 J jnl
A Differential Meet-in-the-Middle Attack on the Zip cipher.
IACR Cryptol. ePrint Arch.
Michael Stay
2018 J jnl
Casanova.
CoRR
Kyle Butt, Derek Sorensen, Michael Stay
2017 J jnl
Name-free combinators for concurrency.
CoRR
Lucius Gregory Meredith, Michael Stay
2017 J jnl
Representing operational semantics with enriched Lawvere theories.
CoRR
Michael Stay, L. G. Meredith
2006 J jnl
Most Programs Stop Quickly or Never Halt
CoRR
Cristian S. Calude, Michael Stay
2006 J jnl
Natural Halting Probabilities, Partial Randomness, and Zeta Functions
CoRR
Cristian S. Calude, Michael Stay
2006 J jnl
Natural halting probabilities, partial randomness, and zeta functions.
Inf. Comput.
Cristian S. Calude, Michael Stay
2005 J jnl
Very Simple Chaitin Machines for Concrete AIT
CoRR
Michael Stay
2005 J jnl
Very Simple Chaitin Machines for Concrete AIT.
Fundam. Informaticae
Michael Stay
2004 J jnl
Inexpensive Linear-Optical Implementations of Deutsch's Algorithm.
Bull. EATCS
Michael Stay
2001 A* conf
ZIP Attacks with Reduced Known Plaintext.
FSE
Michael Stay
2000 A* conf
Improved Cryptanalysis of Rijndael.
FSE
Niels Ferguson, John Kelsey, Stefan Lucks, Bruce Schneier, Michael Stay, David A. Wagner, Doug Whiting