Marian Srebrny

Available identifiers

zbMath Open srebrny.marianMaRDI QIDQ396605

List of research outcomes

Publication	Date of Publication	Type
Cube Attacks and Cube-Attack-Like Cryptanalysis on the Round-Reduced Keccak Sponge Function	2015-09-30	Paper
Rotational Cryptanalysis of Round-Reduced Keccak	2015-09-18	Paper
ICEPOLE: High-Speed, Hardware-Oriented Authenticated Encryption	2015-07-21	Paper
A SAT-based preimage analysis of reduced \textsc{Keccak} hash functions	2014-08-13	Paper
Modern Cryptography Primer	2013-12-06	Paper
Remarks on the classical threshold secret sharing schemes	2012-05-11	Paper
SAT as a Programming Environment for Linear Algebra	2011-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q3509159	2008-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q5445175	2008-03-03	Paper
A quantifier-free first-order knowledge logic of authentication	2006-09-06	Paper
First-order specifications of programmable data types	2001-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4353629	1997-09-10	Paper
Measurability and the baire property at higher levels	1992-06-25	Paper
Measurable selectors of \underline{𝑃𝐶𝐴} multifunctions with applications	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4200053	1978-01-01	Paper
Relatively constructible transitive models	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4177553	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133635	1976-01-01	Paper
No minimal transitive model of Z−	1975-01-01	Paper
Gaps in the contructable universe	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4049067	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5677483	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5655358	1972-01-01	Paper

Research outcomes over time

This page was built for person: Marian Srebrny