Marian Srebrny
Page under construction along these
guidelines.
I am an associate professor at the Institute of Computer Science,
Polish Academy of Sciences.
My interests include:
- Cryptography:
e-signature,
secret sharing, access protection.
- Model checking and other methods of automatic verification
of cryptographic protocols.
- Logic in computer science and vice versa.
-
"Solidarnosc''
- Sailing.
I took an active part at the problem group for Mathematical
Foundations of Software Engineering
and in several research projects
under the
leadership of Andrzej
Tarlecki and also cooperate
with Stefan Sokolowski.
e-mail:
marians@ipipan.waw.pl
WWW (this page): http://www.ipipan.waw.pl/~marians
Last update: October 16, 2000