Home
|
Education
-
Ph.D. in Computer Science,
Theoretical Computer Science,
School of Computer Science and Communication,
Royal Institute of Technology, Stockholm, Sweden, September 2009 - September 2014.
-
M.Sc. in Computer Science, IT Department, Uppsala University, Uppsala, Sweden, September 2007- May 2009.
-
B.Sc. of Computer Engineering in Computer Hardware, Department of Computer Engineering, Esfahan, Iran, Autumn 2001-Winter 2007.
Current Projects
- Currently I am working on a project called "Security of Mobile Code".
In this project we are about to develop a framework
using compositional verification and inline monitoring to verify safety properties of mobile codes.
The main research goal of the project is to provide algorithmic techniques to
prevent mobile code making threat to security of the platforms it desired to be running on.
This is done by
proving that the mobile code preserves the security policy of the platform.
To achieve this goal, one approach is to use runtime monitoring and see
if the mobile code is breaking security policy of the platform during its runtime.
The other interesting approach is compositional verification of open systems. Open systems are
systems where some components are available by their implementation and some are available
by their specification. In this approach, the abstract specification of the
mobile code is composed with the specification of the present code and
the result of composition is verified against the security policy of the platform.
Since program verification is undecidable, we need to abstract the program.
In our method we abstract away all the program data, i.e., we only consider
the control flow of programs in terms of possible sequences of method invocations.
This approach is carried out in the context of
Compositional Verification of Control Flow Safety Properties (CVPP) project.
- CVPP project
which is a collaborative project on compositional verification of control-flow
properties of programs.
Publications
The list of my publications in Google Scholar
The list of my publications in KTH DiVA
-
Algorithmic Verification of Procedural Programs in the Presence of Code Variability
Siavash Soleimanifard, Dilian Gurov
Science of Computer Programming, September 2015
BibTex
Short version to appear in FACS 2014
Presentation slides
-
Algorithmic Verification of Procedural Programs in the Presence of Code Variability
Siavash Soleimanifard
Doctoral Thesis in Computer Science, 2014
BibTex
Presentation slides
-
Model Mining and Efficient Verification of Software Product Lines
Siavash Soleimanifard, Dilian Gurov, Ina Schaefer, Bjarte M. Østvold, and Minko Markov
submitted
-
Procedure-Modular Specification and Verification of Temporal Safety Properties
Siavash Soleimanifard, Dilian Gurov and Marieke Huisman
In Software and Systems Modeling
BibTex
-
Procedure-Modular Verification of Temporal Safety Properties
Licentiate Thesis in Computer Science, 2012
BibTex
Presentation slides
-
ProMoVer: Modular Verification of Temporal Safety Properties
Siavash Soleimanifard, Dilian Gurov and Marieke Huisman
In 9th International Conference on Software Engineering and Formal Methods (SEFM) 2011.
BibTex
Presentation slides
-
Compositional Algorithmic Verification of Software Product Lines
Ina Schaefer, Dilian Gurov and Siavash Soleimanifard
In post-proc. of 9th International Symposium on Formal Methods for Components and Objects (FMCO) 2010.
BibTex
-
Inferring Compact Models of Communication Protocol Entities
Therese Bohlin, Bengt Jonsson and Siavash Soleimanifard
In 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2010.
BibTex
Presentation slides
-
Procedure-Modular Verification of Control Flow Safety Properties
Siavash Soleimanifard, Dilian Gurov and Marieke Huisman
In Formal Techniques for Java-like Programs (FTfJP) 2010.
BibTex
Presentation slides
Master Thesis
I have done my master thesis at Uppsala University, Uppsala, Sweden. The title of my master thesis is: "Generating a Model of a Communication Protocol from Test Data".
In this thesis we suggest a novel approach for compacting models of communication protocols inferred by Regular Inference Techniques in a way that the
compact models become readily understandable for testers and engineers. You can download my master thesis from
Uppsala University's publications.
You can find the bibtex here, BibTex
Teaching
I have been assisting with the following courses.
2013-2014 Academic Year
2012-2013 Academic Year
- Advanced C++ programming
I am still checking assignments of the cprog students of previous years. Just, check my calendar (at the bottom of this page)
and make an appointment with me to get your assignments examined.
To contact me simply send me an email and write your free times that matches mine as in my calendar.
PLEASE DO NOT FORGET TO BRING YOUR ID-CARD
- Logic for computer science
2011-2012 Academic Year
2010-2011 Academic Year
2009-2010 Academic Year
- Advanced C++ programming
If you have finished your assignment of cprog09 course, please check my calendar and make an appointment with me to get it examined.
To contact me simply send me an email and write your free times that matches my free time as in my calendar.
PLEASE DO NOT FORGET TO BRING YOUR ID-CARD
I will take exams in the next academic year, i.e., 2010-2011.
- Basic Internet programming
- Python programming
- Network Security (guest lecture on "formal methods to verify security of network protocols")
Courses
- Machine Learning
- Scientific Writing
- Temporal Logics
- Formal Methods
- Semantics of Programming Languages
- Algebra + Co-Algebra
- Advanced Object Oriented Systems
- Basic Communication Skills and Teaching
- Approximation Algorithms
- Research - Theory, Method, Practice
- COST Action 2nd Training Program
- MOD Summer School, Byrischzell (Marktoberdorf Summer School)
- International School HATS-FMCO (HATS Summer School)
My calendar
This is my calendar. In the calendar "busy" means I have a class, lab or meeting.
Most of the other times I am at my office during office hours+.
Office hours+ is Mondays-Fridays 08:15 till 19:00.
|