Marian Srebrny

发表

Cryptographic Applications for Network Security

Czesław Kościelny, Mirosław Kurkowski, Marian Srebrny, 2013 .

Encryption using two-dimensional cellular automata with applications

Marian Srebrny, Piotr Such, 2003 .

Basic Concepts and Historical Overview

Czesław Kościelny, Mirosław Kurkowski, Marian Srebrny, 2013 .

Remarks on the Classical Threshold Secret Sharing Schemes

Marian Srebrny, Stanislaw Spiez, Jerzy Urbanowicz, 2012, Fundam. Informaticae.

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

Marian Srebrny, Piotr Such, 2009, KES-AMSTA.

Distributed Password

Marian Srebrny, Wojciech Dobrzanski, Artur Soroczuk, 2001, ACS.

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

Wojciech Penczek, Marian Srebrny, W. Penczek, 1997, Partial Order Methods in Verification.

Practical Complexity Cube Attacks on Round-Reduced Keccak Sponge Function

Marian Srebrny, Josef Pieprzyk, Itai Dinur, 2014, IACR Cryptol. ePrint Arch..

An Electronic Signature and Hash Functions

Czesław Kościelny, Mirosław Kurkowski, Marian Srebrny, 2013 .

Preimage attacks on the round-reduced Keccak with the aid of differential cryptanalysis

Marian Srebrny, Josef Pieprzyk, Pawel Morawiecki, 2013, IACR Cryptol. ePrint Arch..

A Propositional Programming Environment for Linear Algebra

Marian Srebrny, Lidia Stepien, 2007, Fundam. Informaticae.

Applications of Key Recovery Cube-attack-like

Marian Srebrny, Josef Pieprzyk, Pawel Morawiecki, 2015, IACR Cryptol. ePrint Arch..

Towards Parallel Direct SAT-Based Cryptanalysis

Marian Srebrny, Miroslaw Kurkowski, Pawel Dudek, 2011, PPAM.

Foundations of Asymmetric Cryptography

Czesław Kościelny, Mirosław Kurkowski, Marian Srebrny, 2013 .

Cryptographic Hardware and Embedded Systems – CHES 2016

Marian Srebrny, Kris Gaj, Pawel Morawiecki, 2016, Lecture Notes in Computer Science.

A Combinatorial Algorithm for Sharing a Key

Marian Srebrny, Zbigniew Lonc, 2001, ACS.

Modern Cryptography Primer: Theoretical Foundations and Practical Applications

Marian Srebrny, Mirosław Kurkowski, Czeslaw Koscielny, 2013 .

Specification of timed authentication protocols with colored Petri nets

Marian Srebrny, Gizela Jakubowska, 2001, ACS.

First-Order Specifications of Programmable Data Types

Marian Srebrny, Grazyna Mirkowska, Andrzej Tarlecki, 2000, SIAM J. Comput..

Rotational Cryptanalysis of Round-Reduced Keccak

Marian Srebrny, Josef Pieprzyk, Pawel Morawiecki, 2013, FSE.

Cube Attacks and Cube-Attack-Like Cryptanalysis on the Round-Reduced Keccak Sponge Function

Marian Srebrny, Josef Pieprzyk, Itai Dinur, 2015, EUROCRYPT.

PGP Systems and TrueCrypt

Czesław Kościelny, Mirosław Kurkowski, Marian Srebrny, 2013 .

A Quantifier-free First-order Knowledge Logic of Authentication

Marian Srebrny, Miroslaw Kurkowski, 2006, Fundam. Informaticae.

Mathematical Foundations of Cryptography

Czesław Kościelny, Mirosław Kurkowski, Marian Srebrny, 2013 .

ICEPOLE: High-speed, Hardware-oriented Authenticated Encryption

Marian Srebrny, Marcin Wójcik, Kris Gaj, 2014, IACR Cryptol. ePrint Arch..

Foundations of Symmetric Cryptography

Czesław Kościelny, Mirosław Kurkowski, Marian Srebrny, 2013 .

Security margin evaluation of SHA-3 contest finalists through SAT-based attacks

Marian Srebrny, Pawel Morawiecki, Ekawat Homsirikamol, 2012, IACR Cryptol. ePrint Arch..

Modern Cryptography Primer

Marian Srebrny, Miroslaw Kurkowski, Czeslaw Koscielny, 2013, Springer Berlin Heidelberg.

A SAT-based preimage analysis of reduced Keccak hash functions

Marian Srebrny, Pawel Morawiecki, P. Morawiecki, 2013, Inf. Process. Lett..

SAT as a Programming Environment for Linear Algebra and Cryptanalysis

Marian Srebrny, Lidia Stepien, L. Stepien, 2008, ISAIM.

Set theory and hierarchy theory V : Bierutowice, Poland, 1976

Marian Srebrny, A. Lachlan, Andrzej Zarach, 1977 .

Public Key Infrastructure

Czesław Kościelny, Marian Srebrny, Mirosław Kurkowski, 2013 .

Set Theory and Hierarchy Theory V

Marian Srebrny, Andrzej Zarach, Alistair Lachlan, 1977 .

Verifying Security Protocols with Timestamps via Translation to Timed Automata ⋆

Wojciech Penczek, Marian Srebrny, Gizela Jakubowska, 2005 .