any SDKs for embedded secure processors?
cperciva: I assume you've already talked to the faculty at MIT and they haven't been able to provide any useful contacts for you; have you also tried talking to the security group at the University of Cambridge?  They've done a lot of work on breaking smart cards, so they're likely to know some of the right people.