Harding, J.; Lauridsen, F. M. Hyper-MacNeille completions of Heyting algebras. (English) Zbl 1484.06034 Stud. Log. 109, No. 5, 1119-1157 (2021). Reviewer: Keith Kearnes (Boulder) MSC: 06D20 06B23 06D15 PDFBibTeX XMLCite \textit{J. Harding} and \textit{F. M. Lauridsen}, Stud. Log. 109, No. 5, 1119--1157 (2021; Zbl 1484.06034) Full Text: DOI arXiv
Gil-Férez, José; Lauridsen, Frederik Möllerström; Metcalfe, George Integrally closed residuated lattices. (English) Zbl 1486.03114 Stud. Log. 108, No. 5, 1063-1086 (2020). MSC: 03G10 06F35 03F03 03F05 06F15 PDFBibTeX XMLCite \textit{J. Gil-Férez} et al., Stud. Log. 108, No. 5, 1063--1086 (2020; Zbl 1486.03114) Full Text: DOI arXiv
Lauridsen, Frederik M. Intermediate logics admitting a structural hypersequent calculus. (English) Zbl 1494.03069 Stud. Log. 107, No. 2, 247-282 (2019). MSC: 03B55 03F05 03F03 06D20 PDFBibTeX XMLCite \textit{F. M. Lauridsen}, Stud. Log. 107, No. 2, 247--282 (2019; Zbl 1494.03069) Full Text: DOI
Ashur, Tomer; Eichlseder, Maria; Lauridsen, Martin M.; Leurent, Gaëtan; Minaud, Brice; Rotella, Yann; Sasaki, Yu; Viguier, Benoît Cryptanalysis of MORUS. (English) Zbl 1446.94095 Peyrin, Thomas (ed.) et al., Advances in cryptology – ASIACRYPT 2018. 24th international conference on the theory and application of cryptology and information security, Brisbane, QLD, Australia, December 2–6, 2018. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11273, 35-64 (2018). MSC: 94A60 PDFBibTeX XMLCite \textit{T. Ashur} et al., Lect. Notes Comput. Sci. 11273, 35--64 (2018; Zbl 1446.94095) Full Text: DOI HAL
Bezhanishvili, Guram; Harding, John; Ilin, Julia; Lauridsen, Frederik Möllerström MacNeille transferability and stable classes of Heyting algebras. (English) Zbl 1472.06009 Algebra Univers. 79, No. 3, Paper No. 55, 21 p. (2018). MSC: 06D20 06B23 PDFBibTeX XMLCite \textit{G. Bezhanishvili} et al., Algebra Univers. 79, No. 3, Paper No. 55, 21 p. (2018; Zbl 1472.06009) Full Text: DOI
Bezhanishvili, Nick; Ghilardi, Silvio; Lauridsen, Frederik Möllerström One-step Heyting algebras and hypersequent calculi with the bounded proof property. (English) Zbl 1444.03101 J. Log. Comput. 27, No. 7, 2135-2169 (2017). MSC: 03B55 06D20 03F07 PDFBibTeX XMLCite \textit{N. Bezhanishvili} et al., J. Log. Comput. 27, No. 7, 2135--2169 (2017; Zbl 1444.03101) Full Text: DOI Link
Beierle, Christof; Jovanovic, Philipp; Lauridsen, Martin M.; Leander, Gregor; Rechberger, Christian Analyzing permutations for AES-like ciphers: understanding shiftrows. (English) Zbl 1382.94060 Nyberg, Kaisa (ed.), Topics in cryptology – CT-RSA 2015. The cryptographer’s track at the RSA conference 2015, San Francisco, CA, USA, April 20–24, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-16714-5/pbk; 978-3-319-16715-2/ebook). Lecture Notes in Computer Science 9048, 37-58 (2015). MSC: 94A60 PDFBibTeX XMLCite \textit{C. Beierle} et al., Lect. Notes Comput. Sci. 9048, 37--58 (2015; Zbl 1382.94060) Full Text: DOI
Lauridsen, Martin M.; Rechberger, Christian Linear distinguishers in the key-less setting: application to PRESENT. (English) Zbl 1367.94323 Leander, Gregor (ed.), Fast software encryption. 22nd international workshop, FSE 2015, Istanbul, Turkey, March 8–11, 2015. Revised selected papers. Berlin: Springer (ISBN 978-3-662-48115-8/pbk; 978-3-662-48116-5/ebook). Lecture Notes in Computer Science 9054, 217-240 (2015). MSC: 94A60 PDFBibTeX XMLCite \textit{M. M. Lauridsen} and \textit{C. Rechberger}, Lect. Notes Comput. Sci. 9054, 217--240 (2015; Zbl 1367.94323) Full Text: DOI
Tiessen, Tyge; Knudsen, Lars R.; Kölbl, Stefan; Lauridsen, Martin M. Security of the AES with a secret S-box. (English) Zbl 1367.94352 Leander, Gregor (ed.), Fast software encryption. 22nd international workshop, FSE 2015, Istanbul, Turkey, March 8–11, 2015. Revised selected papers. Berlin: Springer (ISBN 978-3-662-48115-8/pbk; 978-3-662-48116-5/ebook). Lecture Notes in Computer Science 9054, 175-189 (2015). MSC: 94A60 PDFBibTeX XMLCite \textit{T. Tiessen} et al., Lect. Notes Comput. Sci. 9054, 175--189 (2015; Zbl 1367.94352) Full Text: DOI
Bogdanov, Andrey; Lauridsen, Martin M.; Tischhauser, Elmar Comb to pipeline: fast software encryption revisited. (English) Zbl 1367.94303 Leander, Gregor (ed.), Fast software encryption. 22nd international workshop, FSE 2015, Istanbul, Turkey, March 8–11, 2015. Revised selected papers. Berlin: Springer (ISBN 978-3-662-48115-8/pbk; 978-3-662-48116-5/ebook). Lecture Notes in Computer Science 9054, 150-171 (2015). MSC: 94A60 PDFBibTeX XMLCite \textit{A. Bogdanov} et al., Lect. Notes Comput. Sci. 9054, 150--171 (2015; Zbl 1367.94303) Full Text: DOI
Bogdanov, Andrey; Dobraunig, Christoph; Eichlseder, Maria; Lauridsen, Martin M.; Mendel, Florian; Schläffer, Martin; Tischhauser, Elmar Key recovery attacks on recent authenticated ciphers. (English) Zbl 1370.94490 Aranha, F. (ed.) et al., Progress in cryptology – LATINCRYPT 2014. Third international conference on cryptology and information security in Latin America, Florianópolis, Brazil, September 17–19, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-16294-2/pbk; 978-3-319-16295-9/ebook). Lecture Notes in Computer Science 8895, 274-287 (2015). MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{A. Bogdanov} et al., Lect. Notes Comput. Sci. 8895, 274--287 (2015; Zbl 1370.94490) Full Text: DOI
Andersen, Jørgen Ellegaard; Gammelgaard, Niels Leth; Lauridsen, Magnus Roed Hitchin’s connection in metaplectic quantization. (English) Zbl 1253.53087 Quantum Topol. 3, No. 3-4, 327-357 (2012). Reviewer: Stefan Berceanu (Bucureşti) MSC: 53D50 32Q55 PDFBibTeX XMLCite \textit{J. E. Andersen} et al., Quantum Topol. 3, No. 3--4, 327--357 (2012; Zbl 1253.53087) Full Text: DOI arXiv
Alstrup, S.; Lauridsen, P. W.; Thorup, M. Generalized dominators for structured programs. (English) Zbl 0961.68021 Algorithmica 27, No. 3-4, 244-253 (2000). MSC: 68N01 68R10 PDFBibTeX XMLCite \textit{S. Alstrup} et al., Algorithmica 27, No. 3--4, 244--253 (2000; Zbl 0961.68021) Full Text: DOI
Alstrup, Stephen; Harel, Dov; Lauridsen, Peter W.; Thorup, Mikkel Dominators in linear time. (English) Zbl 0939.68158 SIAM J. Comput. 28, No. 6, 2117-2132 (1999). MSC: 68W05 68Q25 68N20 PDFBibTeX XMLCite \textit{S. Alstrup} et al., SIAM J. Comput. 28, No. 6, 2117--2132 (1999; Zbl 0939.68158) Full Text: DOI
Alstrup, Stephen; Lauridsen, Peter W.; Sommerlund, Peer; Thorup, Mikkel Finding cores of limited length. (English) Zbl 1517.68270 Dehne, Frank (ed.) et al., Algorithms and data structures. 5th international workshop, WADS ’97, Halifax, Nova Scotia, Canada, August 6–8, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1272, 45-54 (1997). MSC: 68R10 05C05 05C85 68W05 68W40 PDFBibTeX XMLCite \textit{S. Alstrup} et al., Lect. Notes Comput. Sci. 1272, 45--54 (1997; Zbl 1517.68270) Full Text: DOI
Alstrup, Stephen; Lauridsen, Peter W.; Thorup, Mikkel Generalized dominators for structured programs. (English) Zbl 1483.68070 Cousot, Radhia (ed.) et al., Static analysis. Third international symposium, SAS ’96, Aachen, Germany, September 24–26, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1145, 42-51 (1996). MSC: 68N30 68R10 68W05 PDFBibTeX XMLCite \textit{S. Alstrup} et al., Lect. Notes Comput. Sci. 1145, 42--51 (1996; Zbl 1483.68070) Full Text: DOI