We stand with Ukraine  

Eric W. Smith

According to our database1, Eric W. Smith authored at least 4 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Formal Verification of Zero-Knowledge Circuits.
[BibTeX]
[DOI]
Alessandro Coglio
,
Eric McCarthy
,
Eric W. Smith
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023

2019
Cryptographic Protection of TCP Streams (tcpcrypt).
[BibTeX]
[DOI]
Andrea Bittau
,
Daniel B. Giffin
,
Mark Handley
,
David Mazières
,
Quinn Slack
,
Eric W. Smith
RFC, May, 2019

TCP-ENO: Encryption Negotiation Option.
[BibTeX]
[DOI]
Andrea Bittau
,
Daniel B. Giffin
,
Mark Handley
,
David Mazières
,
Eric W. Smith
RFC, May, 2019

2006
A robust machine code proof framework for highly secure applications.
[BibTeX]
[DOI]
David S. Hardin
,
Eric W. Smith
,
William D. Young
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006


  Loading...