Concepedia

Marian Srebrny

MS

Statistics

Publications

6

Citations

121

H-Index

6

Active since

1974

Affiliations

Polish Academy of Sciences(Current)

Institute of Computer Science

Marian Srebrny is an author at Polish Academy of Sciences specializing in engineering, computer science, and data security.

Top concepts

EngineeringCryptographyData SecurityComputer ScienceFormal MethodsHardware SecurityFormal VerificationCosmologyDark EnergyVerification

Publications per year

1974–2014

6

Publications

6

A SAT-based preimage analysis of reduced Keccak hash functions

Paweł Morawiecki, Marian Srebrny · Information Processing Letters · 2013 · 56 citations

Hash Function, Sat Solving, Boolean Function +1

Gaps in the contructable universe

W. Marek, Marian Srebrny · Annals of Mathematical Logic · 1974 · 17 citations

Engineering, Cosmology, Set-theoretic Topology +3

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

Paweł Morawiecki, Marian Srebrny · IACR Cryptology ePrint Archive · 2010 · 13 citations

Hardware Security, Keccak Hash Functions, Engineering +15

A Quantifier-free First-order Knowledge Logic of Authentication

Mirosław Kurkowski, Marian Srebrny · Fundamenta Informaticae · 2006 · 12 citations

New Logic, Engineering, Automated Reasoning +12

Practical Complexity Cube Attacks on Round-Reduced Keccak Sponge Function.

Itai Dinur, Paweł Morawiecki, Josef Pieprzyk et al. · IACR Cryptology ePrint Archive · 2014 · 12 citations

Hardware Security, Cryptographic Primitive, Engineering +12

1–5 of 6