Michael Kirsten
发表
Bernhard Beckert,
Mattias Ulbrich,
Sebastian Ulewicz,
2016,
2016 IEEE International Symposium on Assembly and Manufacturing (ISAM).
Michael Kirsten,
Almut Demel,
2017
.
Bernhard Beckert,
Shmuel S. Tyszberowicz,
Mihai Herda,
2020,
20 Years of KeY.
Bernhard Beckert,
Mattias Ulbrich,
Michael Kirsten,
2020,
ISoLA.
Michael Kirsten,
Karsten Diekhoff,
Jonas Krämer,
2019,
LOPSTR.
Bernhard Beckert,
Ralf Küsters,
Daniel Grahl,
2015,
2015 IEEE 28th Computer Security Foundations Symposium.
Bernhard Beckert,
Mihai Herda,
Jonas Schiffl,
2018
.
Michael Kirsten,
Karsten Diekhoff,
Jonas Krämer,
2019
.
Bernhard Beckert,
Ralf Küsters,
Melanie Volkamer,
2019
.
Alexander Koch,
Michael Kirsten,
Michael Schrempp,
2019,
IACR Cryptol. ePrint Arch..
Bernhard Beckert,
Mihai Herda,
Michael Kirsten,
2019,
HCVS/PERR@ETAPS.
Bernhard Beckert,
Mattias Ulbrich,
Sebastian Ulewicz,
2017,
2017 IEEE 15th International Conference on Industrial Informatics (INDIN).
Heiko Mantel,
Mihai Herda,
Simon Greiner,
2017
.
Bernhard Beckert,
Mattias Ulbrich,
Thorsten Bormer,
2016
.
Bernhard Beckert,
Vladimir Klebanov,
Carsten Schürmann,
2016,
E-VOTE-ID.
Bernhard Beckert,
Thorsten Bormer,
Rajeev Goré,
2017
.
Bernhard Beckert,
Marko Kleine Büning,
Mihai Herda,
2017
.
Michael Kirsten,
Michael Kirsten,
2014
.
Olivier Cailloux,
Michael Kirsten,
2018,
APIA.
Bernhard Beckert,
Thorsten Bormer,
Rajeev Goré,
2014
.
Michael Kirsten,
2013
.
Bernhard Beckert,
Marko Kleine Büning,
Mihai Herda,
2018,
ICFEM.
Michael Kirsten,
Michael Schrempp,
Alexander Koch,
2021,
New Gener. Comput..
Bernhard Beckert,
Riccardo Focardi,
Letterio Galletta,
.