Vrije Universiteit Amsterdam
IR-CS
Specification and Analysis of Embedded Systems

Nair, S. K., Gamage, C., Dashti, M., Crispo, B., & Tanenbaum, A. (2006). Countering Digital Forensics: An Identity Based Ephemerizer Cryptosystem. IR-CS. Vrije Universiteit Amsterdam.