David Basin is affiliated with ETH Zurich in Switzerland with a research focus centered on computer science, particularly in security and formal verification. Their scholarly output spans 159 publications in the field of computer science and includes noteworthy work in various subfields such as artificial intelligence, computer networks and communications, information systems, computational theory and mathematics, and sociology and political science.
The main thematic areas of Basin's research cover security and verification in computing, formal methods in verification, distributed systems and fault tolerance, advanced authentication protocols security, user authentication and security systems, logic, programming and type systems, as well as advanced database systems and queries.
Some of the recent papers authored or co-authored by David Basin include:
David Basin frequently publishes in venues such as arXiv (Cornell University), Proceedings of the ACM on Programming Languages, Proceedings on Privacy Enhancing Technologies, Zenodo (CERN European Organization for Nuclear Research), and Proceedings of the VLDB Endowment.
Collaborations are a significant aspect of Basin's research, with frequent co-authors including Adrian Perrig, Markus Legner, Ralf Sasse, Laurent Chuat, and David Hausheer.
Basin has also contributed to book publications under Springer Nature, including "The Complete Guide to SCION" (2022) and "Modeling and Analyzing Security Protocols with Tamarin" (2025).
Their contributions to the field have been recognized through honors such as the ACM Fellow award in 2018 for contributions to information security and formal methods.
A. Armando;D. Basin;Y. Boichut;Y. Chevalier
Torsten Lodderstedt;David A. Basin;Jürgen Doser
Simon Meier;Benedikt Schmidt;Cas Cremers;David Basin
David Basin;Jürgen Doser;Torsten Lodderstedt
David Basin;Sebastian Mödersheim;Luca Viganò
Boris Köpf;David Basin
David Basin;Jannik Dreier;Lucca Hirschi;Saša Radomirovic
Alexander Pretschner;Manuel Hilty;David Basin
B. Schmidt;S. Meier;C. Cremers;D. Basin
David Basin;Sebastian Mödersheim;Luca Vigano
M. Hilty;A. Pretschner;D. Basin;C. Schaefer
Carmela Troncoso;Mathias Payer;Jean-Pierre Hubaux;Marcel Salathé
Alan Bundy;David Basin;Dieter Hutter;Andrew Ireland
David Basin;Jürgen Doser;Torsten Lodderstedt
David Basin;Felix Klaedtke;Samuel Müller;Eugen Zălinescu
J. Reardon;D. Basin;S. Capkun
Manuel Hilty;David Basin;Alexander Pretschner
Ina Kraan;David A. Basin;Alan Bundy
David Basin;Manuel Clavel;Jürgen Doser;Marina Egea
P. Papadimitratos;M. Poturalski;P. Schaller;P. Lafourcade
If you think any of the details on this page are incorrect, let us know.
Exploring online degrees can open new doors for students interested in technology and computing. For those seeking an affordable education, data science programs in the USA offer excellent value and flexible learning options. These programs provide the analytical and technical skills employers are looking for.
If you’re considering a more specialized field, electrical engineering degree online admissions provide an avenue to gain in-depth engineering knowledge without the need for relocation. Accredited online programs deliver the same rigorous curriculum as their on-campus counterparts.
Those interested in launching or advancing their careers quickly may want to look into 3-month certificate programs that pay well. These short-term certifications can help professionals pivot or move up in their current roles with minimal time commitment.
For graduate-level advancement, many schools now offer the shortest online masters degree programs. These accelerated degrees allow students to earn a master’s in less time, helping them enter the workforce or secure promotions faster.
French Institute for Research in Computer Science and Automation - INRIA
Publications: 29
Chinese Academy of Sciences
University of California, Davis
Lehigh University
University of Electronic Science and Technology of China
Rutgers, The State University of New Jersey
George Mason University
Virginia Tech
University of Southern California
The University of Texas Southwestern Medical Center
Recep Tayyip Erdoğan University
University of Pau and the Adour Region
Instituto Superior Técnico
University of Alcalá
Environmental Molecular Sciences Laboratory
Columbia University
University of Amsterdam
