Author

Lenore Zuck

Lenore D. Zuckis a computer scientist whose research involves formal methods in software engineering, as well as information privacy. She is a research professor of computer science at the University of Illinois Chicago.

https://cs.uic.edu/profiles/lenore-zuck/

Bridging the gaps between protocol specifications and practice

By Lenore Zuck on 7 Nov 2025

Guest Post: How formal specifications can make network protocols more reliable, secure, and interoperable.