Danny Bergsma presents poster about Bachelor Referaat paper at Student Research Conference

Danny Bergsma will present a poster about the paper Static Verification of Security Policies at the Student Research Conference, organised by the VSNU on November 21, 2012.

The paper describes the work he did in the context of his bachelor referaat. It describes improved algorithms to propagate pre- and postconditions that encode a security policy.

September 19, 2012
Go to the news overview.