3,349 followers Lars Hupel @larsr_h Glad to see that more people are working on formal treatment of firewalls: https://t.co/aLZAwjYDZj #etaps 17 Apr 2018 Reply Repost Favourite