Andreas Enbacka

Department of Information Technologies

Åbo Akademi University

Contact details:

E-mail: aenbacka@abo.fi

Current research interests:

Formal methods (in particular the B-method)
Digital forensics research

Member of Formal Methods Europe

Publications

Enbacka, Andreas and Laibinis, Linas
Formal Specification and Refinement of a Write Blocker System for Digital Forensics
Technical Report No. 718, TUCS, November 2005

Gladyshev, Pavel and Enbacka, Andreas
There is Something Fishy About Your Evidence… or How to Develop Inconsistency Checks for Digital Evidence Using the B Method
Technical Report No. 776, TUCS, June 2006

Gladyshev, Pavel and Enbacka, Andreas
Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method
International Journal of Digital Evidence, Vol. 6, No. 2, 2007

Teaching activity:

Teaching assistant for the Specification Methods course (Winter 2006).
Teaching assistant for the Introduction to Formal Methods course (Spring 2008)

Last modified: 19.08.2009