Foundations of secure computation / ed. by Friedrich L. Bauer, Ralf SteinbrüggenTheoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer ... [et al.] / ed. by M. Broy and Gunther Schmidt ; publ. in cooperation with NATO Scientific affairs division