Measurability and the baire property at higher levels. - Adam Krawczyk; Marian Srebrny (Math. Log. Q., 1990)

A complete axiomatization of a first-order temporal logic over trace systems. - Wojciech Penczek; Marian Srebrny (Partial Order Methods in Verification, 1996)

First-Order Specifications of Programmable Data Types. - Grazyna Mirkowska; Andrzej Salwicki; Marian Srebrny; Andrzej Tarlecki (SIAM J. Comput., 2000)

Distributed Password. - Wojciech Dobrzanski; Artur Soroczuk; Marian Srebrny; Mateusz Srebrny (ACS, 2001)

Specification of timed authentication protocols with colored Petri nets. - Gizela Jakubowska; Marian Srebrny (ACS, 2001)

A Combinatorial Algorithm for Sharing a Key. - Zbigniew Lonc; Marian Srebrny (ACS, 2001)

A Quantifier-free First-order Knowledge Logic of Authentication. - Miroslaw Kurkowski; Marian Srebrny (Fundam. Informaticae, 2006)

A Propositional Programming Environment for Linear Algebra. - Marian Srebrny; Lidia Stepien (Fundam. Informaticae, 2007)

SAT as a Programming Environment for Linear Algebra and Cryptanalysis. - Marian Srebrny; Mateusz Srebrny; Lidia Stepien (ISAIM, 2008)

Statistical Strength of a Hybrid Cryptosystem on 2-D Cellular Automata with Nonaffine Rotations. - Marian Srebrny; Piotr Such (KES-AMSTA, 2009)

SAT as a Programming Environment for Linear Algebra. - Marian Srebrny; Lidia Stepien (Fundam. Informaticae, 2010)

Towards Parallel Direct SAT-Based Cryptanalysis. - Pawel Dudek; Miroslaw Kurkowski; Marian Srebrny (PPAM (1), 2011)

Remarks on the Classical Threshold Secret Sharing Schemes. - Stanislaw Spiez; Marian Srebrny; Jerzy Urbanowicz (Fundam. Informaticae, 2012)

Security margin evaluation of SHA-3 contest finalists through SAT-based attacks. - Ekawat Homsirikamol; Pawel Morawiecki; Marcin Rogawski; Marian Srebrny (IACR Cryptol. ePrint Arch., 2012)

Rotational cryptanalysis of round-reduced Keccak. - Pawel Morawiecki; Josef Pieprzyk; Marian Srebrny (IACR Cryptol. ePrint Arch., 2012)

Modern Cryptography Primer - Theoretical Foundations and Practical Applications. - Czeslaw Koscielny; Miroslaw Kurkowski; Marian Srebrny (Springer, 2013)

Preimage attacks on the round-reduced Keccak with the aid of differential cryptanalysis. - Pawel Morawiecki; Josef Pieprzyk; Marian Srebrny; Michal Straus (IACR Cryptol. ePrint Arch., 2013)

A SAT-based preimage analysis of reduced Keccak hash functions. - Pawel Morawiecki; Marian Srebrny (Inf. Process. Lett., 2013)

Practical Complexity Cube Attacks on Round-Reduced Keccak Sponge Function. - Itai Dinur; Pawel Morawiecki; Josef Pieprzyk; Marian Srebrny; Michal Straus (IACR Cryptol. ePrint Arch., 2014)

Cube Attacks and Cube-attack-like Cryptanalysis on the Round-reduced Keccak Sponge Function. - Itai Dinur; Pawel Morawiecki; Josef Pieprzyk; Marian Srebrny; Michal Straus (IACR Cryptol. ePrint Arch., 2014)

ICEPOLE: High-speed, Hardware-oriented Authenticated Encryption. - Pawel Morawiecki; Kris Gaj; Ekawat Homsirikamol; Krystian Matusiewicz; Josef Pieprzyk; Marcin Rogawski; Marian Srebrny; Marcin Wójcik (IACR Cryptol. ePrint Arch., 2014)

Applications of Key Recovery Cube-attack-like. - Pawel Morawiecki; Josef Pieprzyk; Michal Straus; Marian Srebrny (IACR Cryptol. ePrint Arch., 2015)