1
Constructive Side-Channel Analysis and Secure Design [E-Book]: Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings /
2
Advances in Design and Specification Languages for Embedded Systems [E-Book] : Selected Contributions from FDL'06 /