Secure Protocol Implementation and Development Laboratory 

at USC