[IMM]
[DTU] [DTU]

Terkel K. Tolstrup

Working in the office
Assistant Professor
Safe and Secure IT-Systems
Informatics and Mathematical Modelling
 Technical University of Denmark
Email: tkt@imm.dtu.dk
Phone: +45 45253722

Current Project:

I am working in the area of Static Program Analysis for Information Flow Security. In particular my work is focused on security properties such as Non-interference.

In 2007 my Ph.D. thesis was accepted. It deals with language-based security for VHDL descriptions, checking for different security properties of the analysed program.

Previously in 2003 I got a master degree in computer science at Technical University of Denmark. My thesis was on the generation of safe and reliable web-based systems from functional and navigational specifications.

Some of my achievements: I became a Microsoft Certified Professional in 1999. In 2003 I gave an interview to the radio show Harddisken on the topic Artificial Intelligence and Science Fiction.

Activities:

Publications:

  • Tolstrup, T. K.,

    Language-based Security for VHDL,

    Ph.D. thesis, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2007
  • Tolstrup, T. K., Nielson, F., Hansen, R. R.,

    Locality-based Security Policies,

    In Proc. of the 4th International Workshop on Formal Aspects in Security and Trust (FAST2006), Lecture Notes in Computer Science Volume 4691, Springer, 2007 [pdf, bibTeX]
  • Tolstrup, T. K., Nielson, F.,

    Analyzing for Absence of Timing Leaks in VHDL,

    To appear In Proc. of the 6th International Workshop on Issues in the Theory of Security (WITS 2006), 2006 [bibTeX]
  • Tolstrup, T. K., Nielson, F., Riis Nielson, H.,

    Information Flow Analysis for VHDL,

    In Proc. of the 8th International Conference on Parallel Computing Technologies (PaCT 2005), Lecture Notes in Computer Science Volume 3606, Springer, 2005 [pdf, bibTeX]
  • Jensen, T. B., Tolstrup, T. K., Hansen, M. R.,

    Generating Web-based Systems from Specifications,

    In Proc. of the 19th ACM Symposium on Applied Computing (SAC 2004), ACM Press, 2004 [pdf, bibTeX]
  • Jensen, T. B., Tolstrup, T. K.,

    Teoribaseret udvikling af pålidelige webbaserede systemer,

    Master thesis, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2003 [In Danish:ps]
My entry in the DBLP Bibliography.

Hobbies:

Currently my DVD collection is taking up most of my spare time. I am interested in movies in general, but the Asian cinema is probably among my favourites. I written written several articles published in the journal Kosmorama published by the Danish Film Institute and a couple of articles and reviews for the film magazine Mifune and the online film magazine Eiga.

I am part of the committee organising the J-pop convention, the Danish Cosplay Summit and EuroCon 2007.

I practice Taekwondo. I used to practice Kung Fu and Tai Chi Chuan (Yang family) as well, but due to other projects I haven't had the time lately.

Safe and Secure IT-Systems Microsoft Certified Professional
Contact: tkt@imm.dtu.dk