Software Security Related Research at SICS and KTH

The main purpose of this talk is to present an overview of research related to software verification and security that has been going on over the past few years in the Formal Design Techniques group at SICS and KTH, Sweden. Topics that will be touched upon include:

First-order mu-calculus theorem proving and program verification
Applications to the Erlang and JavaCard programming languages
Cryptographic protocol logics and their semantics
Information flow control
Authorisation and policy-based management

Mads Dam

Associate Professor at SICS and IMIT/KTH, Stockholm
Visitor to the Formal Methods Program

Date:	Thu Nov 18 2004
Time:	1pm to 2pm
Location:	Level 1 Seminar Room, CSE Bldg (K17), UNSW Kensington Campus

Return to index

Last updated by rhuuck at Fri Nov 12 14:55:28 2004 GMT+1100