Research for Practice: Private Online Communication; Highlights in Systems Verification.

The authors present research papers regarding the use of cryptography to ensure private online communication and advances in systems verification or verified systems design.

Bibliographic Details
Published in:	Communications of the ACM Vol. 61; no. 2; pp. 46 - 50
Main Authors:	Bailis, Peter, Kwon, Albert, Wilcox, James R.
Format:	Article
Published:	Association for Computing Machinery Feb2018
Subjects:	Interpersonal communication Computer network resources Verification of computer systems
Online Access:	View this record in EBSCOhost

Description
Summary:	The authors present research papers regarding the use of cryptography to ensure private online communication and advances in systems verification or verified systems design.