Meet ApplyKite Twin, the application assistant that learns with you

Meet your Twin, it learns with you

Your Twin learns with you

Launch week codes:30% off annual Pro20% off monthly Pro

Ends in00h00m00s

David Basin

Professor

ETH Zürich

Switzerland

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Switzerland

About

David Basin is a Professor at ETH Zürich in Switzerland. His research areas include verification of security protocols, analysis of graph databases, and information flow control. He has authored multiple articles focusing on topics such as the verification of cryptographic protocols, performance optimization in distributed transactions, and scalable online monitoring techniques.

Articles (28)

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2022

Year:

2021

Collaborators (4)

Christoph Sprenger

Senior Scientist

ETH Zürich

SWITZERLAND

View details

Nate Foster

Professor

EPFL (École Polytechnique Fédérale de Lausanne)

SWITZERLAND

View details

Kenneth McMillan

Professor

University of Texas at Austin

UNITED STATES

View details

Si Liu

Senior Researcher

ETH Zürich

SWITZERLAND

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

David Basin

Research Interests

Make your next move.

Explore related searches

About

Articles (28)

A Type System for Optimizing Dynamic IFC

A First Glimpse Under the Hood

Advanced Modeling of Cryptographic Primitives

An Example

Analyzing Protocol Families

Basic Modeling

Built-in Equational Theories for Common Operators

Case Study: 5G-AKA

Common Workflows

Conditions on user-specified equational theories

Foundations of Protocol Modeling in tamarin

Impact in Practice

Introduction

Lemma Annotations

Modeling State Machines

Observational Equivalence

Pre-computations and Partial Deconstructions

Reducing Proof-Construction Time

Specifying Trace Properties in tamarin

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols

Testing Graph Databases with Synthesized Queries

Reachability Analysis of the Domain Name System

Looping for Good: Cyclic Proofs for Security Protocols

Specifying and Verifying Information Flow Control in SELinux Configurations

Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels

NOC-NOC: Towards Performance-optimal Distributed Transactions

Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols

Scalable online first-order monitoring

Collaborators (4)

Christoph Sprenger

Nate Foster

Kenneth McMillan

Si Liu

Make your next move.