Werner Alexi

Publication Activity (10 Years)

Years Active: 1984-1988
Publications (10 Years): 0

Goethe University Frankfurt, Frankfurt am Main, Germany (PHD)

Education History

Goethe University Frankfurt, Frankfurt am Main, Germany

PHD

Publications

Werner Alexi, Benny Chor, Oded Goldreich, Claus-Peter Schnorr
RSA and Rabin Functions: Certain Parts are as Hard as the Whole. SIAM J. Comput. 17 (2) (1988)
Werner Alexi
Extraction and Verification of Programs by Analysis of Formal Proofs. Theor. Comput. Sci. 61 (1988)
Werner Alexi
Extraction und Verifikation von Programmen durch Analyse formaler Beweise (Extended Abstract). GWAI (1985)
Werner Alexi, Benny Chor, Oded Goldreich, Claus-Peter Schnorr
RSA/Rabin Bits are 1/2 + 1/poly(log N) Secure FOCS (1984)
Claus-Peter Schnorr, Werner Alexi
RSA-Bits are 0.5 + epsilon Secure. EUROCRYPT (1984)