- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j6 |      | Pawel Morawiecki, Marian Srebrny: A SAT-based preimage analysis of reduced Keccak hash functions. Inf. Process. Lett. 113(10-11): 392-397 (2013) |
| 2012 | ||
| j5 | | Stanislaw Spiez, Marian Srebrny, Jerzy Urbanowicz: Remarks on the Classical Threshold Secret Sharing Schemes. Fundam. Inform. 114(3-4): 345-357 (2012) |
| c4 | | Ekawat Homsirikamol, Pawel Morawiecki, Marcin Rogawski, Marian Srebrny: Security Margin Evaluation of SHA-3 Contest Finalists through SAT-Based Attacks. CISIM 2012: 56-67 |
| i3 | | Ekawat Homsirikamol, Pawel Morawiecki, Marcin Rogawski, Marian Srebrny: Security margin evaluation of SHA-3 contest finalists through SAT-based attacks. IACR Cryptology ePrint Archive 2012: 421 (2012) |
| i2 | | Pawel Morawiecki, Josef Pieprzyk, Marian Srebrny: Rotational cryptanalysis of round-reduced Keccak. IACR Cryptology ePrint Archive 2012: 546 (2012) |
| 2011 | ||
| c3 | | Pawel Dudek, Miroslaw Kurkowski, Marian Srebrny: Towards Parallel Direct SAT-Based Cryptanalysis. PPAM (1) 2011: 266-275 |
| 2010 | ||
| j4 | | Marian Srebrny, Lidia Stepien: SAT as a Programming Environment for Linear Algebra. Fundam. Inform. 102(1): 115-127 (2010) |
| i1 | | Pawel Morawiecki, Marian Srebrny: A SAT-based preimage analysis of reduced KECCAK hash functions. IACR Cryptology ePrint Archive 2010: 285 (2010) |
| 2009 | ||
| c2 | | Marian Srebrny, Piotr Such: Statistical Strength of a Hybrid Cryptosystem on 2-D Cellular Automata with Nonaffine Rotations. KES-AMSTA 2009: 367-379 |
| 2008 | ||
| c1 | | Marian Srebrny, Mateusz Srebrny, Lidia Stepien: SAT as a Programming Environment for Linear Algebra and Cryptanalysis. ISAIM 2008 |
| 2007 | ||
| j3 | | Marian Srebrny, Lidia Stepien: A Propositional Programming Environment for Linear Algebra. Fundam. Inform. 81(1-3): 325-345 (2007) |
| 2006 | ||
| j2 | | Miroslaw Kurkowski, Marian Srebrny: A Quantifier-free First-order Knowledge Logic of Authentication. Fundam. Inform. 72(1-3): 263-282 (2006) |
| 2000 | ||
| j1 | | Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki: First-Order Specifications of Programmable Data Types. SIAM J. Comput. 30(6): 2084-2096 (2000) |
Colors in the list of coauthors
Last update Sun May 19 19:07:23 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page