Igor Siveroni Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:241-257 [Journal]
Igor Siveroni Operational semantics of the Java Card Virtual Machine. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2004, v:58, n:1-2, pp:3-25 [Journal]