Lehigh University, the SOS Lab

NewsLog

(1/17/12) We are glad to open source RockSalt 1.0, which includes a high-fidelity model of a subset of x86 in Coq. See this page.
(1/1/12) Tan received the NSF CAREER award with the project "User-Space Protection Domains for Compositional Information Security".
(1/1/12) The SOS lab is looking for talented undergraduate and graduate students to join. Undergrads who are interested in computer security can do a summer internship under the NSF REU program; see this page for more details.
(11/13/11) We are glad to release the source code of Robusta 1.0; Please see this page.
(7/15/11) Research paper "Combining Control-Flow Integrity and Static Analysis for Efficient and Validated Data Sandboxing" accepted by CCS-2011
(6/30/11) Research paper "Detection and Classification of Different Botnet C&C Channels" accepted by ATC-2011
(6/13/11) Research paper "JET: Exception checking in the Java Native Interface" accepted by OOPSLA '11
(2/3/11) Tan was a UN Panelist on fighting cybercrime (video | Lehigh article)
(1/5/11) Research paper "JNI Light: An Operational Model for the Core JNI" published in the NGC journal
(8/16/10) Research paper "JNI Light: An Operational Model for the Core JNI" accepted by APLAS '10
(6/21/10) Research paper "Robusta: Taming the Native Beast of the JVM" accepted by CCS '10
(3/22/10) The GoNative project is now sponsored by Google
(10/2/09) The SOS lab hosted NJPLS
(9/1/09) The GoNative project is now sponsored by NSF
(8/16/09) Research paper "Weak updates and separation logic" accepted by APLAS '09
(7/10/09) Research paper "Finding bugs in exceptional situations of JNI programs" accepted by CCS '09
(6/30/09) News article about the lab's research
(6/28/09) Research paper about the NJ voting machine study accepted by EVT/WOTE '09
(6/1/09) Research positions available. More...
(12/10/08) Former member, Jason Croft, wins Honorable Mention in CRA's Outstanding Undergradate Award