Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Secure Network Programming
open-in-new
<h2 id="references">References</h2> <ol> <li id="fn:1"><p>Woo, Thomas; Bindignavle, Raghuram; Su, Shaowen; Lam, Simon (June 1994). "SNP: An Interface for Secure Network Programming" (PDF). Proceedings USENIX Summer Technical Conference. Retrieved 21 July 2019. <a href="http://www.cs.utexas.edu/users/lam/Vita/Cpapers/WBSL94.pdf" target="_blank">http://www.cs.utexas.edu/users/lam/Vita/Cpapers/WBSL94.pdf</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>"1994 USENIX Summer Technical Conference Program, Boston, 6-10 June 1994". <a href="https://www.usenix.org/legacy/publications/library/proceedings/bos94/" target="_blank">https://www.usenix.org/legacy/publications/library/proceedings/bos94/</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>"Simon S. Lam, Regents Chair Emeritus in Computer Science, inducted into the Internet Hall of Fame". <a href="https://cns.utexas.edu/news/accolades/computer-scientist-inducted-internet-hall-fame" target="_blank">https://cns.utexas.edu/news/accolades/computer-scientist-inducted-internet-hall-fame</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>"Simon S. Lam, 2023 Internet Hall of Fame inductee". <a href="https://www.internethalloffame.org/inductee/simon-s-lam" target="_blank">https://www.internethalloffame.org/inductee/simon-s-lam</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>Lam, Simon; Shankar, Udaya (January 1994). "A Theory of Interfaces and Modules I — Composition Theorem". IEEE Transactions on Software Engineering. 20: 55–71. doi:10.1109/32.263755. Retrieved 21 July 2019. <a href="https://dl.acm.org/citation.cfm?id=631099" target="_blank">https://dl.acm.org/citation.cfm?id=631099</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>Lam, Simon; Shankar, Udaya; Woo, Thomas (May 1991). "Applying a theory of modules and interfaces to security verification" (PDF). Proceedings. 1991 IEEE Computer Society Symposium on Research in Security and Privacy. pp. 136–154. doi:10.1109/RISP.1991.130782. ISBN 0-8186-2168-0. S2CID 18581606. Retrieved 5 January 2021. <a href="0-8186-2168-0" target="_blank">0-8186-2168-0</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>Simon S. Lam (PI/PD), "Applying a Theory of Modules and Interfaces to Security Verification", NSA INFOSEC University Research Program grant no. MDA 904-91-C-7046, 6/28/91 to 6/27/93. <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>Woo, Thomas; Bindignavle, Raghuram; Su, Shaowen; Lam, Simon (June 1994). "SNP: An Interface for Secure Network Programming" (PDF). Proceedings USENIX Summer Technical Conference. Retrieved 21 July 2019. <a href="http://www.cs.utexas.edu/users/lam/Vita/Cpapers/WBSL94.pdf" target="_blank">http://www.cs.utexas.edu/users/lam/Vita/Cpapers/WBSL94.pdf</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> </ol>