David Basin 교수 연구 프로필
취리히 연방공과대학교 · 컴퓨터과학과
소개
취리히 연방공과대학교 컴퓨터과학과 소속 David Basin 교수의 등록된 연구 분야는 information security, verification, formal methods, software engineering, logic in computer science입니다.
연구 키워드
최근 논문
- Quantitative Verification of Infinite-State Networks프리프린트arXiv (Cornell University) · 10월 8일
- Practical Runtime Enforcement of First-Order Temporal Requirements프리프린트arXiv (Cornell University) · 10월 3일
- A Type System for Optimizing Dynamic IFCProceedings of the ACM on Programming Languages · 10월 1일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Security and Verification in Computing
Martin Odersky 교수 연구실
로잔 연방공과대학교 · 컴퓨터통신과학부
Classifying CapabilitiesProceedings of the ACM on Programming Languages · 10월 1일Pascal Frossard 교수 연구실
로잔 연방공과대학교 · 컴퓨터통신과학부
Frame the adversary: a structure-aware attack methodology프리프린트arXiv (Cornell University) · 9월 25일Thomas Bourgeat 교수 연구실
로잔 연방공과대학교 · 컴퓨터통신과학부
Efficient Hardware Information-Flow Tracking for Pre-Silicon Security Testing프리프린트arXiv (Cornell University) · 9월 6일
같은 학과의 다른 연구실
- 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