PPT
Sortsearch
Lab1ans
Securing Multiparty Online Services via Certification of Symbolic Transactions Eric Chen (Carnegie Mellon University) Shuo Chen, Shaz Qadeer, Rui Wang.
Plane triangle intersection raveh gonen's blog
