David Sands

David Sands

Professor of Computer Science, Chalmers University of Technology
Email verificata su chalmers.se
Citato da 5746
Information flow security Language-Based Security Programming Languages
Mads Dam

Mads Dam

Professor of Teleinformatics, KTH - Royal Institute of Technology
Email verificata su kth.se
Citato da 3148
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
Email verificata su chalmers.se
Citato da 3119
Information-flow security differential privacy secure IoT programming fuzzing functional programming
Andrei Popescu

Andrei Popescu

University of Sheffield
Email verificata su sheffield.ac.uk
Citato da 2083
proof assistants information flow security logical foundations syntax with bindings datatypes
Cong Sun

Cong Sun

Xidian University
Email verificata su xidian.edu.cn
Citato da 1287
Information Flow Security Static Analysis Embedded Software Binary analysis UAV Security
Xun Li

Xun Li

University of California, Santa Barbara
Email verificata su cs.ucsb.edu
Citato da 742
Computer Architecture Information Flow Security Energy Efficiency
Hamed Nemati

Hamed Nemati

KTH Royal Institute of Technology
Email verificata su kth.se
Citato da 601
Program Verification Information Flow Security Computer Security
Jonas Magazinius

Jonas Magazinius

PhD of Computer Science, Chalmers University
Email verificata su assured.se
Citato da 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
Email verificata su cs.kuleuven.be
Citato da 415
information flow security software security computer security security
moez yeddes

moez yeddes

Professor, University of Carthage, Tunisia
Email verificata su ensi.rnu.tn
Citato da 342
Formal methods Information flow security Discrete event systems Hybrid systems
1 - 10