Marian Srebrny

According to our database, Marian Srebrny authored at least 22 papers between 1990 and 2015.

Collaborative distances:

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

2015

Applications of Key Recovery Cube-attack-like.

Pawel Morawiecki, Josef Pieprzyk, Michal Straus, Marian Srebrny

IACR Cryptol. ePrint Arch., 2015

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

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

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

2013

A SAT-based preimage analysis of reduced Keccak hash functions.

Pawel Morawiecki, Marian Srebrny

Inf. Process. Lett., 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

Modern Cryptography Primer - Theoretical Foundations and Practical Applications.

Czeslaw Koscielny, Miroslaw Kurkowski, Marian Srebrny

Springer, ISBN: 978-3-642-41385-8, 2013

2012

Rotational cryptanalysis of round-reduced Keccak.

Pawel Morawiecki, Josef Pieprzyk, Marian Srebrny

IACR Cryptol. ePrint Arch., 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

Remarks on the Classical Threshold Secret Sharing Schemes.

Stanislaw Spiez, Marian Srebrny, Jerzy Urbanowicz

Fundam. Informaticae, 2012

2011

Towards Parallel Direct SAT-Based Cryptanalysis.

Pawel Dudek, Miroslaw Kurkowski, Marian Srebrny

Proceedings of the Parallel Processing and Applied Mathematics, 2011

2010

SAT as a Programming Environment for Linear Algebra.

Marian Srebrny, Lidia Stepien

Fundam. Informaticae, 2010

2009

Statistical Strength of a Hybrid Cryptosystem on 2-D Cellular Automata with Nonaffine Rotations.

Marian Srebrny, Piotr Such

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2009

2008

SAT as a Programming Environment for Linear Algebra and Cryptanalysis.

Marian Srebrny, Mateusz Srebrny, Lidia Stepien

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

2007

A Propositional Programming Environment for Linear Algebra.

Marian Srebrny, Lidia Stepien

Fundam. Informaticae, 2007

2006

A Quantifier-free First-order Knowledge Logic of Authentication.

Miroslaw Kurkowski, Marian Srebrny

Fundam. Informaticae, 2006

2001

A Combinatorial Algorithm for Sharing a Key.

Zbigniew Lonc, Marian Srebrny

Proceedings of the Advanced Computer Systems, Eighth International Conference, 2001

Specification of timed authentication protocols with colored Petri nets.

Gizela Jakubowska, Marian Srebrny

Proceedings of the Advanced Computer Systems, Eighth International Conference, 2001

Distributed Password.

Wojciech Dobrzanski, Artur Soroczuk, Marian Srebrny, Mateusz Srebrny

Proceedings of the Advanced Computer Systems, Eighth International Conference, 2001

2000

First-Order Specifications of Programmable Data Types.

Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki

SIAM J. Comput., 2000

1996

A complete axiomatization of a first-order temporal logic over trace systems.

Wojciech Penczek, Marian Srebrny

Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

1990

Measurability and the baire property at higher levels.

Adam Krawczyk, Marian Srebrny

Math. Log. Q., 1990