Peter Müller - NWPT 2023 - 34th Nordic Workshop on Programming Theory

Wed 22 - Thu 23 November 2023 Västerås

Registered user since Wed 18 Jun 2014

Name:Peter Müller

Country:Switzerland

Affiliation:ETH Zurich

Personal website: http://www.pm.inf.ethz.ch

Contributions

2023

NWPT

CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity

Show activities from other conferences

NWPT 2023 - 34th Nordic Workshop on Programming Theory -profile
View general profile