Igor Siveroni, Andrea Zisman and George Spanoudakis. A UML-based Static Verification Framework for Security . Journal of Requirements Engineering. Volume 15, Issue 1, 2010.
Igor Siveroni, George Spanoudakis and Andrea Zisman. Property Specification and Static Verification of UML Models. Third International Conference on Availability, Reliability and Security, ARES 08. Barcelona 2008. IEEE, IEEE Xplore
Alessandra Di Pierro, Chris Hankin, Igor Siveroni and Herbert Wiklicky. Tempus Fugit: How to Plug it . Special issue of the Journal of Logic and Algebraic Programming on Information Flow and Dependency, Elsevier 2006.
Igor Siveroni. Filling out the gaps: a padding algorithm for transforming out timing leaks. In Proceedings of the 3rd Workshop on Quantitative Aspects of Programming Languauges , ETAPS 05, Edinburgh 2005.
Rene Rydhof Hansen and Igor Siveroni. Towards verification of well-formed transactions in Java Card bytecode. To be published as part of the proceedings for the 1st Workshop on Bytecode Semantics, Verification, Analysis and Transformation , ETAPS 05, Edinburgh 2005.
Igor Siveroni. Operational Semantics of the Java Card Virtual Machine. Journal of Logic and Algebraic Programming Volume 58, Issues 1-2 , January-March 2004, Pages 3-25. Formal Methods for Smart Cards.
Mitchell Wand and Igor Siveroni. Constraint Systems for Useless Variable Elimination. In Proceedings 26th ACM Symposium on Programming Languages, 1999.
[Siveroni02] - Thesis
Igor Siveroni. Correctness of Analysis-based Program Transformations of Functional Programming Languages. PhD Thesis, Northeastern University . January 2002.