Prof. David Basin — Research Profile
ETH Zurich · Department of Computer Science
About
Prof. David Basin at ETH Zurich Department of Computer Science lists information security, verification, formal methods, software engineering, logic in computer science as their registered research area.
Research keywords
Recent papers
- Quantitative Verification of Infinite-State NetworksPreprintarXiv (Cornell University) · Oct 8
- Practical Runtime Enforcement of First-Order Temporal RequirementsPreprintarXiv (Cornell University) · Oct 3
- A Type System for Optimizing Dynamic IFCProceedings of the ACM on Programming Languages · Oct 1
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Security and Verification in Computing
Martin Odersky 교수 연구실
EPFL · School of Computer and Communication Sciences
Classifying CapabilitiesProceedings of the ACM on Programming Languages · Oct 1Pascal Frossard 교수 연구실
EPFL · School of Computer and Communication Sciences
Frame the adversary: a structure-aware attack methodologyPreprintarXiv (Cornell University) · Sep 25Thomas Bourgeat 교수 연구실
EPFL · School of Computer and Communication Sciences
Efficient Hardware Information-Flow Tracking for Pre-Silicon Security TestingPreprintarXiv (Cornell University) · Sep 6
Other labs in this department
- Adrian Perrig 교수 연구실
system and network security, networks, internet architecture
- Ana Klimovic 교수 연구실
cloud computing, operating systems, distributed systems, storage systems, computer architecture
- Andreas Krause 교수 연구실
machine learning, artificial intelligence, reinforcement learning, probabilistic inference
- Angelika Steger 교수 연구실
algorithms, combinatorics, randomization and probabilistic methods, combinatorial models for optimization
- April Yi Wang 교수 연구실
educational technology, human-computer interaction, artificial intelligence in education, collective intelligence and organizational technology, end-user programming, user interface for programming
- Bernhard Schölkopf 교수 연구실
machine learning, causal inference, applications in the sciences