Marian Srebrny

27 papers A* 1A 1Misc 1Journal 15Unranked 8
YearRankTypeTitle / Venue / Authors
2015 J jnl
Applications of Key Recovery Cube-attack-like.
IACR Cryptol. ePrint Arch.
Pawel Morawiecki, Josef Pieprzyk, Michal Straus, Marian Srebrny
2015 — conf
Cube Attacks and Cube-Attack-Like Cryptanalysis on the Round-Reduced Keccak Sponge Function.
EUROCRYPT (1)
Itai Dinur, Pawel Morawiecki, Josef Pieprzyk, Marian Srebrny, Michal Straus
2014 J jnl
Cube Attacks and Cube-attack-like Cryptanalysis on the Round-reduced Keccak Sponge Function.
IACR Cryptol. ePrint Arch.
Itai Dinur, Pawel Morawiecki, Josef Pieprzyk, Marian Srebrny, Michal Straus
2014 A conf
ICEPOLE: High-Speed, Hardware-Oriented Authenticated Encryption.
CHES
Pawel Morawiecki, Kris Gaj, Ekawat Homsirikamol, Krystian Matusiewicz, Josef Pieprzyk, Marcin Rogawski, Marian Srebrny, Marcin Wójcik
2014 J jnl
ICEPOLE: High-speed, Hardware-oriented Authenticated Encryption.
IACR Cryptol. ePrint Arch.
Pawel Morawiecki, Kris Gaj, Ekawat Homsirikamol, Krystian Matusiewicz, Josef Pieprzyk, Marcin Rogawski, Marian Srebrny, Marcin Wójcik
2014 J jnl
Practical Complexity Cube Attacks on Round-Reduced Keccak Sponge Function.
IACR Cryptol. ePrint Arch.
Itai Dinur, Pawel Morawiecki, Josef Pieprzyk, Marian Srebrny, Michal Straus
2013 J jnl
A SAT-based preimage analysis of reduced Keccak hash functions.
Inf. Process. Lett.
Pawel Morawiecki, Marian Srebrny
2013 — book
Modern Cryptography Primer - Theoretical Foundations and Practical Applications.
Czeslaw Koscielny, Miroslaw Kurkowski, Marian Srebrny
2013 J jnl
Preimage attacks on the round-reduced Keccak with the aid of differential cryptanalysis.
IACR Cryptol. ePrint Arch.
Pawel Morawiecki, Josef Pieprzyk, Marian Srebrny, Michal Straus
2013 A* conf
Rotational Cryptanalysis of Round-Reduced Keccak.
FSE
Pawel Morawiecki, Josef Pieprzyk, Marian Srebrny
2012 J jnl
Remarks on the Classical Threshold Secret Sharing Schemes.
Fundam. Informaticae
Stanislaw Spiez, Marian Srebrny, Jerzy Urbanowicz
2012 J jnl
Rotational cryptanalysis of round-reduced Keccak.
IACR Cryptol. ePrint Arch.
Pawel Morawiecki, Josef Pieprzyk, Marian Srebrny
2012 — conf
Security Margin Evaluation of SHA-3 Contest Finalists through SAT-Based Attacks.
CISIM
Ekawat Homsirikamol, Pawel Morawiecki, Marcin Rogawski, Marian Srebrny
2012 J jnl
Security margin evaluation of SHA-3 contest finalists through SAT-based attacks.
IACR Cryptol. ePrint Arch.
Ekawat Homsirikamol, Pawel Morawiecki, Marcin Rogawski, Marian Srebrny
2011 — conf
Towards Parallel Direct SAT-Based Cryptanalysis.
PPAM (1)
Pawel Dudek, Miroslaw Kurkowski, Marian Srebrny
2010 J jnl
A SAT-based preimage analysis of reduced KECCAK hash functions.
IACR Cryptol. ePrint Arch.
Pawel Morawiecki, Marian Srebrny
2010 J jnl
SAT as a Programming Environment for Linear Algebra.
Fundam. Informaticae
Marian Srebrny, Lidia Stepien
2009 — conf
Statistical Strength of a Hybrid Cryptosystem on 2-D Cellular Automata with Nonaffine Rotations.
KES-AMSTA
Marian Srebrny, Piotr Such
2008 Misc conf
SAT as a Programming Environment for Linear Algebra and Cryptanalysis.
ISAIM
Marian Srebrny, Mateusz Srebrny, Lidia Stepien
2007 J jnl
A Propositional Programming Environment for Linear Algebra.
Fundam. Informaticae
Marian Srebrny, Lidia Stepien
2006 J jnl
A Quantifier-free First-order Knowledge Logic of Authentication.
Fundam. Informaticae
Miroslaw Kurkowski, Marian Srebrny
2001 — conf
A Combinatorial Algorithm for Sharing a Key.
ACS
Zbigniew Lonc, Marian Srebrny
2001 — conf
Distributed Password.
ACS
Wojciech Dobrzanski, Artur Soroczuk, Marian Srebrny, Mateusz Srebrny
2001 — conf
Specification of timed authentication protocols with colored Petri nets.
ACS
Gizela Jakubowska, Marian Srebrny
2000 J jnl
First-Order Specifications of Programmable Data Types.
SIAM J. Comput.
Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki
1996 — conf
A complete axiomatization of a first-order temporal logic over trace systems.
Partial Order Methods in Verification
Wojciech Penczek, Marian Srebrny
1990 J jnl
Measurability and the baire property at higher levels.
Math. Log. Q.
Adam Krawczyk, Marian Srebrny