Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Protocols for Data Security., and . Computer, 16 (2): 39-51 (1983)Experimental Results from an Automatic Test Case Generator., and . ACM Trans. Softw. Eng. Methodol., 2 (2): 109-127 (1993)Constraint-Based Automatic Test Data Generation., and . IEEE Trans. Software Eng., 17 (9): 900-910 (1991)Cryptographic Protocols, , and . STOC, page 383-400. ACM, (1982)Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods., , and . IEEE Trans. Software Eng., 21 (10): 858-861 (1995)Introduction to the Special Section.. IEEE Trans. Software Eng., 20 (10): 749 (1994)Critical Slicing for Software Fault Localization., , and . ISSTA, page 121-134. ACM, (1996)Protecting Shared Cryptographic Keys., , and . S&P, page 100-102. IEEE Computer Society, (1980)Multilevel Secure Distributed System., , and . ICDCS, page 308-312. IEEE Computer Society, (1981)The Consistency of "P = NP" and Related Problems with Fragments of Number Theory., and . STOC, page 45-57. ACM, (1980)