(Germany)
ICSE
International Conference on Software Engineering (ICSE)International Conference on Software Engineering (ICSE)
ESORICS
25th European Symposium on Research in Computer Security, {ESORICS} 2020Computer Security - ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II
CAV
Computer Aided Verification - 32nd International ConferenceComputer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
TAP
Tests and Proofs - 14th International ConferenceTests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings postponed
EuroSys
Proceedings of the Fourteenth EuroSys Conference 2019
POST
Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, GreecPrinciples of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greec
POST 2018
EuroS&P
In Submission
SP
In Submission