S. Kremer
发表
Jianying Zhou,
S. Kremer,
O. Markowitch,
2002
.
S. Kremer,
S. Delaune,
2013
.
G. Steel,
S. Kremer,
R. Künnemann,
2012
.
S. Kremer,
Myrto Arapinis,
S. Delaune,
2022
.
S. Kremer,
S. Delaune,
2017
.
S. Kremer,
Raphaëlle Crubillé,
Vincent Cheval,
2022
.
M. Ryan,
S. Kremer,
2007
.
S. Lacour,
S. Kremer,
M. Lequesne,
2020
.
S. Kremer,
S. Delaune,
2014
.
S. Kremer,
Vincent Cheval,
Kushal Babel,
2016
.
S. Kremer,
S. Delaune,
David Baelde,
2016
.
S. Kremer,
Fr,
2012
.
S. Kremer,
S. Delaune,
2010
.
Jean Cardinal,
Stefan Langerman,
Steve Kremer,
2006,
Theory of Computing Systems.
Cas J. F. Cremers,
L. Hirschi,
C. Cremers,
2022,
IACR Cryptol. ePrint Arch..
Liqun Chen,
Steve Kremer,
Mark Ryan,
2008,
Formal Protocol Verification Applied.
Steve Kremer,
Yves Roggeman,
S. Kremer,
2004
.
Giampaolo Bella,
Steve Kremer,
Manuel Bernardo Barbosa,
2014
.
Céline Chevalier,
S. Kremer,
S. Delaune,
2013,
Formal Methods in System Design.
Benjamin Grégoire,
Pierre-Yves Strub,
Steve Kremer,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Steve Kremer,
Constantin-Catalin Dragan,
Sergiu Bursuc,
2019,
2019 IEEE European Symposium on Security and Privacy (EuroS&P).
Steve Kremer,
Véronique Cortier,
V. Cortier,
2014,
Found. Trends Program. Lang..
Graham Steel,
Bogdan Warinschi,
Steve Kremer,
2011,
2011 IEEE 24th Computer Security Foundations Symposium.
Steve Kremer,
S. Kremer,
2007,
TGC.
Véronique Cortier,
Ralf Küsters,
Bogdan Warinschi,
2006,
FSTTCS.
Véronique Cortier,
Steve Kremer,
Mathieu Baudet,
2005,
Inf. Comput..
Graham Steel,
Robert Künnemann,
Steve Kremer,
2013,
ESORICS.
Steve Kremer,
Charlie Jacomme,
S. Kremer,
2018,
2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Jianying Zhou,
Olivier Markowitch,
Steve Kremer,
2002,
Comput. Commun..
Mark Ryan,
Stéphanie Delaune,
Steve Kremer,
2009,
J. Comput. Secur..
Steve Kremer,
Gilles Barthe,
Charlie Jacomme,
2020,
LICS.
Mark Ryan,
Ben Smyth,
Steve Kremer,
2010,
ESORICS.
Vincent Cheval,
Steve Kremer,
Itsaka Rakotonirina,
2020
.
Vincent Cheval,
Steve Kremer,
Itsaka Rakotonirina,
2020,
Logic, Language, and Security.
Véronique Cortier,
Bogdan Warinschi,
Steve Kremer,
2011,
Journal of Automated Reasoning.
Rohit Chadha,
Vincent Cheval,
Steve Kremer,
2012,
ACM Trans. Comput. Log..
Mark Ryan,
Steve Kremer,
M. Ryan,
2005,
SecCo.
Olivier Markowitch,
Steve Kremer,
S. Kremer,
2001,
ISC.
Robert Künnemann,
Steve Kremer,
S. Kremer,
2014,
2014 IEEE Symposium on Security and Privacy.
Vincent Cheval,
Steve Kremer,
Itsaka Rakotonirina,
2018,
2018 IEEE Symposium on Security and Privacy (SP).
S. Kremer,
Rohit Chadha,
Stefan Ciobaca,
2012,
ACM Trans. Comput. Log..
Graham Steel,
Stéphanie Delaune,
Mark Ryan,
2011,
2011 IEEE 24th Computer Security Foundations Symposium.
Graham Steel,
Stéphanie Delaune,
Mark Ryan,
2010,
Formal Aspects in Security and Trust.
Jean-François Raskin,
Steve Kremer,
S. Kremer,
2001,
J. Comput. Secur..
S. Kremer,
S. Delaune,
Stefan Ciobaca,
2009,
Journal of Automated Reasoning.
Michael Backes,
Robert Künnemann,
Steve Kremer,
2017,
2017 IEEE European Symposium on Security and Privacy (EuroS&P).
Ralf Sasse,
Steve Kremer,
Charles Duménil,
2017,
POST.
Ralf Treinen,
Steve Kremer,
Antoine Mercier,
2009,
Journal of Automated Reasoning.
Steve Kremer,
Sergiu Bursuc,
S. Kremer,
2019,
IACR Cryptol. ePrint Arch..
Stéphanie Delaune,
Steve Kremer,
Daniel Pasaila,
2012,
IJCAR.
Steve Kremer,
Laurent Mazaré,
L. Mazaré,
2007,
ESORICS.
L. Hirschi,
S. Kremer,
Max Ammann,
2023,
IACR Cryptol. ePrint Arch..
Steve Kremer,
Stephanie Delaune,
Ludovic Robin,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
David Baelde,
Stéphanie Delaune,
Steve Kremer,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Steve Kremer,
Ivan Gazeau,
S. Kremer,
2017,
ESORICS.
Vincent Cheval,
Steve Kremer,
Kushal Babel,
2017,
POST.
Véronique Cortier,
Steve Kremer,
Myrto Arapinis,
2016,
ESORICS.
Mark Ryan,
Véronique Cortier,
Steve Kremer,
2013,
POST.
Stéphanie Delaune,
Steve Kremer,
Céline Chevalier,
2011,
FSTTCS.
Steve Kremer,
S. Kremer,
2011
.
Mark Ryan,
Ben Smyth,
Steve Kremer,
2010,
ARSPA-WITS.
Rohit Chadha,
Stéphanie Delaune,
Steve Kremer,
2009,
FMOODS/FORTE.
Mark Ryan,
Stéphanie Delaune,
Steve Kremer,
2008,
2008 21st IEEE Computer Security Foundations Symposium.
Mark Ryan,
Stéphanie Delaune,
Steve Kremer,
2007,
J. Comput. Secur..
Steve Kremer,
S. Kremer,
2007
.
Mark Ryan,
Stéphanie Delaune,
Steve Kremer,
2006,
19th IEEE Computer Security Foundations Workshop (CSFW'06).
Mark Ryan,
Steve Kremer,
M. Ryan,
2005,
ESOP.
Vincent Cheval,
Steve Kremer,
Kushal Babel,
2017,
POST 2017.
Mark Ryan,
Ben Smyth,
Steve Kremer,
2010
.
Stéphanie Delaune,
Steve Kremer,
Olivier Pereira,
2009,
FSTTCS.
Mark Ryan,
Ben Smyth,
Steve Kremer,
2009
.
L. Mazaré,
Y. Lakhnech,
S. Kremer,
2007
.
Mark Ryan,
Stéphanie Delaune,
Steve Kremer,
2005
.
Jean-François Raskin,
Steve Kremer,
S. Kremer,
2000
.
Rohit Chadha,
Andre Scedrov,
Steve Kremer,
2004,
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Olivier Markowitch,
Steve Kremer,
S. Kremer,
2003,
International Journal of Information Security.
S. Kremer,
Eike Ritter,
Aybek Mukhamedov,
2005
.
Olivier Markowitch,
Steve Kremer,
S. Kremer,
2000,
SEC.
Olivier Markowitch,
Steve Kremer,
S. Kremer,
2001,
INDOCRYPT.
Olivier Markowitch,
Steve Kremer,
S. Kremer,
2000
.
S. Kremer,
S. Delaune,
David Baelde,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Jannik Dreier,
R. Sasse,
S. Kremer,
2017,
POST.
S. Kremer,
S. Delaune,
David Baelde,
2015
.