Michael Stay

Publication Activity (10 Years)

Years Active: 2000-2022
Publications (10 Years): 6

Top Topics

Malicious Users

Operational Semantics

Recursive Functions

State Transitions

Top Venues

IACR Cryptol. ePrint Arch.

Publications

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