Werner Alexi

According to our database, Werner Alexi authored at least 6 papers between 1984 and 1988.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1988

Extraction and Verification of Programs by Analysis of Formal Proofs.

Werner Alexi

Theor. Comput. Sci., 1988

RSA and Rabin Functions: Certain Parts are as Hard as the Whole.

Werner Alexi, Benny Chor, Oded Goldreich, Claus-Peter Schnorr

SIAM J. Comput., 1988

1985

Schnelle Extraktion und Verifikation von Programmen durch Beweisanalyse.

Werner Alexi

PhD thesis, 1985

Extraction und Verifikation von Programmen durch Analyse formaler Beweise (Extended Abstract).

Werner Alexi

Proceedings of the GWAI-85, 1985

1984

RSA/Rabin Bits are 1/2 + 1/poly(log N) Secure

Werner Alexi, Benny Chor, Oded Goldreich, Claus-Peter Schnorr

Proceedings of the 25th Annual Symposium on Foundations of Computer Science, 1984

RSA-Bits are 0.5 + epsilon Secure.

Claus-Peter Schnorr, Werner Alexi

Proceedings of the Advances in Cryptology: Proceedings of EUROCRYPT 84, 1984