Mateusz Srebrny

Education

• 2000 - 2005: M.Sc. from the Institute of Informatics, University of Warsaw

Papers

• Grzegorz Andruszkiewicz, Krzysztof Ciebiera, Marcin Gozdalik, Cezary Kaliszyk, Mateusz Srebrny, "SIE - Intelligent Web Proxy Framework", in: Proc. Web Engineering - 4th International Conference, ICWE 2004, N.Koch, P.Fraternali, M.Wirsing (eds.), Lecture Notes in Computer Science 3140, Springer 2004, 373-385.
• Wojciech Dobrzanski, Artur Jakubski, Marian Srebrny, Mateusz Srebrny, "Distributed Password", ACS, August 24, 2001.

Talks

• September 29, 2009: CS&P 2009
  SAT as a Programming Environment for Linear Algebra and Cryptanalysis (slides)
• August 14, 2007: ARG lunch, University of Cambridge
  Cryptanalysis with SAT - propositional calculus as a programming environment (slides)
• April 20, 2004: PPIM, University of Warsaw
  Factorization with SAT - propositional calculus as a programming environment (slides)

Other achievements

• 2007: awarded The Clifford & Mary Corbridge Trust Scholarship at Robinson College, University of Cambridge

Interests

• SAT solvers
• Cryptography
• Model-checking