David Sands

David Sands

Professor of Computer Science, Chalmers University of Technology
在 chalmers.se 的电子邮件经过验证
被引用次数：5742
Information flow security Language-Based Security Programming Languages
Mads Dam

Mads Dam

Professor of Teleinformatics, KTH - Royal Institute of Technology
在 kth.se 的电子邮件经过验证
被引用次数：3145
Program Logics Program Verification Computer Security Information Flow Security Parallel and Distributed Computation
Alejandro Russo

Alejandro Russo

Professor, Computer Science and Engineering Department, Chalmers / Göteborg University
在 chalmers.se 的电子邮件经过验证
被引用次数：3117
Information-flow security differential privacy secure IoT programming fuzzing functional programming
Andrei Popescu

Andrei Popescu

University of Sheffield
在 sheffield.ac.uk 的电子邮件经过验证
被引用次数：2081
proof assistants information flow security logical foundations syntax with bindings datatypes
Cong Sun

Cong Sun

Xidian University
在 xidian.edu.cn 的电子邮件经过验证
被引用次数：1284
Information Flow Security Static Analysis Embedded Software Binary analysis UAV Security
Xun Li

Xun Li

University of California, Santa Barbara
在 cs.ucsb.edu 的电子邮件经过验证
被引用次数：741
Computer Architecture Information Flow Security Energy Efficiency
Hamed Nemati

Hamed Nemati

KTH Royal Institute of Technology
在 kth.se 的电子邮件经过验证
被引用次数：601
Program Verification Information Flow Security Computer Security
Jonas Magazinius

Jonas Magazinius

PhD of Computer Science, Chalmers University
在 assured.se 的电子邮件经过验证
被引用次数：429
Language-based Security Information-flow Security Web Application Security Decentralised Single Sign-On Client-side Password
Willem De Groef

Willem De Groef

PhD researcher, Dept. of Computer Science (iMinds-DistriNet), KU Leuven, Belgium
在 cs.kuleuven.be 的电子邮件经过验证
被引用次数：415
information flow security software security computer security security
moez yeddes

moez yeddes

Professor, University of Carthage, Tunisia
在 ensi.rnu.tn 的电子邮件经过验证
被引用次数：341
Formal methods Information flow security Discrete event systems Hybrid systems
1 - 10