A verified encrypted packet interface. - Michael K. Smith; Ann E. Siebert; Benedetto L. DiVito; Donald I. Good (ACM SIGSOFT Softw. Eng. Notes, 1981)

Integrated Methods for Protocol Specification and Verification. - Benedetto L. DiVito (PSTV, 1982)

Mechanical verification of a data transport protocol. - Benedetto L. DiVito (SIGCOMM, 1983)

Derived Information Sensitivity as a Modelling Technique. - Benedetto L. DiVito (CSFW, 1988)