| |
| 1988 | ||
|---|---|---|
| 5 | 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): 194-209 (1988) | |
| 4 | Werner Alexi: Extraction and Verification of Programs by Analysis of Formal Proofs. Theor. Comput. Sci. 61: 225-258 (1988) | |
| 1985 | ||
| 3 | Werner Alexi: Extraction und Verifikation von Programmen durch Analyse formaler Beweise (Extended Abstract). GWAI 1985: 135-152 | |
| 1984 | ||
| 2 | EE | Claus-Peter Schnorr, Werner Alexi: RSA-Bits are 0.5 + epsilon Secure. EUROCRYPT 1984: 113-126 |
| 1 | Werner Alexi, Benny Chor, Oded Goldreich, Claus-Peter Schnorr: RSA/Rabin Bits are 1/2 + 1/poly(log N) Secure FOCS 1984: 449-457 | |
| 1 | Benny Chor | [1] [5] |
| 2 | Oded Goldreich | [1] [5] |
| 3 | Claus-Peter Schnorr | [1] [2] [5] |