David A. Basin
发表
David A. Basin,
Nils Klarlund,
D. Basin,
1995,
CAV.
Luca Viganò,
David A. Basin,
Seán Matthews,
1997,
KI.
Luca Viganò,
David A. Basin,
Seán Matthews,
1998,
Stud Logica.
Toby Walsh,
David A. Basin,
D. Basin,
1996,
Journal of Automated Reasoning.
Srdjan Capkun,
David A. Basin,
Benedikt Schmidt,
2011,
TSEC.
Joachim Posegga,
David A. Basin,
Harald Vogt,
1999,
CAV.
David A. Basin,
Benedikt Schmidt,
Patrick Schaller,
2010,
2010 23rd IEEE Computer Security Foundations Symposium.
Srdjan Marinovic,
Muhammad Torabi Dashti,
David A. Basin,
2014,
POST.
David A. Basin,
Ognjen Maric,
Christoph Sprenger,
2017,
CAV.
David A. Basin,
Damien Desfontaines,
Andreas Lochbihler,
2018,
Proc. Priv. Enhancing Technol..
Sebastian Mödersheim,
Luca Viganò,
David A. Basin,
2005,
International Journal of Information Security.
Muhammad Torabi Dashti,
David A. Basin,
Grgur Petric Maretic,
2014,
CSL-LICS.
Ian Frank,
David A. Basin,
I. Frank,
2001,
Theor. Comput. Sci..
Felix Klaedtke,
David A. Basin,
Matús Harvan,
2013,
IEEE Transactions on Software Engineering.
David A. Basin,
Stefan Friedrich,
1996,
TPHOLs.
Ralf Sasse,
David A. Basin,
Benedikt Schmidt,
2014,
2014 IEEE Symposium on Security and Privacy.
David A. Basin,
Manuel Clavel,
Carlos Cotrini Jiménez,
2015,
2015 IEEE 28th Computer Security Foundations Symposium.
Amy P. Felty,
David A. Basin,
2004,
Journal of Automated Reasoning.
David A. Basin,
Germano Caronni,
Diana von Bidder,
2005,
TestCom.
David A. Basin,
Günter Karjoth,
Samuel J. Burri,
2011,
CSF.
Ernst-Rüdiger Olderog,
David A. Basin,
Paul E. Sevinç,
2007,
ASIACCS '07.
David A. Basin,
Abdelwaheb Ayari,
D. Basin,
1996,
TACAS.
Luca Viganò,
David A. Basin,
Frank Rittinger,
2001,
ESEC/FSE-9.
Sebastian Mödersheim,
Luca Viganò,
David A. Basin,
2003,
CCS '03.
Alan Bundy,
David A. Basin,
Ina Kraan,
1993,
ICLP.
Sebastian Mödersheim,
Luca Viganò,
Yannick Chevalier,
2002,
CAV.
Kunihiko Miyazaki,
David A. Basin,
Kazuo Takaragi,
2003,
IICIS.
David A. Basin,
Dmitriy Traytel,
Joshua Schneider,
2019,
ATVA.
David A. Basin,
Christoph Sprenger,
2008,
2008 21st IEEE Computer Security Foundations Symposium.
Luca Viganò,
David A. Basin,
Seán Matthews,
1997,
J. Log. Comput..
David A. Basin,
2006,
First International Conference on Availability, Reliability and Security (ARES'06).
David A. Basin,
Carlos Caleiro,
Bruno Conchinha,
2010,
Formal Aspects in Security and Trust.
Luca Viganò,
David A. Basin,
Carlos Caleiro,
2005,
Log. J. IGPL.
Srdjan Capkun,
Elizabeth Stobert,
David A. Basin,
2016,
ArXiv.
Luca Viganò,
Michaël Rusinowitch,
Alessandro Armando,
2005,
Journal of automated reasoning.
Felix Klaedtke,
David A. Basin,
Matús Harvan,
2011,
2011 Eighteenth International Symposium on Temporal Representation and Reasoning.
David A. Basin,
Günter Karjoth,
Samuel J. Burri,
2009,
ESORICS.
Joachim M. Buhmann,
David A. Basin,
Mario Frank,
2010,
SACMAT '10.
Ralf Sasse,
David A. Basin,
Lucca Hirschi,
2019,
Foundations of Security, Protocols, and Equational Reasoning.
David A. Basin,
Sasa Radomirovic,
Lara Schmid,
2016,
2016 IEEE 29th Computer Security Foundations Symposium (CSF).
David A. Basin,
Günter Karjoth,
Samuel J. Burri,
2012,
SACMAT '12.
Felix Klaedtke,
David A. Basin,
Matús Harvan,
2011,
RV.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2017,
RV-CuBES.
Alan Bundy,
Ian Frank,
David A. Basin,
2000,
AAAI/IAAI.
David A. Basin,
1989,
Logic at Botik.
Alan Bundy,
David A. Basin,
Ina Kraan,
1992,
LOPSTR.
Thai Son Hoang,
David A. Basin,
Jean-Raymond Abrial,
2009,
Sci. Comput. Program..
David A. Basin,
Carlos Cotrini Jiménez,
Thilo Weghorn,
2018,
2018 IEEE European Symposium on Security and Privacy (EuroS&P).
David A. Basin,
Günter Karjoth,
Samuel J. Burri,
2011,
2011 IEEE 24th Computer Security Foundations Symposium.
David A. Basin,
Manuel Clavel,
Marina Egea,
2010,
ESSoS.
Adrian Perrig,
David A. Basin,
Christos Pappas,
2018,
HotNets.
Harald Ganzinger,
David A. Basin,
H. Ganzinger,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
David A. Basin,
Manuel Clavel,
Marina Egea,
2011,
SACMAT '11.
Birgit Pfitzmann,
David A. Basin,
Michael Backes,
2006,
19th IEEE Computer Security Foundations Workshop (CSFW'06).
David A. Basin,
Dmitriy Traytel,
Martin Raszyk,
2019,
ICALP.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2015,
Inf. Process. Lett..
David A. Basin,
Seán Matthews,
D. Basin,
1996,
Inf. Comput..
David A. Basin,
D. Basin,
1994,
International Conference on Logic Programming.
Alan Bundy,
David A. Basin,
Ina Kraan,
1996,
Journal of Automated Reasoning.
David A. Basin,
Seán Matthews,
1993,
FSTTCS.
Srdjan Capkun,
David A. Basin,
Cas J. F. Cremers,
2010,
ACSAC '10.
David A. Basin,
Cas J. F. Cremers,
D. Basin,
2010,
CSL.
Joachim M. Buhmann,
David A. Basin,
Mario Frank,
2008,
CCS.
Luca Viganò,
David A. Basin,
Carlos Caleiro,
2005,
Electron. Notes Theor. Comput. Sci..
Joachim M. Buhmann,
David A. Basin,
Mario Frank,
2009,
ICML '09.
David A. Basin,
Abdelwaheb Ayari,
D. Basin,
2001,
J. Symb. Comput..
Srdjan Capkun,
Joel Reardon,
David A. Basin,
2012,
USENIX Security Symposium.
Christian Schaefer,
Alexander Pretschner,
David A. Basin,
2007,
ESORICS.
Srdjan Marinovic,
Muhammad Torabi Dashti,
David A. Basin,
2014,
CCS.
David A. Basin,
Boris Köpf,
D. Basin,
2011,
J. Comput. Secur..
David A. Basin,
Carlos Caleiro,
Bruno Conchinha,
2013,
ESORICS.
David A. Basin,
Cas J. F. Cremers,
D. Basin,
2010,
ESORICS.
Marco Guarnieri,
Muhammad Torabi Dashti,
David A. Basin,
2017,
ISSTA.
Sebastian Mödersheim,
David A. Basin,
Stefan Friedrich,
2000,
FMCAD.
David A. Basin,
Paul E. Sevinç,
Mario Strasser,
2007,
WISTP.
David A. Basin,
Boris Köpf,
D. Basin,
2007,
CCS '07.
Alan Bundy,
David A. Basin,
Seán Matthews,
1993,
Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design.
David A. Basin,
1999,
CQRE.
Rolf Oppliger,
Ralf Hauser,
David A. Basin,
2007,
KiVS.
Ralf Sasse,
David A. Basin,
Sasa Radomirovic,
2015,
Logic, Rewriting, and Concurrency.
Muhammad Torabi Dashti,
David A. Basin,
D. Basin,
2017,
ATVA.
David A. Basin,
Dmitriy Traytel,
Bhargav Nagaraja Bhatt,
2018,
ATVA.
Harald Ganzinger,
David A. Basin,
H. Ganzinger,
2001,
JACM.
Kunihiko Miyazaki,
David A. Basin,
Akira Otsuka,
2010,
Financial Cryptography Workshops.
David A. Basin,
Stefan Friedrich,
Marek Gawkowski,
2003,
Journal of Automated Reasoning.
Toby Walsh,
David A. Basin,
1994,
CADE.
Sebastian Mödersheim,
Luca Viganò,
Yannick Chevalier,
2005,
CAV.
David A. Basin,
Carlos Cotrini Jiménez,
Thilo Weghorn,
2019,
CCS.
David A. Basin,
Benedikt Schmidt,
Cas J. F. Cremers,
2012,
2012 IEEE 25th Computer Security Foundations Symposium.
David A. Basin,
Cas J. F. Cremers,
D. Basin,
2009,
IACR Cryptol. ePrint Arch..
David A. Basin,
Germano Caronni,
Diana von Bidder,
2007,
ACNS.
David A. Basin,
Cas J. F. Cremers,
Simon Meier,
2010,
2010 23rd IEEE Computer Security Foundations Symposium.
Luca Viganò,
David A. Basin,
Seán Matthews,
1996,
KR.
Muhammad Torabi Dashti,
David A. Basin,
Petar Tsankov,
2013,
ISSTA.
Muhammad Torabi Dashti,
David A. Basin,
Petar Tsankov,
2016,
2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Luca Viganò,
David A. Basin,
Seán Matthews,
1996,
FroCoS.
Olivier Danvy,
David A. Basin,
Robert Harper,
2004,
High. Order Symb. Comput..
David A. Basin,
Manuel Clavel,
Marina Egea,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
David A. Basin,
Stefan Friedrich,
D. Basin,
1996,
Formal Methods Syst. Des..
David A. Basin,
Dmitriy Traytel,
Srdan Krstic,
2018,
International Journal on Software Tools for Technology Transfer.
José Meseguer,
David A. Basin,
Manuel Clavel,
2000,
FSTTCS.
David A. Basin,
Gabriele Costa,
Letterio Galletta,
2018,
TACAS.
David A. Basin,
Manuel Clavel,
Marina Egea,
2011,
FOSAD.
Ralf Sasse,
David A. Basin,
Jannik Dreier,
2018,
CCS.
Ian Frank,
David A. Basin,
I. Frank,
1998,
Computers and Games.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2015,
FSTTCS.
Muhammad Torabi Dashti,
David A. Basin,
Petar Tsankov,
2012,
2012 7th International Workshop on Automation of Software Test (AST).
Joachim M. Buhmann,
David A. Basin,
Mario Frank,
2013,
TSEC.
David A. Basin,
Christoph Sprenger,
D. Basin,
2007,
TPHOLs.
David A. Basin,
Søren Debois,
Emma Arfelt,
2019,
ESORICS.
Srdjan Capkun,
David A. Basin,
2012,
CACM.
Ernst-Rüdiger Olderog,
David A. Basin,
Paul E. Sevinç,
2006,
ETRICS.
Andreas Podelski,
David A. Basin,
Abdelwaheb Ayari,
1997,
CSL.
Sebastian Mödersheim,
Luca Viganò,
David A. Basin,
2010,
J. Comput. Secur..
Sebastian Mödersheim,
Luca Viganò,
David A. Basin,
2005,
LPAR.
Srdjan Marinovic,
Felix Klaedtke,
David A. Basin,
2013,
RV.
Ian Frank,
David A. Basin,
I. Frank,
1998,
Artif. Intell..
David A. Basin,
Günter Karjoth,
Samuel J. Burri,
2009,
TSEC.
Luca Viganò,
David A. Basin,
Jaime Ramos,
2011,
Theor. Comput. Sci..
David A. Basin,
Manuel Clavel,
Marina Egea,
2007,
MODELS'07.
Toby Walsh,
Alan Bundy,
Ian Green,
1994,
ECAI.
Felix Klaedtke,
David A. Basin,
Germano Caronni,
2016,
Formal Methods in System Design.
Rolf Oppliger,
Ralf Hauser,
David A. Basin,
2008,
Comput. Secur..
David A. Basin,
Peter Del Vecchio,
1989,
Hardware Specification, Verification and Synthesis.
David A. Basin,
Andreas Lochbihler,
S. Reza Sefidgar,
2020,
Journal of Cryptology.
David A. Basin,
D. Basin,
1994,
LOPSTR.
Kunihiko Miyazaki,
Andreas Fürst,
Thai Son Hoang,
2014,
IFM.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2014,
Inf. Process. Lett..
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2017,
CAV.
David A. Basin,
Cas J. F. Cremers,
Simon Meier,
2013,
J. Comput. Secur..
Ralf Sasse,
David A. Basin,
Sasa Radomirovic,
2019,
CCS.
Felix Klaedtke,
Birgit Pfitzmann,
David A. Basin,
2008,
FSTTCS.
David A. Basin,
Penny Anderson,
D. Basin,
2000,
J. Symb. Comput..
Alexander Pretschner,
David A. Basin,
Manuel Hilty,
2005,
ESORICS.
David A. Basin,
Benedikt Schmidt,
Cas J. F. Cremers,
2013,
CAV.
David A. Basin,
Seán Matthews,
1996,
CADE.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2011,
Acta Informatica.
David A. Basin,
Stefan Friedrich,
Marek Gawkowski,
2002,
TPHOLs.
David A. Basin,
Michael Schläpfer,
Sasa Radomirovic,
2015,
2015 IEEE 28th Computer Security Foundations Symposium.
Alexander Pretschner,
David A. Basin,
Manuel Hilty,
2006,
CACM.
Achim D. Brucker,
Jana Koehler,
David A. Basin,
2010,
Software & Systems Modeling.
Srdjan Capkun,
David A. Basin,
Thomas Locher,
2014,
WiSec '14.
Christian Schaefer,
Alexander Pretschner,
David A. Basin,
2007,
IFIPTM.
Srdjan Capkun,
David A. Basin,
Benedikt Schmidt,
2009,
TPHOLs.
Luca Viganò,
David A. Basin,
Jaime Ramos,
2008,
2008 15th International Symposium on Temporal Representation and Reasoning.
David A. Basin,
Stefan Friedrich,
Abdelwaheb Ayari,
1999,
Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329).
Muhammad Torabi Dashti,
David A. Basin,
Petar Tsankov,
2011,
OPODIS.
Muhammad Torabi Dashti,
David A. Basin,
2016,
ESSoS.
Luca Viganò,
David A. Basin,
Seán Matthews,
1997,
Kurt Gödel Colloquium.
Alan Bundy,
Ian Frank,
David A. Basin,
1992,
ECAI.
David A. Basin,
Joshua Schneider,
Srdan Krstic,
2020,
Runtime Verification.
David A. Basin,
Boris Köpf,
D. Basin,
2006,
ESORICS.
Rolf Oppliger,
Ralf Hauser,
David A. Basin,
2006,
Comput. Commun..
Luca Viganò,
David A. Basin,
Frank Rittinger,
2002,
ZB.
David A. Basin,
Michael Näf,
2008,
CACM.
Thomas Engel,
David A. Basin,
Daniel Fischer,
2013,
IEEE Transactions on Mobile Computing.
David A. Basin,
Grgur Petric Maretic,
Muhammad Torabi Dasthi,
2015,
2015 22nd International Symposium on Temporal Representation and Reasoning (TIME).
Muhammad Torabi Dashti,
David A. Basin,
Grgur Petric Maretic,
2014,
Inf. Process. Lett..
Felix Klaedtke,
David A. Basin,
Germano Caronni,
2014,
RV.
David A. Basin,
Manuel Clavel,
Marina Egea,
2009,
Inf. Softw. Technol..
Srdjan Marinovic,
Felix Klaedtke,
David A. Basin,
2014,
RV.
Srdjan Capkun,
Panagiotis Papadimitratos,
Marcin Poturalski,
2008,
IEEE Communications Magazine.
Luca Viganò,
David A. Basin,
Carlos Caleiro,
2006,
Theor. Comput. Sci..
Felix Klaedtke,
David A. Basin,
Abdelwaheb Ayari,
2000,
CAV.
Srdjan Marinovic,
Marco Guarnieri,
David A. Basin,
2015,
2016 IEEE European Symposium on Security and Privacy (EuroS&P).
Luca Viganò,
David A. Basin,
Seán Matthews,
1998,
J. Log. Lang. Inf..
Srdjan Capkun,
Joel Reardon,
David A. Basin,
2011,
ArXiv.
David A. Basin,
Manuel Clavel,
Marina Egea,
2014,
IEEE Transactions on Software Engineering.
Catherine A. Meadows,
David A. Basin,
Cas J. F. Cremers,
2018,
Handbook of Model Checking.
Marco Guarnieri,
David A. Basin,
D. Basin,
2014,
Proc. VLDB Endow..
Thai Son Hoang,
David A. Basin,
D. Basin,
2013,
Industrial Deployment of System Engineering Methods.
David A. Basin,
Günter Karjoth,
Samuel J. Burri,
2011,
ASIACCS '11.
David A. Basin,
D. Basin,
1990,
CADE.
David A. Basin,
Abdelwaheb Ayari,
D. Basin,
2000,
CAV.
David A. Basin,
Lucca Hirschi,
Lara Schmid,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
David A. Basin,
Dmitriy Traytel,
Srdjan Krstic,
2017,
RV-CuBES.
Felix Klaedtke,
David A. Basin,
Vincent Jugé,
2012,
POST.
Ralf Sasse,
Adrian Perrig,
David A. Basin,
2014,
CCS.
Srdjan Capkun,
David A. Basin,
Benedikt Schmidt,
2009,
2009 22nd IEEE Computer Security Foundations Symposium.
Kunihiko Miyazaki,
Andreas Fürst,
Thai Son Hoang,
2012,
ArXiv.
David A. Basin,
Bernd Krieg-Brückner,
1999,
Algebraic Foundations of Systems Specification.
David A. Basin,
Penny Anderson,
D. Basin,
1995,
ASIAN.
David A. Basin,
Christoph Sprenger,
2018,
J. Comput. Secur..
David A. Basin,
Jane Hesketh,
Richard Barnett,
1993,
Annals of Mathematics and Artificial Intelligence.
Kunihiko Miyazaki,
David A. Basin,
Dai Watanabe,
2015,
IEEE Security & Privacy.
Felix Klaedtke,
David A. Basin,
Samuel Müller,
2010,
SACMAT '10.
David A. Basin,
Dmitriy Traytel,
Srdan Krstic,
2017,
RV.
David A. Basin,
Dmitriy Traytel,
Martin Raszyk,
2019,
ATVA.
Joachim M. Buhmann,
David A. Basin,
Mario Frank,
2009,
CCS.
David A. Basin,
D. Basin,
1994,
Inf. Process. Lett..
Srdjan Marinovic,
Felix Klaedtke,
David A. Basin,
2012,
RV.
David A. Basin,
Douglas J. Howe,
1991,
TACS.
David A. Basin,
Torsten Lodderstedt,
Jürgen Doser,
2003,
SACMAT '03.
David A. Basin,
Cas J. F. Cremers,
D. Basin,
2014,
TSEC.
Joachim Posegga,
David A. Basin,
Stefan Friedrich,
2002,
SPIN.
Ian Frank,
Hitoshi Matsubara,
David A. Basin,
1998,
AAAI/IAAI.
Oriol Tejada,
Hans Gersbach,
David A. Basin,
2017,
E-VOTE-ID.
David A. Basin,
Sasa Radomirovic,
Lara Schmid,
2018,
2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Burkhart Wolff,
Kunihiko Miyazaki,
David A. Basin,
2006
.
Luca Viganò,
David A. Basin,
Jaime Ramos,
2009,
J. Log. Comput..
Srdjan Marinovic,
Felix Klaedtke,
David A. Basin,
2013,
Formal Methods Syst. Des..
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2011,
RV.
Kunihiko Miyazaki,
Andreas Fürst,
Thai Son Hoang,
2016,
Sci. Comput. Program..
David A. Basin,
Seán Matthews,
D. Basin,
1998,
Workshop on Rewriting Logic and Its Applications.
David A. Basin,
Abdelwaheb Ayari,
D. Basin,
2002,
FMCAD.
Toby Walsh,
David A. Basin,
D. Basin,
1992,
CADE.
David A. Basin,
Geoffrey M. Brown,
Miriam E. Leeser,
1991,
Integr..
Toby Walsh,
David A. Basin,
1993,
IJCAI.
David A. Basin,
Michael Näf,
Micha Näf,
2005,
Informatik-Spektrum.
David A. Basin,
Cas J. F. Cremers,
Marko Horvat,
2014,
2014 IEEE 27th Computer Security Foundations Symposium.
David A. Basin,
Joseph Lallemand,
Christoph Sprenger,
2017,
2017 IEEE European Symposium on Security and Privacy (EuroS&P).
Christian Schaefer,
Alexander Pretschner,
David A. Basin,
2008,
ASIACCS '08.
Rolf Oppliger,
Ralf Hauser,
David A. Basin,
2008,
Computer.
Srdjan Capkun,
Joel Reardon,
David A. Basin,
2014,
IEEE Secur. Priv..
Yves Deville,
Jørgen Fischer Nilsson,
Pierre Flener,
2004,
Program Development in Computational Logic.
David A. Basin,
Torsten Lodderstedt,
Jürgen Doser,
2002,
UML.
Thai Son Hoang,
David A. Basin,
Jean-Raymond Abrial,
2009,
Sci. Comput. Program..
Felix Klaedtke,
David A. Basin,
Samuel Müller,
2010,
CAV.
Burkhart Wolff,
David A. Basin,
Kazuo Takaragi,
2005,
FM.
Toby Walsh,
David A. Basin,
D. Basin,
1994,
CTRS.
David A. Basin,
Patrick Schaller,
Michael Schläpfer,
2011
.
Ralf Sasse,
David A. Basin,
Jannik Dreier,
2015,
CCS.
Luca Viganò,
David A. Basin,
Rafael Accorsi,
2001,
Electron. Notes Theor. Comput. Sci..
Ian Frank,
David A. Basin,
I. Frank,
1998,
Artificial Intelligence.
Ralf Sasse,
David A. Basin,
Cas J. F. Cremers,
2017,
SIGL.
Srdjan Capkun,
David A. Basin,
Patrick Schaller,
2007,
ACNS.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2015,
J. ACM.
David A. Basin,
D. Basin,
1994,
J. Inf. Process. Cybern..
Sebastian Mödersheim,
Luca Viganò,
David A. Basin,
2003,
ESORICS.
David A. Basin,
Søren Debois,
Thomas T. Hildebrandt,
2016,
2016 IEEE 29th Computer Security Foundations Symposium (CSF).
David A. Basin,
Manuel Clavel,
Miguel Angel García de Dios,
2014,
Engineering Secure Future Internet Services and Systems.
Felix Klaedtke,
David A. Basin,
Vincent Jugé,
2012,
TSEC.
Kunihiko Miyazaki,
Andreas Fürst,
Thai Son Hoang,
2014,
ABZ.
Srdjan Marinovic,
Marco Guarnieri,
David A. Basin,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Fausto Giunchiglia,
Paolo Traverso,
David A. Basin,
1991,
AI*IA.
Srdjan Capkun,
Joel Reardon,
David A. Basin,
2012,
ASIACCS '12.
David A. Basin,
Christoph Sprenger,
2012,
2012 IEEE 25th Computer Security Foundations Symposium.
David A. Basin,
Cas J. F. Cremers,
Simon Meier,
2012,
J. Comput. Secur..
David A. Basin,
Dmitriy Traytel,
Bhargav Nagaraja Bhatt,
2017,
TACAS.
David A. Basin,
D. Basin,
1998,
CSUR.
David A. Basin,
Seán Matthews,
D. Basin,
1996,
J. Log. Comput..
Luca Viganò,
David A. Basin,
Carlos Caleiro,
2005,
ARSPA@ICALP.
Grit Denker,
David A. Basin,
2000,
WRLA.
Sebastian Mödersheim,
Luca Viganò,
David A. Basin,
2006,
Formal Aspects in Security and Trust.
David A. Basin,
D. Basin,
1988,
CADE.
David A. Basin,
2002,
FME.
Alan Bundy,
Alan Smaill,
David A. Basin,
1996,
FMCAD.
Thomas Engel,
David A. Basin,
Daniel Fischer,
2008,
2008 IEEE International Conference on Network Protocols.
Hubert Ritzdorf,
Srdjan Capkun,
Joel Reardon,
2013,
CCS.
David A. Basin,
Dmitriy Traytel,
Srdan Krstic,
2021,
Int. J. Softw. Tools Technol. Transf..
Ralf Sasse,
David A. Basin,
Aleksi Peltonen,
2021,
WISEC.
David A. Basin,
Jannik Dreier,
Sasa Radomirovic,
2021,
CCS.
David A. Basin,
Christoph Sprenger,
Tobias Klenze,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
David A. Basin,
Stefan Friedrich,
1998,
FroCoS.
José Meseguer,
David A. Basin,
Manuel Clavel,
2004,
TOCL.
Felix Klaedtke,
David A. Basin,
Abdelwaheb Ayari,
2003,
Theor. Comput. Sci..