Good news from ETAPS 2013!
Logical Foundations of Secure Resource Management in Protocol Implementations
by Michele Bugliesi, Stefano Calzavara, (Univ. Ca’ Foscari, ACADIA),
Fabienne Eigener, Matteo Maffei (Univ. of Saarland)
has been awarded the EATCS Best Paper prize at ETAPS 2013, the European Joint Conference on Theory and Practice of Software, which includes the following conferences:
International Conference on Compiler Construction (CC)
European Symposium on Programming (ESOP)
Int. Conference on Fundamental Approaches to Software Engineering (FASE)
Int. Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
International Conference on Principles of Security and Trust (POST)
Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
The prize is awarded by the European Association for Theoretical Computer Science EATCS to the best theoretical paper amongst the papers presented at all the ETAPS conferences.