Eric W. Smith

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 3

Top Topics

Congestion Control

Agent Negotiation

Formal Verification

Encryption Scheme

Top Venues

Publications

Alessandro Coglio, Eric McCarthy, Eric W. Smith
Formal Verification of Zero-Knowledge Circuits. CoRR (2023)
Andrea Bittau, Daniel B. Giffin, Mark Handley, David Mazières, Quinn Slack, Eric W. Smith
Cryptographic Protection of TCP Streams (tcpcrypt). RFC 8548 (2019)
Andrea Bittau, Daniel B. Giffin, Mark Handley, David Mazières, Eric W. Smith
TCP-ENO: Encryption Negotiation Option. RFC 8547 (2019)
David S. Hardin, Eric W. Smith, William D. Young
A robust machine code proof framework for highly secure applications. ACL2 (2006)