Research for Practice: Private Online Communication; Highlights in Systems Verification.
Saved in:
| Title: | Research for Practice: Private Online Communication; Highlights in Systems Verification. |
|---|---|
| Authors: | Bailis, Peter, Kwon, Albert1, Wilcox, James R.2 |
| Source: | Communications of the ACM. Feb2018, Vol. 61 Issue 2, p46-49. 4p. |
| Subjects: | Interpersonal communication, Computer network resources, Verification of computer systems |
| Abstract: | The authors present research papers regarding the use of cryptography to ensure private online communication and advances in systems verification or verified systems design. |
| Database: | Engineering Source |
| Abstract: | The authors present research papers regarding the use of cryptography to ensure private online communication and advances in systems verification or verified systems design. |
|---|---|
| ISSN: | 00010782 |
| DOI: | 10.1145/3132271 |
