Igor Siveroni, PhD.

Research Associate
<siveroni@soi.city.ac.uk>

 


Department of Computing
School of Informatics
City Univeristy

Northampton Square
London EC1V 0HB

Research Interests

 

 

  • Programming Languages Semantics. Interpreters and Compilers.
  • Static Verification of Programs and Systems: Program Analysis and Model-Checking.
  • Program Transformation and Optimisation.
  • Model-Driven Security. Staic Verification of UML models.
cuadro
Main Publications
 cuadro

 

 

[SiZiSp10:jreq10]
Igor Siveroni, Andrea Zisman and George Spanoudakis. A UML-based Static Verification Framework for Security . Journal of Requirements Engineering. Volume 15, Issue 1, 2010.

 

[SiSpZi08:jares08]
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

 

[DiHaSiWi05:jlap05]
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.

[Siveroni05:qapl]
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.

[HansenSiveroni05:bytecode]
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.

[Siveroni03:jcvm]
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.

[WandSiveroni99]
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.