Werner Alexi

	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		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

Coauthor Index

1	Benny Chor	[1] [5]
2	Oded Goldreich	[1] [5]
3	Claus-Peter Schnorr	[1] [2] [5]